JELIA 2000:
Malaga,
Spain
Manuel Ojeda-Aciego, Inman P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira (Eds.):
Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings.
Lecture Notes in Computer Science 1919 Springer 2000, ISBN 3-540-41131-3 BibTeX
@proceedings{DBLP:conf/jelia/2000,
editor = {Manuel Ojeda-Aciego and
Inman P. de Guzm{\'a}n and
Gerhard Brewka and
Lu\'{\i}s Moniz Pereira},
title = {Logics in Artificial Intelligence, European Workshop, JELIA 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
booktitle = {JELIA},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1919},
year = {2000},
isbn = {3-540-41131-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Talks
- Johan van Benthem:
`On Being Informed': Update Logics for Knowledge States.
1
Electronic Edition (Springer LINK) BibTeX
- Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits:
Considerations on Updates of Logic Programs.
2-20
Electronic Edition (Springer LINK) BibTeX
- Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt:
The KeY Approach: Integrating Object Oriented Design and Formal Verification.
21-36
Electronic Edition (Springer LINK) BibTeX
- Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev:
Semi-qualitative Reasoning about Distances: A Preliminary Report.
37-56
Electronic Edition (Springer LINK) BibTeX
Knowledge Representation
Reasoning about Actions
Belief Revision
Theorem Proving
Argumentation
Agents
Decidability and Complexity
Updates
Preferences
Copyright © Sat May 16 23:27:39 2009
by Michael Ley (ley@uni-trier.de)