Antonis C. Kakas
 Professor

Contact Information
Mailing address:
Department of Computer Science
University of Cyprus
75 Kallipoleos Str., P.O. Box 537
CY-1678 Nicosia, Cyprus
Office: FST 01 111
Telephone: +357-22-892706
Fax: +357-22-892701
Email: antonis@ucy.ac.cy
 
 
Biographical Notes Top
Undergraduate studies in Mathematics at Imperial College, University of London, UK (B.Sc. 1980).

Graduate Studies in Computer Science (M.Sc. 1987) and in Theoretical Physics (Ph.D. 1984) both at Imperial College, University of London, UK.

He has worked as Research Fellow in Kings College, UK (1984-1986), at the University of Zurich (1987-1988), and at Imperial College, University of London, UK (1988-1992).

He is Editor in Chief of "Computational Logic", the newsletter of the European network of excellence in Computational Logic.

Co editor (with Peter Flach) of a recent book on Abduction and Induction, ISBN 0-7923-6250-0.

National Contact Point for IST: User-Friendly Information Society of the European Union 5th RTD Framework. 

Research Interests Top
  • Computational Logic.
  • Abduction.
  • Argumentation.
  • Non monotonic reasoning.
  • Machine Learning.
  • Application of planning, scheduling, diagnosis and information integration.
- Research Projects
  • Computing II: Computation Logic II, ESPRIT III, EU, August 1993 - September 1995.
  • CompuCyprus: Computational Logic for Knowledge Representation, KIT, EU, November 1994 - November 1996.
  • Compulog-Net II, III, NoE, EU, September 1993 - June 2000.
  • Cost Action 15: Multi-valued Logic and its applications in Computer Science, COST, EU, August 1996 - August 1998.
  • ILP2: Inductive Logic Programming II, ESPRIT IV, EU, September 1996 - June 1999.
  • CLFSA: Computational Logic for Flexible Solutions to Applications, KIT, EU, October 2001.
  • CJIS: Cultural Journeys in the Information Society, INCO, EU, December 1998 - December 2001.
  • ERIS: Elecronic Roads in the Information Society, University of Cyprus, 1997 - December 2001.
  • Abductive Logic Programming and its Applications, University of Cyprus, 1993 - 1996.
 
Publications/Software Top
- Selected Publications - Software

Selected Publications

Abductive Logic Programming (Back)
 
"Generalised Stable Models: A Semantics for Abduction" (with P. Mancarella)  in Proceedings of the ninth European Conference on Artificial Intelligence, ECAI-90, Stockholm, Sweden,  (ed. L.C. Aiello) Pitman Publishing,  pp. 385-391, (1990).
"On the relation between Truth Maintenance and Abduction" (with P. Mancarella) in Proceedings of the first Pacific Rim International Conference on Artificial Intelligence, PRICAI-90,  Nagoya, Japan (ed. T. Fukumura) Ohmsha Ltd.(1990) 438-443. Also in Proceedings of the third International Workshop on Non-Monotonic Reasoning, California, USA, (1990) 158-176.
"Database Updates through Abduction" (with P. Mancarella) in Proceedings of the 16th International Conference on Very Large Databases, VLDB-90, Brisbane, Australia, (eds. D. McLeod, R. Sacks-Davis and H. Schek) Morgan Kaufmann, pp. 650-661, (1990).
"Abductive Logic Programming", (with R.A. Kowalski and F. Toni) Journal of Logic and Computation, 2 no 6, 719-770, (1993).
"Parallel Abduction in Logic Programming", (with G.Papadopoulos), in Proceedings of the first International Symposium on Parallel Symbolic Computation, PASCO-94, pp. 214-224, World Scientific Press, 1994.
"Integrating Abductive and Constraint Logic Programming", (with A. Michael), in Proceedings of the Twelfth International Conference on Logic Programming, ICLP-95, pp. 399-417, MIT Press, 1995.
"ACLP: Flexible Solutions to Complex Problems" (with C. Mourlas) Fourth International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR97), Volume 1265, Springer Verlag, 1997, pp. 387-399. (ps)
"The role of Abduction in Logic Programming", (with R.A. Kowalski and F. Toni), in the Handbook in Artificial Intelligence and Logic Programming, Volume 5, (eds. D. Gabbay, C. Hogger and J. Robinson), pp. 235-324, 1998. (ps)
"Air-Crew Scheduling through Abduction" (with A. Michael), In proceedings of IEA/AIE-99, pp. 600-612, 1999. (ps)

