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

Antonis C. Kakas (Selection)

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

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

75Electronic 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)
61Electronic 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 2004: 96-110
59no 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
58Electronic 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
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
8Electronic Edition 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)
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
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
2Electronic Edition 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

Selection of 13 from 86 records - Antonis C. Kakas has 67 coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update 2012-09-10 CET by the DBLP Team — This material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page