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 
Invited Keynote Presentations
Agents and Multiagent Systems
- Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer:
Reasoning about Agent Deliberation.
16-26
- Ana Casali, Lluis Godo, Carles Sierra:
A Logical Framework to Represent and Reason about Graded Preferences and Intentions.
27-37
- Emiliano Lorini, Dominique Longin:
A Logical Account of Institutions: From Acceptances to Norms via Legislators.
38-48
- R. Ramanujam, Sunil Easaw Simon:
Dynamic Logic on Games with Structured Strategies.
49-58
- Gerardo I. Simari, Matthias Broecheler, V. S. Subrahmanian, Sarit Kraus:
Promises Kept, Promises Broken: An Axiomatic and Quantitative Treatment of Fulfillment.
59-69
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
- Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Path-Based Identification Constraints in Description Logics.
231-241
- Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
View-Based Query Answering over Description Logic Ontologies.
242-251
- Birte Glimm, Ian Horrocks, Ulrike Sattler:
Unions of Conjunctive Queries in SHOQ.
252-262
- Torsten Hahmann, Michael Gruninger:
Model-Theoretic Characterization of Asher and Vieu's Ontology of Mereotopology.
263-273
- Yevgeny Kazakov:
RIQ and SROIQ Are Harder than SHOIQ.
274-284
- Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Can You Tell the Difference Between DL-Lite Ontologies?.
285-295
- Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler:
Representing Structured Objects using Description Graphs.
296-306
- Lutz Schröder, Dirk Pattinson:
How Many Toes Do I Have? Parthood and Number Restrictions in Description Logics.
307-317
- Nwe Ni Tun, Jin Song Dong:
Ontology Generation through the Fusion of Partial Reuse and Relation Extraction.
318-328
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
- Xiaoping Chen, Jianmin Ji, Fangzhen Lin:
Computing Loops with at Most One External Support Rule.
401-410
- James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran:
Belief Revision of Logic Programs under Answer Set Semantics.
411-421
- Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, Torsten Schaub:
Conflict-Driven Disjunctive Answer Set Solving.
422-432
- Wolfgang Faber, Hans Tompits, Stefan Woltran:
Notions of Strong Equivalence for Logic Programs with Ordered Disjunction.
433-443
- Joohyung Lee, Yunsong Meng:
On Loop Formulas with Variables.
444-453
- Fangzhen Lin, Yisong Wang:
Answer Set Programming with Functions.
454-465
Nonmonotonic Reasoning
Planning
Preferences
Reasoning about Action
Temporal and Spatial Reasoning
Copyright © Sun Nov 8 02:49:32 2009
by Michael Ley (ley@uni-trier.de)
