11. KR 2008:
Sydney,
NSW,
Australia
Gerhard Brewka, Jérôme Lang (Eds.):
Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008.
AAAI Press 2008, ISBN 978-1-57735-384-3 BibTeX
Invited Keynote Presentations
Agents and Multiagent Systems
- Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer:
Reasoning about Agent Deliberation.
16-26 BibTeX
- Ana Casali, Lluis Godo, Carles Sierra:
A Logical Framework to Represent and Reason about Graded Preferences and Intentions.
27-37 BibTeX
- Emiliano Lorini, Dominique Longin:
A Logical Account of Institutions: From Acceptances to Norms via Legislators.
38-48 BibTeX
- R. Ramanujam, Sunil Easaw Simon:
Dynamic Logic on Games with Structured Strategies.
49-58 BibTeX
- Gerardo I. Simari, Matthias Broecheler, V. S. Subrahmanian, Sarit Kraus:
Promises Kept, Promises Broken: An Axiomatic and Quantitative Treatment of Fulfillment.
59-69 BibTeX
Approximate Reasoning / Query Answering
Argumentation
Belief Change
Causal Reasoning
Description Logics / Ontologies
- Meghyn Bienvenu:
Complexity of Abduction in the EL Family of Lightweight Description Logics.
220-230 BibTeX
- Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Path-Based Identification Constraints in Description Logics.
231-241 BibTeX
- Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
View-Based Query Answering over Description Logic Ontologies.
242-251 BibTeX
- Birte Glimm, Ian Horrocks, Ulrike Sattler:
Unions of Conjunctive Queries in SHOQ.
252-262 BibTeX
- Torsten Hahmann, Michael Gruninger:
Model-Theoretic Characterization of Asher and Vieu's Ontology of Mereotopology.
263-273 BibTeX
- Yevgeny Kazakov:
RIQ and SROIQ Are Harder than SHOIQ.
274-284 BibTeX
- Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Can You Tell the Difference Between DL-Lite Ontologies?.
285-295 BibTeX
- Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler:
Representing Structured Objects using Description Graphs.
296-306 BibTeX
- Lutz Schröder, Dirk Pattinson:
How Many Toes Do I Have? Parthood and Number Restrictions in Description Logics.
307-317 BibTeX
- Nwe Ni Tun, Jin Song Dong:
Ontology Generation through the Fusion of Partial Reuse and Relation Extraction.
318-328 BibTeX
Inconsistency Handling
KR and Machine Learning
Logic Programming / Answer Sets
- Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio:
A Principled Framework for Modular Web Rule Bases and Its Semantics.
390-400 BibTeX
- Xiaoping Chen, Jianmin Ji, Fangzhen Lin:
Computing Loops with at Most One External Support Rule.
401-410 BibTeX
- James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran:
Belief Revision of Logic Programs under Answer Set Semantics.
411-421 BibTeX
- Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, Torsten Schaub:
Conflict-Driven Disjunctive Answer Set Solving.
422-432 BibTeX
- Wolfgang Faber, Hans Tompits, Stefan Woltran:
Notions of Strong Equivalence for Logic Programs with Ordered Disjunction.
433-443 BibTeX
- Joohyung Lee, Yunsong Meng:
On Loop Formulas with Variables.
444-453 BibTeX
- Fangzhen Lin, Yisong Wang:
Answer Set Programming with Functions.
454-465 BibTeX
Nonmonotonic Reasoning
Planning
Preferences
Reasoning about Action
Temporal and Spatial Reasoning
Copyright © Sat May 16 23:28:17 2009
by Michael Ley (ley@uni-trier.de)