Antonis Kakas
Antonis Kakas
Geverifieerd e-mailadres voor ucy.ac.cy
Titel
Geciteerd door
Geciteerd door
Jaar
Abductive logic programming
AC Kakas, RA Kowalski, F Toni
Journal of logic and computation 2 (6), 719-770, 1992
9781992
The role of abduction in logic programming
AC Kakas, RA Kowalski, F Toni
Handbook of logic in artificial intelligence and logic programming 5, 235-324, 1998
4931998
Generalized Stable Models: A Semantics for Abduction.
AC Kakas, P Mancarella
ECAI 90, 385-391, 1990
3061990
Database Updates through Abduction.
AC Kakas, P Mancarella
VLDB 90, 650-661, 1990
3041990
Argumentation based decision making for autonomous agents
A Kakas, P Moraitis
Proceedings of the second international joint conference on Autonomous …, 2003
2682003
Abduction and Induction: Essays on their relation and integration
PA Flach, A Hadjiantonis
Springer Science & Business Media, 2013
2622013
Abduction in logic programming
M Denecker, A Kakas
Computational logic: Logic programming and beyond, 402-436, 2002
2072002
The Acceptability Semantics for Logic Programs.
AC Kakas, P Mancarella, PM Dung
ICLP 94, 504-519, 1994
1431994
The KGP model of agency
A Kakas, P Mancarella, F Sadri, K Stathis, F Toni
Proceedings of the 16th European Conference on Artificial Intelligence, 28-32, 2004
1312004
ACLP: Abductive constraint logic programming
AC Kakas, A Michael, C Mourlas
The Journal of Logic Programming 44 (1-3), 129-177, 2000
1302000
A simple declarative language for describing narratives with actions
A Kakas, R Miller
The Journal of Logic Programming 31 (1-3), 157-200, 1997
1271997
On the relation between Truth Maintenance and Abduction
AC Kakas
Proc. PRICAI'90, 438-443, 1990
1201990
A-system: Problem solving through abduction
AC Kakas, B Van Nuffelen, M Denecker
Proceedings of the seventeenth international joint conference on artificial …, 2001
1012001
Logic Programming without Negation as Failure.
Y Dimopoulos, AC Kakas
ILPS, 369-383, 1995
971995
Application of abductive ILP to learning metabolic network inhibition from temporal data
A Tamaddoni-Nezhad, R Chaleil, A Kakas, S Muggleton
Machine Learning 64 (1-3), 209-230, 2006
962006
A group theoretical approach to the canonical quantisation of gravity. I. Construction of the canonical group
CJ Isham, AC Kakas
Classical and Quantum Gravity 1 (6), 621, 1984
921984
Practice and Theory of Automated Timetabling III: Third International Conference, PATAT 2000 Konstanz, Germany, August 16-18, 2000 Selected Papers
E Burke, W Erben
Springer, 2003
912003
Abductive and inductive reasoning: background and issues
PA Flach, AC Kakas
Abduction and induction, 1-27, 2000
852000
Adaptive agent negotiation via argumentation
A Kakas, P Moraitis
Proceedings of the fifth international joint conference on Autonomous agents …, 2006
842006
Dynamic modeling of a disturbance in a multi-agent system for traffic regulation
F Balbo, S Pinson
Decision Support Systems 41 (1), 131-146, 2005
772005
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20