dblp.uni-trier.dewww.uni-trier.de

Antonis C. Kakas Vis

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

*2009
77EELoizos Michael, Antonis C. Kakas: Knowledge Qualification through Argumentation. LPNMR 2009: 209-222
76EEVictor Noël, Antonis C. Kakas: Gorgias-C: Extending Argumentation with Constraint Solving. LPNMR 2009: 535-541
75EEAntonis C. Kakas, Peter A. Flach: Abduction and Induction in Artificial Intelligence. J. Applied Logic 7(3): 251 (2009)
2008
74EEAntonis C. Kakas, Loizos Michael, Rob Miller: Fred meets Tweety. ECAI 2008: 747-748
73EEAntonis 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
72EEAntonis C. Kakas, Pavlos Moraitis: Adaptive agent negotiation via argumentation. AAMAS 2006: 384-391
71EEArosha 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
69EEAndrea 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)
68EEAlireza 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
67EEYannis 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
65EEAntonis C. Kakas, Loizos Michael, Rob Miller: Modular-epsilon: An Elaboration Tolerant Approach to the Ramification and Qualification Problems. LPNMR 2005: 211-226
64EEIrene Papatheodorou, Antonis C. Kakas, Marek J. Sergot: Inference of Gene Relations from Microarray Data by Abduction. LPNMR 2005: 389-393
63EEAntonis 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
62EEAntonis C. Kakas, Nicolas Maudet, Pavlos Moraitis: Flexible Agent Dialogue Strategies and Societal Communication Protocols. AAMAS 2004: 1434-1435
61EEAntonis C. Kakas, Nicolas Maudet, Pavlos Moraitis: Layered Strategies and Protocols for Argumentation-Based Agent Interaction. ArgMAS 2004: 64-77
60EEAntonis 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
57EEAndrea 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
56EEAlireza Tamaddoni-Nezhad, Antonis C. Kakas, Stephen Muggleton, Florencio Pazos: Modelling Inhibition in Metabolic Pathways Through Abduction and Induction. ILP 2004: 305-322
55EEYannis Dimopoulos, Antonis C. Kakas, Loizos Michael: Reasoning About Actions and Change in Answer Set Programming. LPNMR 2004: 61-73
54EEAndrea Bracciali, Antonis C. Kakas: Frame consistency: computing with causal explanations. NMR 2004: 79-87
53EEGeorgios 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
51EEAntonis 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
47EEMarc 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
45EEAntonis C. Kakas, Loizos Michael: Modeling Complex Domains of Actions and Change CoRR cs.AI/0207056: (2002)
44EEAntonis 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
42EEAntonis C. Kakas, Rob Miller, Francesca Toni: E-RES: Reasoning about Actions, Events and Observations. LPNMR 2001: 254-266
41EEBert Van Nuffelen, Antonis C. Kakas: A-system: Declarative Programming with Abduction. LPNMR 2001: 393-396
40EEKrzysztof 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)
38EEYannis 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
36EEAntonis C. Kakas: ACLP: Integrating Abduction and Constraint Solving CoRR cs.AI/0003020: (2000)
35EEAntonis C. Kakas, Rob Miller, Francesca Toni: E-RES: A System for Reasoning about Actions, Events and Observations CoRR cs.AI/0003034: (2000)
34EEAntonis 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
29EEAntonis C. Kakas, Rob Miller, Francesca Toni: An Argumentation Framework of Reasoning about Actions and Change. LPNMR 1999: 78-91
28EEAntonis C. Kakas, Francesca Toni: Computing Argumentation in Logic Programming. J. Log. Comput. 9(4): 515-562 (1999)
1998
27EEAntonis C. Kakas, Evelina Lamma, Fabrizio Riguzzi: Learning Multiple Predicates. AIMSA 1998: 303-316
26EECostas 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
24EEPeter 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
20EEAntonis 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)
18EEPeter A. Flach, Antonis C. Kakas: Abductive and Inductive Reasoning: Report of the ECAI'96 Workshop. Logic Journal of the IGPL 5(5): (1997)
1995
17EEYannis 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
1EEAntonis 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 © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)