Books and Chapters in Books

Books and Chapters in Books


2004

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.
Bibtex-entry
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.



2001

J. Dix, U. Furbach, I. Niemelae:
Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations
A. Voronkov and Robinson (editors)
Handbook of Automated Reasoning, Volume 2, Chapter 18, pages 1121--1234
Elsevier Science Press, 2001.
Get a preliminary version.
Bibtex-entry



2000

V.S. Subrahmanian, P. Bonatti, J. Dix, Th. Eiter, S. Kraus, F. Ozcan, R. Ross
Heterogenous Agent Systems
MIT-Press, June 2000. ISBN 0262194368. See
Advertisement.
See also Sample Version
Bibtex-entry



1999

J. Dix:
Cognitive Systems
John G. Webster (editor), Encyclopedia of Electrical and Electronics Engineering,
Volume 3 (of 24), pages 531--540.
John Wiley \& Sons, February 1999.
Get a preliminary version.
Bibtex-entry



1997

G. Brewka, J. Dix, K. Konolige:
Nonmonotonic Reasoning: An Overview.
Computational Studies in Logic, Language and Information, Lecture Notes 73.
Cambridge University Press, January 1997.
Have a look.
Bibtex-entry


1995

J. Dix:
Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview.
In A. Fuhrmann and Hans Rott (eds.), Logic, Action and Information---
Essays on Logic in Philosophy and Artificial Intelligence, pages 241--327,
De Gruyter, September 1995.
Get it.
Bibtex-entry

Books and Chapters in Books


Juergen Dix
Last modified: Thu Oct 4 11:04:02 CEST 2001