![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
11th KR 2008: Sydney, NSW, Australia
- Gerhard Brewka, Jérôme Lang:
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
- Ronen I. Brafman:
Preferences, Planning and Control. 2-5 - Joseph Y. Halpern:
Beyond Nash Equilibrium: Solution Concepts for the 21st Century. 6-15
Agents and Multiagent Systems
- Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer:
Reasoning about Agent Deliberation. 16-26 - Ana Casali, Lluís 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 - Ramaswamy 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
- Andrea Calì, Georg Gottlob, Michael Kifer:
Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. 70-80 - Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe:
Accuracy and Efficiency of Fixpoint Methods for Approximate Query Answering in Locally Complete Databases. 81-91 - Timothy L. Hinrichs, Michael R. Genesereth:
Injecting the How into the What: Investigating a Finite Classical Logic. 92-192 - Johan Wittocx, Maarten Mariën, Marc Denecker:
Approximate Reasoning in First-Order Logic Theories. 103-112
Argumentation
- Leila Amgoud, Yannis Dimopoulos, Pavlos Moraitis:
Making Decisions through Preference-Based Argumentation. 113-123 - Claudette Cayrol, Florence Dupin de Saint-Cyr, Marie-Christine Lagasquie-Schiex:
Revision of an Argumentation System. 124-134 - Diego C. Martínez, Alejandro Javier García, Guillermo Ricardo Simari:
An Abstract Argumentation Framework with Varied-Strength Attacks. 135-144
Belief Change
- Richard Booth, Thomas Andreas Meyer:
Equilibria in Social Belief Removal. 145-155 - James P. Delgrande:
Horn Clause Belief Change: Contraction Functions. 156-165 - Gabriele Kern-Isberner:
Linking Iterated Belief Change Operations to Nonmonotonic Reasoning. 166-176 - Sébastien Konieczny, Ramón Pino Pérez:
Improvement Operators. 177-187
Causal Reasoning
- Florence Dupin de Saint-Cyr:
Scenario Update Applied to Causal Reasoning. 188-197 - Joseph Y. Halpern:
Defaults and Normality in Causal Structures. 198-208 - Ron van der Meyden:
On Notions of Causality and Distributed Knowledge. 209-219
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
- Arnold Binas, Sheila A. McIlraith:
Peer-to-Peer Query Answering with Inconsistent Knowledge. 329-339 - Nathalie Chetcuti-Sperandio, Sylvain Lagrue:
How to Choose Weightings to Avoid Collisions in a Restricted Penalty Logic. 340-347 - Patricia Everaere, Sébastien Konieczny, Pierre Marquis:
Conflict-Based Merging Operators. 348-357 - Anthony Hunter, Sébastien Konieczny:
Measuring Inconsistency through Minimal Inconsistent Sets. 358-366 - Maria Vanina Martinez, Francesco Parisi, Andrea Pugliese, Gerardo I. Simari, V. S. Subrahmanian:
Inconsistency Management Policies. 367-377
KR and Machine Learning
- Loizos Michael, Leslie G. Valiant:
A First Experimental Demonstration of Massive Knowledge Infusion. 378-389
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
- Alexander Bochman:
Default Theory of Defeasible Entailment. 466-475 - Katarina Britz, Johannes Heidema, Thomas Andreas Meyer:
Semantic Preferential Subsumption. 476-484 - Jos de Bruijn, Thomas Eiter, Hans Tompits:
Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic. 485-495 - Espen H. Lian, Arild Waaler:
Computing Default Extensions by Reductions on OR. 496-506 - Safa Yahi, Salem Benferhat, Sylvain Lagrue, Mariette Sérayet, Odile Papini:
A Lexicographic Inference for Partially Preordered Belief Bases. 507-517
Planning
- Patrick Eyerich, Michael Brenner, Bernhard Nebel:
On the Complexity of Planning Operator Subsumption. 518-527 - Martin Magnusson, Patrick Doherty:
Deductive Planning with Inductive Loops. 528-534 - Jussi Rintanen:
Planning Graphs and Propositional Clause-Learning. 535-543 - Gabriele Röger, Malte Helmert, Bernhard Nebel:
On the Relative Expressiveness of ADL and Golog: The Last Piece in the Puzzle. 544-550
Preferences
- Ronen I. Brafman:
Relational Preference Rules for Control. 552-559 - Patrick Doherty, Andrzej Szalas:
Reasoning with Qualitative Preferences and Cardinalities using Generalized Circumscription. 560-570 - Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Dealing with Incomplete Agents' Preferences and an Uncertain Agenda in Group Decision Making via Sequential Majority Voting. 571-578 - Joel Uckelman, Ulle Endriss:
Preference Modeling by Weighted Goals with Max Aggregation. 579-588
Reasoning about Action
- Jens Claßen, Gerhard Lakemeyer:
A Logic for Non-Terminating Golog Programs. 589-599 - Christian Fritz, Jorge A. Baier, Sheila A. McIlraith:
ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond. 600-610 - Ryan F. Kelly, Adrian R. Pearce:
Complex Epistemic Modalities in the Situation Calculus. 611-620 - Fangzhen Lin:
Proving Goal Achievability. 621-628 - Ronald P. A. Petrick:
Cartesian Situations and Knowledge Decomposition in the Situation Calculus. 629-639 - Sebastian Sardiña, Fabio Patrizi, Giuseppe De Giacomo:
Behavior Composition in the Presence of Failure. 640-650 - Ivan José Varzinczak:
Action Theory Erasure and Minimal Change. 651-661 - Stavros Vassos, Gerhard Lakemeyer, Hector J. Levesque:
First-Order Strong Progression for Local-Effect Basic Action Theories. 662-672
Temporal and Spatial Reasoning
- Alessandro Artale, Nicola Guarino, C. Maria Keet:
Formalising Temporal Constraints on Part-Whole Relations. 673-683 - Franz Baader, Silvio Ghilardi, Carsten Lutz:
LTL over Description Logic Axioms. 684-694 - Philippe Balbiani:
Time Representation and Temporal Reasoning from the Perspective of Non-Standard Analysis. 695-704 - Francesco Belardinelli
, Alessio Lomuscio:
A Complete First-Order Logic of Knowledge and Time. 705-714 - Jochen Renz, Jason Jingshi Li:
Automated Complexity Proofs for Qualitative Spatial and Temporal Calculi. 715-723 - David Toman, Grant E. Weddell:
Identifying Objects Over Time with Description Logics. 724-732
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.