Antonis C. Kakas Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Athos Antoniades [70]
2Krzysztof R. Apt [37] [40]
3Arosha K. Bandara [71]
4Andrea Bracciali [54] [57] [69]
5Raphael Chaleil [68]
6Ioannis Demetriades [70]
7Neophytos Demetriou [57] [59] [69]
8Marc Denecker [33] [43] [47]
9Yannis Dimopoulos [15] [17] [23] [38] [55] [67]
10Dionysis Dionysiou [26]
11Michaelis Dionysiou [26]
12Phan Minh Dung [12]
13Saso Dzeroski [23]
14Ulrich Endriss (Ulle Endriss) [57] [69]
15Chris Evans [10]
16Skevos Evripidou [52]
17Georgios John Fakas [53]
18Peter A. Flach [18] [24] [75]
19Jeremy Forth [66]
20Robert A. Kowalski [9]
21Evelina Lamma [27]
22Wenjin Lu [57] [69]
23Emil C. Lupu (Emil Lupu) [71]
24Paolo Mancarella [1] [2] [3] [4] [6] [7] [8] [12] [13] [57] [58] [60] [73]
25Yannis Manolopoulos [52]
26Nicolas Maudet [61] [62] [63]
27A. Michael [16] [25] [30] [32] [39]
28Loizos Michael [45] [46] [55] [65] [74] [77]
29Rob Miller (Robert Simon Miller) [19] [20] [29] [34] [35] [42] [65] [74]
30Eric Monfroy [37]
31Pavlos Moraitis [44] [48] [51] [61] [62] [63] [67] [72]
32Costas Mourlas (Costantinos Mourlas, Constantinos Mourlas) [21] [32]
33Stephen Muggleton [56] [68]
34Victor Noël [76]
35Bert Van Nuffelen [41] [43]
36Stathis Panis [26]
37George Angelos Papadopoulos (George A. Papadopoulos) [26]
38Irene Papatheodorou [64]
39Constantinos S. Pattichis [26]
40Florencio Pazos [56]
41Andreas Pitsillides [26]
42Oliver Ray [70]
43Fabrizio Riguzzi [22] [27] [31]
44Francesca Rossi [37]
45Alessandra Russo [71]
46Fariba Sadri [40] [49] [50] [57] [58] [60] [73]
47Christos Schizas [26] [53]
48Marek J. Sergot [64]
49Kostas Stathis [57] [58] [60] [66] [69] [73]
50Alireza Tamaddoni-Nezhad [56] [68]
51Giacomo Terreni [57]
52Francesca Toni [9] [14] [28] [29] [34] [35] [42] [57] [58] [60] [73]
53Paolo Torroni [59]
54Alexander Yip [66]
55Costas Zervos [26]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)