"New Trends in Constraints" (with K.R. Apt, E. Monfroy and F. Rossi), LNAI Vol 1865, Springer-Verlag, 2000.

"Abductive Constraint Logic Programming" (with A. Michael and C. Mourlas) to appear in Journal of Logic Programming, Special Issue on Abductive Logic Programming, (49 pages) August, 2000.
"ACLP: Integrating Abduction and Constraint Solving" in the proceedings of NMR2000, April, 2000.
"Abductive Logic Programming: Editorial Forward" (with M. Denecker), special issue of Journal of Logic Programming, pp. 1-5, to appear August, 2000.
"Abductive Logic Programming" (with M. Denecker), Special issue of Journal of Logic Programming, JLP, Vol. 44(1-3), Elsevier Science, 2000
"Abductive Logic Programming: Editors Introduction" (with M. Deneker), Journal of Logic Programming, Vol. 44(1-3), pp. 1-4, Elsevier, 2000
"ACLP: Abductive Constraint Logic Programming, Journal of Logic Programming" (with A. Michael and C. Mourlas) , Vol. 44(1-3), pp. 129-177, Elsevier, 2000
"Abductive Concept Learning, New Generation Computing" (with F. Riguzzi), Vol. 18, pp. 243-294, Ohmsha and Springer-Verlag, 2000
"ACLP: Integrating Abduction and Constraint Solving" in the proceedings of NMR2000, http://xxx.lanl.gov/abs/cs.AI/0003020, 2000
"A-System: Programming with Abduction" (with B. Van Nuffelen),  in the proceedings of LPNMR-01, LNAI Vol. 2173,  pp. 393-396, Springer Verlag, 2001
"A-System: Declarative Problem Solving through Abduction" (with  B. Van Nuffelen and M. Denecker) ,  in the proceedings of IJCAI2001, pp. 591-597, Morgan Kaufmann, 2001
"An Abductive-based Scheduler for Air-crew Assignment" (with A. Michael), Journal of Applied Artificial Intelligence, Vol. 15 (1-3), pp. 333-360, Taylor & Francis, 2001
"Abduction in Logic Programming, in Computational Logic: Logic Programming and Beyond"  (with M. Denecker), LNAI Vol, 2407, pp. 402-437,  Springer Verlag, 2002


Argumentation (Back)
 
