Search the dblp DataBase
Antonis C. Kakas :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Antonis C. Kakas , Paolo Mancarella Database Updates through Abduction. [Citation Graph (12, 19)][DBLP ] VLDB, 1990, pp:650-661 [Conf ] Antonis C. Kakas Belief Revision for Deductive Databases. [Citation Graph (1, 0)][DBLP ] DAISD, 1990, pp:191-218 [Conf ] Antonis C. Kakas , Paolo Mancarella Generalized Stable Models: A Semantics for Abduction. [Citation Graph (1, 0)][DBLP ] ECAI, 1990, pp:385-391 [Conf ] Antonis C. Kakas , Evelina Lamma , Fabrizio Riguzzi Learning Multiple Predicates. [Citation Graph (0, 0)][DBLP ] AIMSA, 1998, pp:303-316 [Conf ] Yannis Dimopoulos , Antonis C. Kakas , Pavlos Moraitis Argumentation Based Modelling of Embedded Agent Dialogues. [Citation Graph (0, 0)][DBLP ] ArgMAS, 2005, pp:169-181 [Conf ] Antonis C. Kakas , Nicolas Maudet , Pavlos Moraitis Layered Strategies and Protocols for Argumentation-Based Agent Interaction. [Citation Graph (0, 0)][DBLP ] ArgMAS, 2004, pp:64-77 [Conf ] Antonis C. Kakas , Pavlos Moraitis Argumentation based decision making for autonomous agents. [Citation Graph (0, 0)][DBLP ] AAMAS, 2003, pp:883-890 [Conf ] Antonis C. Kakas , Pavlos Moraitis Adaptive agent negotiation via argumentation. [Citation Graph (0, 0)][DBLP ] AAMAS, 2006, pp:384-391 [Conf ] Antonis C. Kakas , Nicolas Maudet , Pavlos Moraitis Flexible Agent Dialogue Strategies and Societal Communication Protocols. [Citation Graph (0, 0)][DBLP ] AAMAS, 2004, pp:1434-1435 [Conf ] Marc Denecker , Antonis C. Kakas Abduction in Logic Programming. [Citation Graph (0, 0)][DBLP ] Computational Logic: Logic Programming and Beyond, 2002, pp:402-436 [Conf ] Antonis C. Kakas , Pavlos Moraitis Argumentative Agent Deliberation, Roles and Context. [Citation Graph (0, 0)][DBLP ] CLIMA III, 2002, pp:35-48 [Conf ] Antonis C. Kakas , Paolo Mancarella , Fariba Sadri , Kostas Stathis , Francesca Toni Declarative Agent Control. [Citation Graph (0, 0)][DBLP ] CLIMA V, 2004, pp:96-110 [Conf ] Arosha K. Bandara , Antonis C. Kakas , Emil C. Lupu , Alessandra Russo Using Argumentation Logic for Firewall Policy Specification and Analysis. [Citation Graph (0, 0)][DBLP ] DSOM, 2006, pp:185-196 [Conf ] Antonis C. Kakas Default Reasoning via Negation as Failure. [Citation Graph (0, 0)][DBLP ] ECAI Workshop on Knowledge Representation and Reasoning, 1992, pp:160-178 [Conf ] Antonis C. Kakas , Paolo Mancarella Knowledge Assimilation and Abduction. [Citation Graph (0, 0)][DBLP ] Truth Maintenance Systems (ECAI Workshop), 1990, pp:54-70 [Conf ] Antonis C. Kakas , Paolo Mancarella , Fariba Sadri , Kostas Stathis , Francesca Toni The KGP Model of Agency. [Citation Graph (0, 0)][DBLP ] ECAI, 2004, pp:33-37 [Conf ] Antonis C. Kakas , Paolo Torroni , Neophytos Demetriou Agent Planning, Negotiation and Control of Operation. [Citation Graph (0, 0)][DBLP ] ECAI, 2004, pp:28-32 [Conf ] Oliver Ray , Athos Antoniades , Antonis C. Kakas , Ioannis Demetriades Abductive Logic Programming in the Clinical Management of HIV/AIDS. [Citation Graph (0, 0)][DBLP ] ECAI, 2006, pp:437-441 [Conf ] Yannis Dimopoulos , Antonis C. Kakas Learning Non-Monotonic Logic Programs: Learning Exceptions. [Citation Graph (0, 0)][DBLP ] ECML, 1995, pp:122-137 [Conf ] Costas Zervos , Stathis Panis , Dionysis Dionysiou , Michaelis Dionysiou , Constantinos S. Pattichis , Andreas Pitsillides , George Papadopoulos , Antonis C. Kakas , Christos Schizas Electronic Roads in the Information Society. [Citation Graph (0, 0)][DBLP ] ECDL, 1998, pp:689-690 [Conf ] Alexander Yip , Jeremy Forth , Kostas Stathis , Antonis C. Kakas Software Anatomy of a KGP Agent. [Citation Graph (0, 0)][DBLP ] EUMAS, 2005, pp:459-472 [Conf ] Chris Evans , Antonis C. Kakas Hypothetico-deductive Reasoning. [Citation Graph (0, 0)][DBLP ] FGCS, 1992, pp:546-554 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] Global Computing, 2004, pp:340-367 [Conf ] Antonis C. Kakas , Paolo Mancarella Abduction and Abductive Logic Programming. [Citation Graph (0, 0)][DBLP ] ICLP, 1994, pp:18-19 [Conf ] Antonis C. Kakas , A. Michael Integrating Abductive and Constraint Logic Programming. [Citation Graph (0, 0)][DBLP ] ICLP, 1995, pp:399-413 [Conf ] Antonis C. Kakas , A. Michael Applications of Abductive Logic Programming. [Citation Graph (0, 0)][DBLP ] IJCSLP, 1998, pp:343-344 [Conf ] Antonis C. Kakas , Paolo Mancarella , Phan Minh Dung The Acceptability Semantics for Logic Programs. [Citation Graph (0, 0)][DBLP ] ICLP, 1994, pp:504-519 [Conf ] Antonis C. Kakas , A. Michael Air-Crew Scheduling through Abduction. [Citation Graph (0, 0)][DBLP ] IEA/AIE, 1999, pp:600-611 [Conf ] Yannis Dimopoulos , Saso Dzeroski , Antonis C. Kakas Integrating Explanatory and Descriptive Learning in ILP. [Citation Graph (0, 0)][DBLP ] IJCAI (2), 1997, pp:900-907 [Conf ] Antonis C. Kakas , Bert Van Nuffelen , Marc Denecker A-System: Problem Solving through Abduction. [Citation Graph (0, 0)][DBLP ] IJCAI, 2001, pp:591-596 [Conf ] Antonis C. Kakas , Fabrizio Riguzzi Learning with Abduction. [Citation Graph (0, 0)][DBLP ] ILP, 1997, pp:181-188 [Conf ] Alireza Tamaddoni-Nezhad , Antonis C. Kakas , Stephen Muggleton , Florencio Pazos Modelling Inhibition in Metabolic Pathways Through Abduction and Induction. [Citation Graph (0, 0)][DBLP ] ILP, 2004, pp:305-322 [Conf ] Antonis C. Kakas , Paolo Mancarella Abductive Logic Programming. [Citation Graph (0, 0)][DBLP ] LPNMR, 1990, pp:49-61 [Conf ] Antonis C. Kakas , Paolo Mancarella Negation as Stable Hypotheses. [Citation Graph (0, 0)][DBLP ] LPNMR, 1991, pp:275-288 [Conf ] Antonis C. Kakas , Costas Mourlas ACLP: Flexible Solutions to Complex Problems. [Citation Graph (0, 0)][DBLP ] LPNMR, 1997, pp:388-399 [Conf ] Antonis C. Kakas , Loizos Michael , Rob Miller Modular-epsilon: An Elaboration Tolerant Approach to the Ramification and Qualification Problems. [Citation Graph (0, 0)][DBLP ] LPNMR, 2005, pp:211-226 [Conf ] Yannis Dimopoulos , Antonis C. Kakas , Loizos Michael Reasoning About Actions and Change in Answer Set Programming. [Citation Graph (0, 0)][DBLP ] LPNMR, 2004, pp:61-73 [Conf ] Antonis C. Kakas , Rob Miller , Francesca Toni E-RES: Reasoning about Actions, Events and Observations. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:254-266 [Conf ] Antonis C. Kakas , Rob Miller , Francesca Toni An Argumentation Framework of Reasoning about Actions and Change. [Citation Graph (0, 0)][DBLP ] LPNMR, 1999, pp:78-91 [Conf ] Francesca Toni , Antonis C. Kakas Computing the Acceptability Semantics. [Citation Graph (0, 0)][DBLP ] LPNMR, 1995, pp:401-415 [Conf ] Bert Van Nuffelen , Antonis C. Kakas A-system: Declarative Programming with Abduction. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:393-396 [Conf ] Irene Papatheodorou , Antonis C. Kakas , Marek J. Sergot Inference of Gene Relations from Microarray Data by Abduction. [Citation Graph (0, 0)][DBLP ] LPNMR, 2005, pp:389-393 [Conf ] Antonis C. Kakas , Loizos Michael Modeling complex domains of actions and change. [Citation Graph (0, 0)][DBLP ] NMR, 2002, pp:380-390 [Conf ] Andrea Bracciali , Antonis C. Kakas Frame consistency: computing with causal explanations. [Citation Graph (0, 0)][DBLP ] NMR, 2004, pp:79-87 [Conf ] Yannis Dimopoulos , Antonis C. Kakas Logic Programming without Negation as Failure. [Citation Graph (0, 0)][DBLP ] ILPS, 1995, pp:369-383 [Conf ] Antonis C. Kakas , Paolo Mancarella Stable Theories for Logic Programs. [Citation Graph (0, 0)][DBLP ] ISLP, 1991, pp:85-100 [Conf ] Andrea Bracciali , Ulle Endriss , Neophytos Demetriou , Antonis C. Kakas , Wenjin Lu , Kostas Stathis Crafting the mind of PROSOCS agents. [Citation Graph (0, 0)][DBLP ] Applied Artificial Intelligence, 2006, v:20, n:2-4, pp:105-131 [Journal ] Antonis C. Kakas , A. Michael An Abductive-based Scheduler for Air-Crew Assignment. [Citation Graph (0, 0)][DBLP ] Applied Artificial Intelligence, 2001, v:15, n:3, pp:333-360 [Journal ] Antonis C. Kakas , Nicolas Maudet , Pavlos Moraitis Modular Representation of Agent Interaction Rules through Argumentation. [Citation Graph (0, 0)][DBLP ] Autonomous Agents and Multi-Agent Systems, 2005, v:11, n:2, pp:189-206 [Journal ] Antonis C. Kakas ACLP: Integrating Abduction and Constraint Solving [Citation Graph (0, 0)][DBLP ] CoRR, 2000, v:0, n:, pp:- [Journal ] Antonis C. Kakas , Rob Miller , Francesca Toni E-RES: A System for Reasoning about Actions, Events and Observations [Citation Graph (0, 0)][DBLP ] CoRR, 2000, v:0, n:, pp:- [Journal ] Antonis C. Kakas , Rob Miller , Francesca Toni Planning with Incomplete Information [Citation Graph (0, 0)][DBLP ] CoRR, 2000, v:0, n:, pp:- [Journal ] Yannis Dimopoulos , Antonis C. Kakas Information Integration and Computational Logic [Citation Graph (0, 0)][DBLP ] CoRR, 2001, v:0, n:, pp:- [Journal ] Antonis C. Kakas , Loizos Michael Modeling Complex Domains of Actions and Change [Citation Graph (0, 0)][DBLP ] CoRR, 2002, v:0, n:, pp:- [Journal ] Antonis C. Kakas , Pavlos Moraitis Argumentative Agent Deliberation, Roles and Context. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:70, n:5, pp:- [Journal ] Antonis C. Kakas , Rob Miller Reasoning about Actions, Narratives and Ramification. [Citation Graph (0, 0)][DBLP ] Electron. Trans. Artif. Intell., 1997, v:1, n:, pp:39-72 [Journal ] Peter A. Flach , Antonis C. Kakas Abductive and Inductive Reasoning: Report of the ECAI'96 Workshop. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 1997, v:5, n:5, pp:- [Journal ] Peter A. Flach , Antonis C. Kakas Abduction and Induction in AI: Report of the IJCAI'97 Workshop. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 1998, v:6, n:4, pp:651-656 [Journal ] Marc Denecker , Antonis C. Kakas Special issue: abductive logic programming. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 2000, v:44, n:1-3, pp:1-4 [Journal ] Antonis C. Kakas , Paolo Mancarella Short Note: Preferred Extensions are Partial Stable Models. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1992, v:14, n:3&4, pp:341-348 [Journal ] Antonis C. Kakas , Rob Miller A Simple Declarative Language for Describing Narratives With Actions. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1997, v:31, n:1-3, pp:157-200 [Journal ] Antonis C. Kakas , A. Michael , Costas Mourlas ACLP: Abductive Constraint Logic Programming. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 2000, v:44, n:1-3, pp:129-177 [Journal ] Georgios Fakas , Antonis C. Kakas , Christos Schizas Electronic Roads: Intelligent Navigation Through Multi-Contextual Information. [Citation Graph (0, 0)][DBLP ] Knowl. Inf. Syst., 2004, v:6, n:1, pp:103-124 [Journal ] Antonis C. Kakas , Robert A. Kowalski , Francesca Toni Abductive Logic Programming. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 1992, v:2, n:6, pp:719-770 [Journal ] Antonis C. Kakas , Francesca Toni Computing Argumentation in Logic Programming. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 1999, v:9, n:4, pp:515-562 [Journal ] Alireza Tamaddoni-Nezhad , Raphael Chaleil , Antonis C. Kakas , Stephen Muggleton Application of abductive ILP to learning metabolic network inhibition from temporal data. [Citation Graph (0, 0)][DBLP ] Machine Learning, 2006, v:64, n:1-3, pp:209-230 [Journal ] Antonis C. Kakas , Fabrizio Riguzzi Abductive Concept Learning. [Citation Graph (0, 0)][DBLP ] New Generation Comput., 2000, v:18, n:3, pp:243-0 [Journal ] Krzysztof R. Apt , Antonis C. Kakas , Fariba Sadri Editorial. [Citation Graph (0, 0)][DBLP ] ACM Trans. Comput. Log., 2001, v:2, n:4, pp:431- [Journal ] Fred meets Tweety. [Citation Graph (, )][DBLP ] ABA: Argumentation Based Agents. [Citation Graph (, )][DBLP ] Abduction and induction for learning models of inhibition in metabolic networks. [Citation Graph (, )][DBLP ] Using argumentation logic for firewall configuration management. [Citation Graph (, )][DBLP ] Knowledge Qualification through Argumentation. [Citation Graph (, )][DBLP ] Gorgias-C: Extending Argumentation with Constraint Solving. [Citation Graph (, )][DBLP ] Search in 0.043secs, Finished in 0.047secs