- Abductive Logic Programming
(Back)
"Generalised Stable Models: A Semantics for Abduction"
(with P. Mancarella) in Proceedings of the ninth European Conference
on Artificial Intelligence, ECAI-90, Stockholm, Sweden, (ed. L.C.
Aiello) Pitman Publishing, pp. 385-391, (1990). |
"On the relation between Truth Maintenance and Abduction"
(with P. Mancarella) in Proceedings of the first Pacific Rim International
Conference on Artificial Intelligence, PRICAI-90, Nagoya, Japan (ed.
T. Fukumura) Ohmsha Ltd.(1990) 438-443. Also in Proceedings of the third
International Workshop on Non-Monotonic Reasoning, California, USA, (1990)
158-176. |
"Database Updates through Abduction" (with
P. Mancarella) in Proceedings of the 16th International Conference on Very
Large Databases, VLDB-90, Brisbane, Australia, (eds. D. McLeod, R. Sacks-Davis
and H. Schek) Morgan Kaufmann, pp. 650-661, (1990). |
"Abductive Logic Programming", (with R.A.
Kowalski and F. Toni) Journal of Logic and Computation, 2 no 6, 719-770,
(1993). |
"Parallel Abduction in Logic Programming",
(with G.Papadopoulos), in Proceedings of the first International Symposium
on Parallel Symbolic Computation, PASCO-94, pp. 214-224, World Scientific
Press, 1994. |
"Integrating Abductive and Constraint Logic Programming",
(with A. Michael), in Proceedings of the Twelfth International Conference
on Logic Programming, ICLP-95, pp. 399-417, MIT Press, 1995. |
"ACLP: Flexible Solutions to Complex Problems"
(with C. Mourlas) Fourth International Conference on Logic Programming
and Non-monotonic Reasoning (LPNMR97), Volume 1265, Springer Verlag, 1997,
pp. 387-399. (ps) |
"The role of Abduction in Logic Programming",
(with R.A. Kowalski and F. Toni), in the Handbook in Artificial Intelligence
and Logic Programming, Volume 5, (eds. D. Gabbay, C. Hogger and J. Robinson),
pp. 235-324, 1998. (ps) |
"Air-Crew Scheduling through Abduction"
(with A. Michael), In proceedings of IEA/AIE-99, pp. 600-612, 1999.
(ps) |
"New Trends in Constraints"
(with K.R. Apt, E. Monfroy and F. Rossi), LNAI Vol 1865, Springer-Verlag,
2000. |
"Abductive Constraint Logic Programming"
(with A. Michael and C. Mourlas) to appear in Journal of Logic Programming,
Special Issue on Abductive Logic Programming, (49 pages) August, 2000. |
"ACLP: Integrating Abduction and Constraint Solving"
in the proceedings of NMR2000, April, 2000. |
"Abductive Logic Programming: Editorial Forward"
(with M. Denecker), special issue of Journal of Logic Programming, pp.
1-5, to appear August, 2000. |
"Abductive Logic Programming"
(with
M. Denecker), Special issue of Journal of Logic Programming, JLP,
Vol. 44(1-3), Elsevier Science, 2000 |
"Abductive Logic Programming: Editors Introduction"
(with M. Deneker), Journal of Logic Programming,
Vol. 44(1-3), pp. 1-4, Elsevier, 2000 |
"ACLP:
Abductive Constraint Logic Programming, Journal of Logic Programming"
(with
A. Michael and C. Mourlas)
, Vol. 44(1-3), pp. 129-177, Elsevier, 2000 |
"Abductive Concept Learning, New Generation
Computing" (with
F. Riguzzi), Vol. 18, pp. 243-294, Ohmsha and Springer-Verlag, 2000 |
"ACLP:
Integrating Abduction and Constraint Solving"
in the proceedings of NMR2000,
http://xxx.lanl.gov/abs/cs.AI/0003020, 2000 |
"A-System:
Programming with Abduction"
(with
B. Van Nuffelen), in the proceedings of LPNMR-01, LNAI Vol. 2173,
pp. 393-396, Springer Verlag, 2001 |
"A-System:
Declarative Problem Solving through Abduction"
(with B. Van Nuffelen and M. Denecker)
, in the
proceedings of IJCAI2001, pp. 591-597, Morgan Kaufmann, 2001 |
"An Abductive-based Scheduler for Air-crew Assignment"
(with A. Michael), Journal of Applied Artificial Intelligence, Vol. 15 (1-3),
pp. 333-360, Taylor & Francis, 2001 |
"Abduction in Logic Programming, in Computational Logic: Logic Programming and
Beyond" (with M. Denecker), LNAI Vol, 2407, pp. 402-437, Springer Verlag, 2002 |
- Argumentation (Back)
"Stable Theories for Logic Programs" (with
P.Mancarella), in Proceedings of the 1991 International Logic Programming
Symposium, San Diego, California, USA, pp. 85-100, (1991). |
"Negation as Failure Revisited", (with Dung,
P.M.and Mancarella, P.) Tech. Rep., Dipartimento di Informatica, Universit\`a
di Pisa, 1992. |
"Default Reasoning via Negation as Failure"
in Lecture Notes in Artificial Intelligence Vol. 810, pp. 160-179, Springer
Verlag, (1994). |
"Acceptability semantics for Logic Programs",
(with P. Mancarella and P.M. Dung) in Proceedings of the 11th International
Conference on Logic Programming, ICLP- 94, pp. 504-519, Santa Margarita
Ligure, Italy, MIT Press, (1994). |
"Logic Programming without Negation as Failure",
(with Y. Dimopoulos), to appear in Proceedings of the Fifth International
Logic Programming Symposium, ILPS-95, pp. 369-384, MIT Press, 1995. |
"Computing Argumentation in Logic Programming"
(with F. Toni), Journal of Logic and Computation, Vol. 9, No 4, pp. 515-562,
1999. |
"An argumentation framework for Reasoning about
actions and change" (with R. Miller and F. Toni), in Proceedings
of LPNMR 99, Texas, USA, pp. 75-91, 1999. |
"E-RES: A system
for reasoning about actions, events and observations) (with R.S. Miller
and F. Toni), in the proceedings of
NMR2000, http://xxx.lanl.gov/abs/cs.AI/0003034 , 2000. |
"Argumentation with
Abduction"
(with
N. Demetriou), to appear in the Proceedings of the 4th Panhellenic Symposium on
Logic, Thessaloniki, July 2003 |
"Argumentative Deliberation for Autonomous Agents", (with P. Moraitis) in Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS-03, pp.883-890, ACM Press, 2003 (ps) |
"Layered strategies and protocols for argumentation-based agent interaction" (with N. Maudet, P. Moraitis) in Proceedings of the First International Workshop on Argumentation in Multi-Agent Systems (ArgMA04), Springer LNAI, Vol 3360, pp. 66-81, 2004. |
“Agent Planning, Negotiation, and Control of Operation” (with Paolo Torroni and Neophytos Demetriou), in proceedings of the 16th European Conference on Artificial Intelligence, ECAI 2004, pp. 28-32, IOS Press, 2004. |
"Modular Representation of Agent Interaction Rules through Argumentation" (with N. Maudet, P. Moraitis), to appear in the Journal of Autonomous Agents Multi-Agent Systems, Springer, 2005. |
- Abduction and Induction
(Back)
"Abduction and Inductive Learning", (with
Y. Dimopoulos), in Advances In Inductive Logic Programming, pp. 144-172,
(ed L. De Raedt) IOS Press 1996. |
"Abductive Concept Learning" (with F. Riguzzi)
to appear in the journal of New Generation Computing (52 pages), May ,
2000. |
"Abductive and Inductive Reasoning: Essays on their
Relation and Integration" (editor with P. Flach), Kluwer Academic
Publishers, ISBN 0-7923-6250-0, 2000. |
"Abduction and Induction: Backgound and Issues"
(with P. Flach) in Abductive and Inductive Reasoning: Essays on their Relation
and Integration (eds A.C. Kakas and P. Flach), Kluwer Academic Publishers,
May 2000. |
"Abduction and Induction: Essays on their Relation and
Integration" (with P.A. Flach) , Kluwer Academic Press, ISBN 0-7923-6250-0, (2000). |
"Abductive
and Inductive Reasoning: Background and Issues" (with P.A. Flach), in
Abduction and Induction: Essays on their Relation and Integration, pp. 1-27,
Kluwer Academic Press, 2000 |
"On the Relation between Abduction and Inductive Reasoning"
(with
P.A. Flach), in the Handbook of
Defeasible Reasoning and Uncertainty Management Systems, Vol. 4, pp. 1-33,
Kluwer Academic Press, 2000 |
"The
Cycle of Abductive and Inductive Knowledge Development"
(with P.A. Flach) , in Proceedings of
Machine Intelligence 17, MI-17, pp. 17-25, July 2000 |
- Autonomous Agents(Back)
"Argumentative Agent Deliberation, Roles and
Context" (with P. Moraitis), Electronic Notes in Theoretical Computer
Science Vol. 70, No 5, 16 pages, 2002 (also in Proceedings of CLIMA02, pp.
35-49, 2002). |
"Argumentative Deliberation for Autonomous
Agents" (with P. Moraitis), in Proceedings of the ECAI02 workshop on
Computational Models of Natural Argumentation, pp. 65-74, 2002 |
"Argumentative Deliberation for Autonomous
Agents", (with P. Moraitis) in Proceedings of the 2nd International Joint
Conference on Autonomous Agents and Multi-Agent Systems, AAMAS-03, pp.883-890, ACM Press, 2003
(ps) |
"Agents Negotiating via Argumentation" (with
P. Moraitis), submitted to the Journal of Multi-Agent Systems, 2003 |
"A
logic-based model for computees" (with P. Mancarella, F. Sadri, K. Stathis
and F. Toni), Deliverable D4,
SOCS project, IST-2001-32530, 2003 |
"Crafting the Mind of PROSOCS Agents" (with A. Bracciali, N. Demetriou, U. Endriss, W. Lu, K. Stathis), to appear in the Journal of Applied Artificial Intelligence, Taylor & Francis, 2004. |
"Modular Representation of Agent Interaction Rules through Argumentation" (with N. Maudet, P. Moraitis), to appear in the Journal of Autonomous Agents Multi-Agent Systems, Springer, 2005. |
"Layered strategies and protocols for argumentation-based agent interaction" (with N. Maudet, P. Moraitis) in Proceedings of the First International Workshop on Argumentation in Multi-Agent Systems (ArgMA04), Springer LNAI, Vol 3360, pp. 66-81, 2004.
|
"Flexible agent strategies and societal communication protocols" (with Nicolas Maudet, Pavlos Moraitis), in Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2004), pp. 1434-1435, ACM Press, 2004. |
"PROSOCS: a platform for programming software agents in computational logic" (with Kostas Stathis , Wenjin Lu , Neophytos Demetriou, Ulle Endriss and Andrea Bracciali), Proceedings of the 17th European Meeting on Cybernetics and Systems Research, Vol. II, Symposium ``From Agent Theory to Agent Implementation'' (AT2AI-4), pp. 523—528, 2004. |
"Declarative Agent Control" (with P. Mancarella, F.Sadri, K.Stathis, F. Toni), in Proceedings of Computational Logic in Multi-Agent Systems, CLIMA V, pp. 212-226, 2004.
|
“Agent Planning, Negotiation, and Control of Operation” (with Paolo Torroni and Neophytos Demetriou), in proceedings of the 16th European Conference on Artificial Intelligence, ECAI 2004, pp. 28-32, IOS Press, 2004. |
"The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation" (with A. Bracciali, N. Demetriou, U. Endriss, W. Lu, P. Mancarella, F. Sadri, K. Stathis, G. Terreni, and F. Toni), Springer LNAI, Vol 3267, pp. 340-367, 2005. |
- Inductive Logic Programming
(Back)
"Learning Non-Monotonic Logic Programs: Learning
Exceptions" (with Y. Dimopoulos), Lecture Notes in Artificial Intelligence,
Volume 912, pp. 122-138, Springer-Verlag, 1955. |
"Integrating Explanatory and Descriptive Induction
in ILP" (with S. Dzeroski and Y. Dimopoulos), in Proceedings of
the 15th International Joint Conference on Artificial Intelligence (IJCAI97),
Nagoya, Japan, 1997, pp. 411- 418. |
"Learning with Abduction" (with F. Riguzzi)
, Seventh International Workshop on Inductive Logic Programming (ILP97),
Lecture Notes in Artificial Intelligence, Volume 1297, Springer Verlag,
1997, pp. 181-189. |
"Learning Multiple Predicates'' (with E.
Lamma and F. Riguzzi), Proceedings of the 8th International Conference
on Artificial Intelligence:Methodology, Systems and Applications (AIMSA98),
LNAI 1480, pp. 303-316, Springer Verlag, 1998. |
"Abductive Concept Learning" (with F. Riguzzi)
to appear in the journal of New Generation Computing (52 pages), May ,
2000. |
- Reasoning About Action
and Change (Back)
"A Simple Declarative Language for Describing Narratives
with Actions", (with R. Miller) Journal of Logic Programming, Volume
31(1-3) Special Issue on Reasoning about Actions and Change, Elsevier Science,
1997, pp. 157-200. |
"Reasoning about Actions, Narratives and Ramifications",
(with R. Miller), Electronic Transcactions in AI, Vol 1, No 4, pp. 39-72,
1998. |
"An argumentation framework for Reasoning about
actions and change" (with R. Miller and F. Toni), in Proceedings
of LPNMR 99, Texas, USA, pp. 75-91, 1999. |
"Planning with Incomplete Information" (with
R. Miller and F. Toni), to appear in the proceedings of NMR2000, April,
2000. |
"E-RES: A system for reasoning about actions, events
and observations" (with R. Miller and F. Toni), to appear in the
proceedings of NMR2000, April, 2000. |
"E-RES: Reasoning about Actions, Events and Observations"
(with R.S. Miller
and F. Toni) ,
in the proceedings of LPNMR2001, LNAI Vol. 2173, pp. 254-266, Springer Verlag,
2001. |
"Modeling Complex
Domains of Reasoning about Action and Change" (with L. Michael), in the Proceedings of the 9th
International Workshop on Non-Monotonic Reasoning, NMR'2002, pp. 380-388,
Toulouse, France, 2002 (pdf) |
"On the Qualification Problem and Elaboration Tolerance" (with L.
Michael), in Proceedings of Common Sense 2003, Stanford, USA, 2003 |
"Reasoning
about Actions and Change in Answer Set Programming"
(with Y.
Dimopoulos
and M. Loizos), to appear in LPNMR03.
|
"Reasoning about Actions and Change in Answer Set Programming" (with Y. Dimopoulos, L. Michael). Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, pg. 61-73, LNCS 2923, Springer 2004. |
"Frame consistency: Reasoning with causal explanations" (with A. Bracciali), in the Proceedings of the 10th International Workshop on Non-Monotonic Reasoning, NMR'2004, pp. 79-87, Whistler BC, Canada, 2004. |
"Answer Set Programming Algorithms and Complexity for Reasoning about Actions and Change" (with Y. Dimopoulos, L. Michael), to appear in the Journal of Theory and Practice of Logic Programming, Cambridge University Press, 2005. |
- Intelligent Information
Integration (Back)
"Information Integration and Computational Logic"
(with
Y. Dimopoulos), Computational Logic, special issue on the Future Technological
RoadMap of Compulog-Net, 2000. |
"Cultural Journey in the Information Society",
(with G. Fakas) in proceedings of MELECON 2000, May 2000. |
"New Trends in Constraints"
(with
K.R. Apt, E. Monfroy and F. Rossi), LNAI Vol 1865, Springer-Verlag, 2000 |
"Planning with
Incomplete Information" (with R.S. Miller and F. Toni), in the proceedings of NMR2000, http://xxx.lanl.gov/abs/cs.AI/0003049,
2000 |
"ACM Transactions on Computational Logic
TOC"
(with
K.R. Apt, and F. Sadri), Volume 2, Number 4. Special issue
dedicated to R.A. Kowalski, ACM Press, 2001 |
"Computational Logic: Logic Programming and Beyond"
(with A.C. F. Sadri), LNAI Vol, 2407 & 2408,
Springer Verlag, 2002 |
"Advances
in Informatics" (with
Y. Manolopoulos, S. Evripidou), LNCS Volume 2563, Springer Verlarg, 2003 |
"Information
Integration and Computational Logic"
(with Y. Dimopoulos)
, Computational Logic, Special Issue: Technological Roadmap for CL, pp. 105-135,
2001. (Submitted also to ACM Computing Surveys). |
"Information Integration and Computational Logic" (with Y.
Dimopoulos)
submitted to ACM Computing
Surveys, Year |
"Electronic Roads: Intelligent Navigation Through Multi-Contextual Information, Knowledge and Information Systems"(withG. Fakas, A.C. Kakas and C.N. Schizas), International Journal, Springer, Volume 6, Number 1, pp. 103-124, 2003. |
Computational Bioscience (Back)
"Modelling inhibition in metabolic pathways through Abduction and Induction" (with Alireza Tamaddoni-Nezhad, Stephen Muggleton and Florencio Pazos) in Proceeding of ILP04, LNAI Vol. 3194, pp. 305-323, 2004. |
|
- Theoretical Physics (1984-89)(Back)
"A Group Theoretical Approach to Canonical Quantization
of Gravity I. Construction of the Canonical Group" (with C.J. Isham),
Classical and Quantum Gravity Vol. 1 (1984) 621-632. |
"A Group Theoretical Approach to Canonical Quantization
of Gravity II. Unitary Representations of the Canonical Group"
(with C.J. Isham), Classical and Quantum Gravity Vol. 1 (1984) 633-650. |
"Quantum Mechanics of Non-Linear Systems"
(with I. Bakas), Journal of Physics A: Mathematics General Vol. 20 (1987)
3713-3725. |
"Virasoro Algebra Anomalies and Deformations"
(with I. Bakas), Classical and Quantum Gravity Vol. 4 (1987) L67-L70. |
"Anomalous Chiral Current Commutators and Divergence"
(with G.V. Dunne), Physics Letters Vol. B211 (1988) 445-449. |
"Spin-4 Extended Conformal Algebras" Physics
Letters Vol. 215 (1988) 343-348. |
"Extended Conformal Symmetries and U(1) Currents"
(with I. Bakas), Journal of Physics A: Mathematics General Vol. A22 (1989)
1451-1458. |
"Matter Fields in the Strong Coupling Limit of Quantum
Gravity" Classical and Quantum Gravity Vol. 6 (1989) 1463-1472. |
|
|
|
Antonis C. Kakas
All rights reserved
|
|