"Stable Theories for Logic Programs" (with P.Mancarella), in Proceedings of the 1991 International Logic Programming Symposium, San Diego, California,  USA, pp. 85-100, (1991).
"Negation as Failure Revisited", (with Dung, P.M.and Mancarella, P.) Tech. Rep., Dipartimento di Informatica, Universit\`a di Pisa, 1992.
"Default Reasoning via Negation as Failure" in Lecture Notes in Artificial Intelligence Vol. 810, pp. 160-179, Springer Verlag, (1994).
"Acceptability semantics for Logic Programs", (with P. Mancarella and P.M. Dung) in Proceedings of the 11th International Conference on Logic Programming, ICLP- 94, pp. 504-519, Santa Margarita Ligure, Italy, MIT Press, (1994).
"Logic Programming without Negation as Failure", (with Y. Dimopoulos), to appear in Proceedings of the Fifth International Logic Programming Symposium, ILPS-95, pp. 369-384, MIT Press, 1995.
"Computing Argumentation in Logic Programming" (with F. Toni), Journal of Logic and Computation, Vol. 9, No 4, pp. 515-562, 1999.
"An argumentation framework for Reasoning about actions and change" (with R. Miller and F. Toni), in Proceedings of LPNMR 99, Texas, USA, pp. 75-91, 1999.
"E-RES: A system for reasoning about actions, events and observations) (with R.S. Miller and F. Toni),  in the proceedings of NMR2000, http://xxx.lanl.gov/abs/cs.AI/0003034 , 2000.
"Argumentation with Abduction" (with N. Demetriou), to appear in the Proceedings of the 4th Panhellenic Symposium on Logic, Thessaloniki, July 2003
"Argumentative Deliberation for Autonomous Agents", (with P. Moraitis) in Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS-03,  pp.883-890, ACM Press, 2003 (ps)
"Layered strategies and protocols for argumentation-based agent interaction" (with N. Maudet, P. Moraitis) in Proceedings of the First International Workshop on Argumentation in Multi-Agent Systems (ArgMA04), Springer LNAI, Vol 3360, pp. 66-81, 2004.
“Agent Planning, Negotiation, and Control of Operation” (with Paolo Torroni and Neophytos Demetriou), in proceedings of the 16th European Conference on Artificial Intelligence, ECAI 2004, pp. 28-32, IOS Press, 2004.
"Modular Representation of Agent Interaction Rules through Argumentation" (with N. Maudet, P. Moraitis), to appear in the Journal of Autonomous Agents Multi-Agent Systems, Springer, 2005.


Abduction and Induction (Back)
 
"Abduction and Inductive Learning", (with Y. Dimopoulos), in Advances In Inductive Logic Programming, pp. 144-172, (ed L. De Raedt) IOS Press 1996.
"Abductive Concept Learning" (with F. Riguzzi) to appear in the journal of New Generation Computing (52 pages), May , 2000.
"Abductive and Inductive Reasoning: Essays on their Relation and Integration" (editor with P. Flach), Kluwer Academic Publishers, ISBN 0-7923-6250-0, 2000.
"Abduction and Induction: Backgound and Issues" (with P. Flach) in Abductive and Inductive Reasoning: Essays on their Relation and Integration (eds A.C. Kakas and P. Flach), Kluwer Academic Publishers, May 2000.

"Abduction and Induction: Essays on their Relation and Integration" (with P.A. Flach) , Kluwer Academic Press, ISBN 0-7923-6250-0, (2000).

"Abductive and Inductive Reasoning: Background and Issues" (with P.A. Flach), in Abduction and Induction: Essays on their Relation and Integration, pp. 1-27, Kluwer Academic Press, 2000
"On the Relation between Abduction and Inductive Reasoning"  (with P.A. Flach), in the Handbook of Defeasible Reasoning and Uncertainty Management Systems, Vol. 4, pp. 1-33, Kluwer Academic Press, 2000
"The Cycle of Abductive and Inductive Knowledge Development" (with P.A. Flach) , in Proceedings of Machine Intelligence 17, MI-17, pp. 17-25, July 2000


Autonomous Agents(Back)
 
"Argumentative Agent Deliberation, Roles and Context" (with P. Moraitis), Electronic Notes in Theoretical Computer Science Vol. 70, No 5, 16 pages, 2002 (also in Proceedings of CLIMA02, pp. 35-49, 2002).
"Argumentative Deliberation for Autonomous Agents" (with P. Moraitis), in Proceedings of the ECAI02 workshop on Computational Models of Natural Argumentation, pp. 65-74, 2002
"Argumentative Deliberation for Autonomous Agents", (with P. Moraitis) in Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS-03, pp.883-890, ACM Press, 2003 (ps)
"Agents Negotiating via Argumentation" (with P. Moraitis), submitted to the Journal of Multi-Agent Systems, 2003
"A logic-based model for computees" (with P. Mancarella, F. Sadri, K. Stathis and F. Toni), Deliverable D4, SOCS project, IST-2001-32530, 2003

"Crafting the Mind of PROSOCS Agents" (with A. Bracciali, N. Demetriou, U. Endriss, W. Lu, K. Stathis), to appear in the Journal of Applied Artificial Intelligence, Taylor & Francis, 2004.

"Modular Representation of Agent Interaction Rules through Argumentation" (with N. Maudet, P. Moraitis), to appear in the Journal of Autonomous Agents Multi-Agent Systems, Springer, 2005.

"Layered strategies and protocols for argumentation-based agent interaction" (with N. Maudet, P. Moraitis) in Proceedings of the First International Workshop on Argumentation in Multi-Agent Systems (ArgMA04), Springer LNAI, Vol 3360, pp. 66-81, 2004.  
"Flexible agent strategies and societal communication protocols" (with Nicolas Maudet, Pavlos Moraitis), in Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2004), pp. 1434-1435, ACM Press, 2004.

"PROSOCS: a platform for programming software agents in computational logic" (with Kostas Stathis , Wenjin Lu , Neophytos Demetriou, Ulle Endriss and Andrea Bracciali), Proceedings of the 17th European Meeting on Cybernetics and Systems Research, Vol. II, Symposium ``From Agent Theory to Agent Implementation'' (AT2AI-4), pp. 523—528, 2004.

"Declarative Agent Control" (with P. Mancarella, F.Sadri, K.Stathis, F. Toni), in Proceedings of Computational Logic in Multi-Agent Systems, CLIMA V, pp. 212-226, 2004.

“Agent Planning, Negotiation, and Control of Operation” (with Paolo Torroni and Neophytos Demetriou), in proceedings of the 16th European Conference on Artificial Intelligence, ECAI 2004, pp. 28-32, IOS Press, 2004.

"The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation" (with A. Bracciali, N. Demetriou, U. Endriss, W. Lu, P. Mancarella, F. Sadri, K. Stathis, G. Terreni, and F. Toni), Springer LNAI, Vol 3267, pp. 340-367, 2005.


Inductive Logic Programming (Back)
 
"Learning Non-Monotonic Logic Programs: Learning Exceptions" (with Y. Dimopoulos), Lecture Notes in Artificial Intelligence, Volume 912, pp. 122-138, Springer-Verlag, 1955.
"Integrating Explanatory and Descriptive Induction in ILP" (with S. Dzeroski and Y. Dimopoulos), in Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI97), Nagoya, Japan, 1997, pp. 411- 418.
"Learning with Abduction" (with F. Riguzzi) , Seventh International Workshop on Inductive Logic Programming (ILP97), Lecture Notes in Artificial Intelligence, Volume 1297, Springer Verlag, 1997, pp. 181-189.
"Learning Multiple Predicates'' (with E. Lamma and F. Riguzzi), Proceedings of the 8th International Conference on Artificial Intelligence:Methodology, Systems and Applications (AIMSA98), LNAI 1480, pp. 303-316, Springer Verlag, 1998. 
"Abductive Concept Learning" (with F. Riguzzi) to appear in the journal of New Generation Computing (52 pages), May , 2000.


Reasoning About Action and Change (Back)
 
"A Simple Declarative Language for Describing Narratives with Actions", (with R. Miller) Journal of Logic Programming, Volume 31(1-3) Special Issue on Reasoning about Actions and Change, Elsevier Science, 1997, pp. 157-200.
"Reasoning about Actions, Narratives and Ramifications", (with R. Miller), Electronic Transcactions in AI, Vol 1, No 4, pp. 39-72, 1998.
"An argumentation framework for Reasoning about actions and change" (with R. Miller and F. Toni), in Proceedings of LPNMR 99, Texas, USA, pp. 75-91, 1999.
"Planning with Incomplete Information" (with R. Miller and F. Toni), to appear in the proceedings of NMR2000, April, 2000.
"E-RES: A system for reasoning about actions, events and observations" (with R. Miller and F. Toni), to appear in the proceedings of NMR2000, April, 2000.

"E-RES: Reasoning about Actions, Events and Observations" (with R.S. Miller and F. Toni) ,  in the proceedings of LPNMR2001, LNAI Vol. 2173, pp. 254-266, Springer Verlag, 2001.

"Modeling Complex Domains of Reasoning about Action and Change" (with L. Michael), in the Proceedings of the 9th International Workshop on Non-Monotonic Reasoning, NMR'2002, pp. 380-388, Toulouse, France, 2002 (pdf)
"On the Qualification Problem and Elaboration Tolerance" (with L. Michael), in Proceedings of Common Sense 2003, Stanford, USA, 2003
"Reasoning about Actions and Change in Answer Set Programming" (with Y. Dimopoulos and M. Loizos), to appear in LPNMR03.  
"Reasoning about Actions  and Change in Answer Set Programming" (with Y. Dimopoulos, L. Michael).    Logic Programming and Nonmonotonic Reasoning, 7th International Conference,  LPNMR 2004, Fort Lauderdale, FL, USA, pg. 61-73, LNCS 2923, Springer 2004.

"Frame consistency: Reasoning with causal explanations" (with A. Bracciali), in the Proceedings of the 10th International Workshop on Non-Monotonic Reasoning, NMR'2004, pp. 79-87, Whistler BC, Canada, 2004.

"Answer Set Programming Algorithms and Complexity for Reasoning about Actions and Change" (with Y. Dimopoulos, L. Michael),  to appear in the Journal of Theory and Practice of Logic Programming, Cambridge University Press, 2005.


Intelligent Information Integration (Back)
 
"Information Integration and Computational Logic" (with Y. Dimopoulos), Computational Logic, special issue on the Future Technological RoadMap of Compulog-Net, 2000.
"Cultural Journey in the Information Society", (with G. Fakas) in proceedings of MELECON 2000, May 2000. 
"New Trends in Constraints" (with K.R. Apt, E. Monfroy and F. Rossi), LNAI Vol 1865, Springer-Verlag, 2000
"Planning with Incomplete Information" (with R.S. Miller and F. Toni), in the proceedings of NMR2000, http://xxx.lanl.gov/abs/cs.AI/0003049, 2000
"ACM Transactions on Computational Logic TOC" (with K.R. Apt, and F. Sadri), Volume 2, Number 4. Special issue dedicated to R.A. Kowalski, ACM Press,  2001
"Computational Logic: Logic Programming and Beyond" (with A.C. F. Sadri), LNAI Vol, 2407 & 2408, Springer Verlag, 2002
"Advances in Informatics" (with Y. Manolopoulos, S. Evripidou), LNCS Volume 2563, Springer Verlarg, 2003
"Information Integration and Computational Logic" (with Y. Dimopoulos) , Computational Logic, Special Issue: Technological Roadmap for CL, pp. 105-135, 2001. (Submitted also to ACM Computing Surveys).
"Information Integration and Computational Logic" (with Y. Dimopoulos)  submitted to ACM Computing Surveys, Year
"Electronic Roads: Intelligent Navigation Through Multi-Contextual Information, Knowledge and Information Systems"(withG. Fakas, A.C. Kakas and C.N. Schizas), International Journal, Springer, Volume 6, Number 1, pp. 103-124, 2003.


Computational Bioscience (Back)
 

"Modelling inhibition in metabolic pathways through Abduction and Induction" (with Alireza Tamaddoni-Nezhad, Stephen Muggleton and Florencio Pazos) in Proceeding of ILP04, LNAI Vol. 3194, pp. 305-323, 2004.

 

Theoretical Physics (1984-89)(Back)
 
"A Group Theoretical Approach to Canonical Quantization of Gravity I. Construction of the Canonical Group" (with C.J. Isham), Classical and Quantum Gravity Vol. 1 (1984) 621-632.
"A Group Theoretical Approach to Canonical Quantization of Gravity II. Unitary Representations of the Canonical Group" (with C.J. Isham), Classical and Quantum Gravity Vol. 1 (1984) 633-650.
"Quantum Mechanics of Non-Linear Systems" (with I. Bakas), Journal of Physics A: Mathematics General Vol. 20 (1987) 3713-3725.
"Virasoro Algebra Anomalies and Deformations" (with I. Bakas), Classical and Quantum Gravity Vol. 4 (1987) L67-L70.
"Anomalous Chiral Current Commutators and Divergence" (with G.V. Dunne), Physics Letters Vol. B211 (1988) 445-449.
"Spin-4 Extended Conformal Algebras" Physics Letters Vol. 215 (1988) 343-348.
"Extended Conformal Symmetries and U(1) Currents" (with I. Bakas), Journal of Physics A: Mathematics General Vol. A22 (1989) 1451-1458.
"Matter Fields in the Strong Coupling Limit of Quantum Gravity" Classical and Quantum Gravity Vol. 6 (1989) 1463-1472.

Antonis C. Kakas
All rights reserved