Подписаться
Antonis Kakas
Antonis Kakas
Подтвержден адрес электронной почты в домене ucy.ac.cy
Название
Процитировано
Процитировано
Год
Abductive logic programming
AC Kakas, RA Kowalski, F Toni
Journal of logic and computation 2 (6), 719-770, 1992
11121992
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
5311998
Generalized Stable Models: A Semantics for Abduction.
AC Kakas, P Mancarella
ECAI 90, 385-391, 1990
3281990
Argumentation based decision making for autonomous agents
A Kakas, P Moraitis
Proceedings of the second international joint conference on Autonomous …, 2003
3202003
Database Updates through Abduction.
AC Kakas, P Mancarella
VLDB 90, 650-661, 1990
3161990
Abduction and Induction: Essays on their relation and integration
PA Flach, AC Kakas
Springer Science & Business Media, 2000
2812000
Abduction in logic programming
M Denecker, A Kakas
Computational Logic: Logic Programming and Beyond: Essays in Honour of …, 2002
2422002
The acceptability semantics for logic programs
AC Kakas, P Mancarella, PM Dung
1551994
The KGP model of agency
AC Kakas, P Mancarella, F Sadri, K Stathis, F Toni
ECAI 16, 33, 2004
1372004
A simple declarative language for describing narratives with actions
A Kakas, R Miller
The Journal of Logic Programming 31 (1-3), 157-200, 1997
1351997
ACLP: Abductive constraint logic programming
AC Kakas, A Michael, C Mourlas
The Journal of Logic Programming 44 (1-3), 129-177, 2000
1312000
On the relation between Truth Maintenance and Abduction
AC Kakas
Proc. PRICAI'90, 438-443, 1990
1261990
Abductive and inductive reasoning: background and issues
PA Flach, AC Kakas
Abduction and induction: Essays on their relation and integration, 1-27, 2000
1182000
Application of abductive ILP to learning metabolic network inhibition from temporal data
A Tamaddoni-Nezhad, R Chaleil, A Kakas, S Muggleton
Machine Learning 64, 209-230, 2006
1152006
A-system: Problem solving through abduction
AC Kakas, B Van Nuffelen, M Denecker
Proceedings of the seventeenth international joint conference on artificial …, 2001
1062001
Logic programming without negation as failure
Y Dimopoulos, A Kakas
1021995
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
1011984
Adaptive agent negotiation via argumentation
A Kakas, P Moraitis
Proceedings of the fifth international joint conference on Autonomous agents …, 2006
1002006
A group theoretical approach to the canonical quantisation of gravity. II. Unitary representations of the canonical group
CJ Isham, AC Kakas
Classical and Quantum Gravity 1 (6), 633, 1984
741984
Learning non-monotonic logic programs: Learning exceptions
Y Dimopoulos, A Kakas
Machine Learning: ECML-95: 8th European Conference on Machine Learning …, 1995
731995
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20