G. Brewka, J. Dix:
Knowledge Representation with Logic Program
Handbook of Philosophical Logic, 2nd edition, Volume 6,
Chapter 6, Oxford University Press, 2003.
Get a preliminary version.
Material was presented as a Tutorial given at ECAI '96 and
in modified form at
ESSLLI '97, August 1997, Aix-en-Provence.
Short version appeared in J. Dix, L.M. Pereira and T. Przymusinski
(eds.),
Logic Programming and Knowledge Representation,
pages 1--51,
LNCS 1471, Springer, July 1998.
Bibtex-entry
Edited Books and Journals
J. Dix, J.~Leite (eds.):
Cmputational Logic and Multi-Agent Systems, Post Conference Proceedings of CLIMA IV.
LNAI, Springer, Berlin. March 2004.
Bibtex-entry
M. Dastani, J. Dix, Amal El Fallah-Segrouchni (eds.):
Programming Multi Agent Systems, Post Conference Proceedings of ProMAS '03.
LNAI, Springer, Berlin. February 2004.
Bibtex-entry
J. Dix, H. Levesque,
M. Fisher, Leon Sterling (Guest Editors):
Logic Based Programming of Agent Systems
Special Issue of Annals of Mathematics and Artificial Intelligence
In preparation. To appear 2004.
Bibtex-entry
J. Dix, J. Leite,
Ken Satoh (Guest Editors):
Computational Logic and Multi-Agency
Special Issue of Annals of Mathematics and Artificial Intelligence
In preparation. To appear in 2004.
Visit Call for papers.
Bibtex-entry
Journal-Articles
Jurgen Dix, Sarit Kraus, VS Subrahmanian
Heterogenous Temporal Probabilistic Agents.
ACM Transactions of Computational Logic, to appear 2004.
Bibtex-entry
Jurgen Dix, Fatma Ozcan, VS Subrahmanian
Improving Performance of Heterogenous Agents.
Annals of Math and AI, to appear 2004.
Bibtex-entry
Conference-Articles
Under Submission
S.
J. Dix, U. Kuter, D. Nau:
Planning in Answer Set Programming
using Ordered Task Decomposition.
Get a preliminary version.
Juergen Dix