 | 2009 |
|---|
| 77 |       | Loizos Michael,
Antonis C. Kakas:
Knowledge Qualification through Argumentation.
LPNMR 2009: 209-222 |
| 76 | | Victor Noël,
Antonis C. Kakas:
Gorgias-C: Extending Argumentation with Constraint Solving.
LPNMR 2009: 535-541 |
| 75 | | Antonis C. Kakas,
Peter A. Flach:
Abduction and Induction in Artificial Intelligence.
J. Applied Logic 7(3): 251 (2009) |
| 2008 |
|---|
| 74 | | Antonis C. Kakas,
Loizos Michael,
Rob Miller:
Fred meets Tweety.
ECAI 2008: 747-748 |
| 73 | | Antonis C. Kakas,
Paolo Mancarella,
Fariba Sadri,
Kostas Stathis,
Francesca Toni:
Computational Logic Foundations of KGP Agents.
J. Artif. Intell. Res. (JAIR) 33: 285-348 (2008) |
| 2006 |
|---|
| 72 | | Antonis C. Kakas,
Pavlos Moraitis:
Adaptive agent negotiation via argumentation.
AAMAS 2006: 384-391 |
| 71 | | Arosha K. Bandara,
Antonis C. Kakas,
Emil C. Lupu,
Alessandra Russo:
Using Argumentation Logic for Firewall Policy Specification and Analysis.
DSOM 2006: 185-196 |
| 70 |  | Oliver Ray,
Athos Antoniades,
Antonis C. Kakas,
Ioannis Demetriades:
Abductive Logic Programming in the Clinical Management of HIV/AIDS.
ECAI 2006: 437-441 |
| 69 | | Andrea Bracciali,
Ulle Endriss,
Neophytos Demetriou,
Antonis C. Kakas,
Wenjin Lu,
Kostas Stathis:
Crafting the mind of PROSOCS agents.
Applied Artificial Intelligence 20(2-4): 105-131 (2006) |
| 68 | | Alireza Tamaddoni-Nezhad,
Raphael Chaleil,
Antonis C. Kakas,
Stephen Muggleton:
Application of abductive ILP to learning metabolic network inhibition from temporal data.
Machine Learning 64(1-3): 209-230 (2006) |
| 2005 |
|---|
| 67 | | Yannis Dimopoulos,
Antonis C. Kakas,
Pavlos Moraitis:
Argumentation Based Modelling of Embedded Agent Dialogues.
ArgMAS 2005: 169-181 |
| 66 | | Alexander Yip,
Jeremy Forth,
Kostas Stathis,
Antonis C. Kakas:
Software Anatomy of a KGP Agent.
EUMAS 2005: 459-472 |
| 65 | | Antonis C. Kakas,
Loizos Michael,
Rob Miller:
Modular-epsilon: An Elaboration Tolerant Approach to the Ramification and Qualification Problems.
LPNMR 2005: 211-226 |
| 64 | | Irene Papatheodorou,
Antonis C. Kakas,
Marek J. Sergot:
Inference of Gene Relations from Microarray Data by Abduction.
LPNMR 2005: 389-393 |
| 63 | | Antonis C. Kakas,
Nicolas Maudet,
Pavlos Moraitis:
Modular Representation of Agent Interaction Rules through Argumentation.
Autonomous Agents and Multi-Agent Systems 11(2): 189-206 (2005) |
| 2004 |
|---|
| 62 | | Antonis C. Kakas,
Nicolas Maudet,
Pavlos Moraitis:
Flexible Agent Dialogue Strategies and Societal Communication Protocols.
AAMAS 2004: 1434-1435 |
| 61 | | Antonis C. Kakas,
Nicolas Maudet,
Pavlos Moraitis:
Layered Strategies and Protocols for Argumentation-Based Agent Interaction.
ArgMAS 2004: 64-77 |
| 60 | | Antonis C. Kakas,
Paolo Mancarella,
Fariba Sadri,
Kostas Stathis,
Francesca Toni:
Declarative Agent Control.
CLIMA V 2004: 96-110 |
| 59 | | Antonis C. Kakas,
Paolo Torroni,
Neophytos Demetriou:
Agent Planning, Negotiation and Control of Operation.
ECAI 2004: 28-32 |
| 58 | | Antonis C. Kakas,
Paolo Mancarella,
Fariba Sadri,
Kostas Stathis,
Francesca Toni:
The KGP Model of Agency.
ECAI 2004: 33-37 |
| 57 | | Andrea Bracciali,
Neophytos Demetriou,
Ulrich Endriss,
Antonis C. Kakas,
Wenjin Lu,
Paolo Mancarella,
Fariba Sadri,
Kostas Stathis,
Giacomo Terreni,
Francesca Toni:
The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation.
Global Computing 2004: 340-367 |
| 56 | | Alireza Tamaddoni-Nezhad,
Antonis C. Kakas,
Stephen Muggleton,
Florencio Pazos:
Modelling Inhibition in Metabolic Pathways Through Abduction and Induction.
ILP 2004: 305-322 |
| 55 | | Yannis Dimopoulos,
Antonis C. Kakas,
Loizos Michael:
Reasoning About Actions and Change in Answer Set Programming.
LPNMR 2004: 61-73 |
| 54 | | Andrea Bracciali,
Antonis C. Kakas:
Frame consistency: computing with causal explanations.
NMR 2004: 79-87 |
| 53 | | Georgios John Fakas,
Antonis C. Kakas,
Christos Schizas:
Electronic Roads: Intelligent Navigation Through Multi-Contextual Information.
Knowl. Inf. Syst. 6(1): 103-124 (2004) |
| 2003 |
|---|
| 52 | | Yannis Manolopoulos,
Skevos Evripidou,
Antonis C. Kakas:
Advances in Informatics, 8th Panhellenic Conference on Informatics, PCI 2001. Nicosia, Cyprus, November 8-10, 2001, Revised Selected Papers
Springer 2003 |
| 51 | | Antonis C. Kakas,
Pavlos Moraitis:
Argumentation based decision making for autonomous agents.
AAMAS 2003: 883-890 |
| 2002 |
|---|
| 50 | | Antonis C. Kakas,
Fariba Sadri:
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Springer 2002 |
| 49 | | Antonis C. Kakas,
Fariba Sadri:
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Springer 2002 |
| 48 | | Antonis C. Kakas,
Pavlos Moraitis:
Argumentative Agent Deliberation, Roles and Context.
CLIMA III 2002: 35-48 |
| 47 | | Marc Denecker,
Antonis C. Kakas:
Abduction in Logic Programming.
Computational Logic: Logic Programming and Beyond 2002: 402-436 |
| 46 | | Antonis C. Kakas,
Loizos Michael:
Modeling complex domains of actions and change.
NMR 2002: 380-390 |
| 45 | | Antonis C. Kakas,
Loizos Michael:
Modeling Complex Domains of Actions and Change
CoRR cs.AI/0207056: (2002) |
| 44 | | Antonis C. Kakas,
Pavlos Moraitis:
Argumentative Agent Deliberation, Roles and Context.
Electr. Notes Theor. Comput. Sci. 70(5): (2002) |
| 2001 |
|---|
| 43 | | Antonis C. Kakas,
Bert Van Nuffelen,
Marc Denecker:
A-System: Problem Solving through Abduction.
IJCAI 2001: 591-596 |
| 42 | | Antonis C. Kakas,
Rob Miller,
Francesca Toni:
E-RES: Reasoning about Actions, Events and Observations.
LPNMR 2001: 254-266 |
| 41 | | Bert Van Nuffelen,
Antonis C. Kakas:
A-system: Declarative Programming with Abduction.
LPNMR 2001: 393-396 |
| 40 | | Krzysztof R. Apt,
Antonis C. Kakas,
Fariba Sadri:
Editorial.
ACM Trans. Comput. Log. 2(4): 431 (2001) |
| 39 | | Antonis C. Kakas,
A. Michael:
An Abductive-based Scheduler for Air-Crew Assignment.
Applied Artificial Intelligence 15(3): 333-360 (2001) |
| 38 | | Yannis Dimopoulos,
Antonis C. Kakas:
Information Integration and Computational Logic
CoRR cs.AI/0106025: (2001) |
| 2000 |
|---|
| 37 | | Krzysztof R. Apt,
Antonis C. Kakas,
Eric Monfroy,
Francesca Rossi:
New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999, Selected Papers
Springer 2000 |
| 36 | | Antonis C. Kakas:
ACLP: Integrating Abduction and Constraint Solving
CoRR cs.AI/0003020: (2000) |
| 35 | | Antonis C. Kakas,
Rob Miller,
Francesca Toni:
E-RES: A System for Reasoning about Actions, Events and Observations
CoRR cs.AI/0003034: (2000) |
| 34 | | Antonis C. Kakas,
Rob Miller,
Francesca Toni:
Planning with Incomplete Information
CoRR cs.AI/0003049: (2000) |
| 33 | | Marc Denecker,
Antonis C. Kakas:
Special issue: abductive logic programming.
J. Log. Program. 44(1-3): 1-4 (2000) |
| 32 | | Antonis C. Kakas,
A. Michael,
Costas Mourlas:
ACLP: Abductive Constraint Logic Programming.
J. Log. Program. 44(1-3): 129-177 (2000) |
| 31 | | Antonis C. Kakas,
Fabrizio Riguzzi:
Abductive Concept Learning.
New Generation Comput. 18(3): 243- (2000) |
| 1999 |
|---|
| 30 | | Antonis C. Kakas,
A. Michael:
Air-Crew Scheduling through Abduction.
IEA/AIE 1999: 600-611 |
| 29 | | Antonis C. Kakas,
Rob Miller,
Francesca Toni:
An Argumentation Framework of Reasoning about Actions and Change.
LPNMR 1999: 78-91 |
| 28 | | Antonis C. Kakas,
Francesca Toni:
Computing Argumentation in Logic Programming.
J. Log. Comput. 9(4): 515-562 (1999) |
| 1998 |
|---|
| 27 | | Antonis C. Kakas,
Evelina Lamma,
Fabrizio Riguzzi:
Learning Multiple Predicates.
AIMSA 1998: 303-316 |
| 26 | | Costas Zervos,
Stathis Panis,
Dionysis Dionysiou,
Michaelis Dionysiou,
Constantinos S. Pattichis,
Andreas Pitsillides,
George A. Papadopoulos,
Antonis C. Kakas,
Christos Schizas:
Electronic Roads in the Information Society.
ECDL 1998: 689-690 |
| 25 | | Antonis C. Kakas,
A. Michael:
Applications of Abductive Logic Programming.
IJCSLP 1998: 343-344 |
| 24 | | Peter A. Flach,
Antonis C. Kakas:
Abduction and Induction in AI: Report of the IJCAI'97 Workshop.
Logic Journal of the IGPL 6(4): 651-656 (1998) |
| 1997 |
|---|
| 23 | | Yannis Dimopoulos,
Saso Dzeroski,
Antonis C. Kakas:
Integrating Explanatory and Descriptive Learning in ILP.
IJCAI (2) 1997: 900-907 |
| 22 | | Antonis C. Kakas,
Fabrizio Riguzzi:
Learning with Abduction.
ILP 1997: 181-188 |
| 21 | | Antonis C. Kakas,
Costas Mourlas:
ACLP: Flexible Solutions to Complex Problems.
LPNMR 1997: 388-399 |
| 20 | | Antonis C. Kakas,
Rob Miller:
Reasoning about Actions, Narratives and Ramification.
Electron. Trans. Artif. Intell. 1: 39-72 (1997) |
| 19 | | Antonis C. Kakas,
Rob Miller:
A Simple Declarative Language for Describing Narratives With Actions.
J. Log. Program. 31(1-3): 157-200 (1997) |
| 18 | | Peter A. Flach,
Antonis C. Kakas:
Abductive and Inductive Reasoning: Report of the ECAI'96 Workshop.
Logic Journal of the IGPL 5(5): (1997) |
| 1995 |
|---|
| 17 | | Yannis Dimopoulos,
Antonis C. Kakas:
Learning Non-Monotonic Logic Programs: Learning Exceptions.
ECML 1995: 122-137 |
| 16 | | Antonis C. Kakas,
A. Michael:
Integrating Abductive and Constraint Logic Programming.
ICLP 1995: 399-413 |
| 15 | | Yannis Dimopoulos,
Antonis C. Kakas:
Logic Programming without Negation as Failure.
ILPS 1995: 369-383 |
| 14 | | Francesca Toni,
Antonis C. Kakas:
Computing the Acceptability Semantics.
LPNMR 1995: 401-415 |
| 1994 |
|---|
| 13 | | Antonis C. Kakas,
Paolo Mancarella:
Abduction and Abductive Logic Programming.
ICLP 1994: 18-19 |
| 12 | | Antonis C. Kakas,
Paolo Mancarella,
Phan Minh Dung:
The Acceptability Semantics for Logic Programs.
ICLP 1994: 504-519 |
| 1992 |
|---|
| 11 | | Antonis C. Kakas:
Default Reasoning via Negation as Failure.
ECAI Workshop on Knowledge Representation and Reasoning 1992: 160-178 |
| 10 | | Chris Evans,
Antonis C. Kakas:
Hypothetico-deductive Reasoning.
FGCS 1992: 546-554 |
| 9 | | Antonis C. Kakas,
Robert A. Kowalski,
Francesca Toni:
Abductive Logic Programming.
J. Log. Comput. 2(6): 719-770 (1992) |
| 8 | | Antonis C. Kakas,
Paolo Mancarella:
Short Note: Preferred Extensions are Partial Stable Models.
J. Log. Program. 14(3&4): 341-348 (1992) |
| 1991 |
|---|
| 7 | | Antonis C. Kakas,
Paolo Mancarella:
Stable Theories for Logic Programs.
ISLP 1991: 85-100 |
| 6 | | Antonis C. Kakas,
Paolo Mancarella:
Negation as Stable Hypotheses.
LPNMR 1991: 275-288 |
| 1990 |
|---|
| 5 | | Antonis C. Kakas:
Belief Revision for Deductive Databases.
DAISD 1990: 191-218 |
| 4 | | Antonis C. Kakas,
Paolo Mancarella:
Generalized Stable Models: A Semantics for Abduction.
ECAI 1990: 385-391 |
| 3 | | Antonis C. Kakas,
Paolo Mancarella:
Abductive Logic Programming.
LPNMR 1990: 49-61 |
| 2 | | Antonis C. Kakas,
Paolo Mancarella:
Knowledge Assimilation and Abduction.
Truth Maintenance Systems (ECAI Workshop) 1990: 54-70 |
| 1 | | Antonis C. Kakas,
Paolo Mancarella:
Database Updates through Abduction.
VLDB 1990: 650-661 |
