10. KR 2006:
Lake District of the United Kingdom
Patrick Doherty, John Mylopoulos, Christopher A. Welty (Eds.):
Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006.
AAAI Press 2006, ISBN 978-1-57735-271-6 BibTeX
Invited Keynote Presentations
Philosophical and Psychological Issues
Description Logics
- Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter:
Updating Description Logic ABoxes.
46-56 BibTeX
- Ian Horrocks, Oliver Kutz, Ulrike Sattler:
The Even More Irresistible SROIQ.
57-67 BibTeX
- Riccardo Rosati:
DL+log: Tight Integration of Description Logics and Disjunctive Datalog.
68-78 BibTeX
- Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema:
Definitorially Complete Description Logics.
79-89 BibTeX
- Evren Sirin, Bernardo Cuenca Grau, Bijan Parsia:
From Wine to Water: Optimizing Description Logic Reasoning for Nominals.
90-99 BibTeX
- Scott Sanner, Sheila A. McIlraith:
An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic.
100-111 BibTeX
Argumentation
Preferences
Ontologies
Beliefs and Belief Revision
Complexity Analysis
- Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Data Complexity of Query Answering in Description Logics.
260-270 BibTeX
- Madalina Croitoru, Ernesto Compatangelo:
A Tree Decomposition Algorithm for Conceptual Graph Projection.
271-276 BibTeX
- Michael Wachter, Rolf Haenni:
Propositional DAGs: A New Graph-Based Language for Representing Boolean Functions.
277-285 BibTeX
- Sylvie Coste-Marquis, Hélène Fargier, Jérôme Lang, Daniel Le Berre, Pierre Marquis:
Representing Policies for Quantified Boolean Formulae.
286-297 BibTeX
Logic Programming
Space,
Time,
and Action
Knowledge Representation Logics
Knowledge Representation and Planning
Copyright © Sat May 16 23:28:17 2009
by Michael Ley (ley@uni-trier.de)