default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th KR 2006: Lake District of the United Kingdom
- Patrick Doherty, John Mylopoulos, Christopher A. Welty:
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
Invited Keynote Presentations
- Jon Doyle:
On Mechanization of Thought Processes (Extended Abstract). 2 - David Maier, Alon Y. Halevy, Michael J. Franklin:
Dataspaces: Co-existence with Heterogeneity. 3 - Alan L. Rector:
Users Are Always Right ... Even When They Are Wrong: Making Knowledge Representation Useful and Usable. 4
Philosophical and Psychological Issues
- Joseph Y. Halpern, Leandro Chaves Rêgo:
Reasoning about Knowledge of Unawareness. 6-13 - Lawrence E. Blume, David A. Easley, Joseph Y. Halpern:
Redoing the Foundations of Decision Theory. 14-24 - Pedro Cabalar, Sergei P. Odintsov, David Pearce:
Logical Foundations of Well-Founded Semantics. 25-35 - Brandon Bennett:
A Theory of Vague Adjectives Grounded in Relevant Observables. 36-45
Description Logics
- Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter:
Updating Description Logic ABoxes. 46-56 - Ian Horrocks, Oliver Kutz, Ulrike Sattler:
The Even More Irresistible SROIQ. 57-67 - Riccardo Rosati:
DL+log: Tight Integration of Description Logics and Disjunctive Datalog. 68-78 - Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema:
Definitorially Complete Description Logics. 79-89 - Evren Sirin, Bernardo Cuenca Grau, Bijan Parsia:
From Wine to Water: Optimizing Description Logic Reasoning for Nominals. 90-99 - Scott Sanner, Sheila A. McIlraith:
An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic. 100-111
Argumentation
- Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis:
Constrained Argumentation Frameworks. 112-122 - Philippe Besnard, Anthony Hunter:
Knowledgebase Compilation for Efficient Logical Argumentation. 123-133
Preferences
- Meghyn Bienvenu, Christian Fritz, Sheila A. McIlraith:
Planning with Qualitative Temporal Preferences. 134-144 - Yann Chevaleyre, Ulle Endriss, Jérôme Lang:
Expressive Power of Weighted Propositional Formulas for Cardinal Preference Modeling. 145-152 - Christian Fritz, Sheila A. McIlraith:
Decision-Theoretic GOLOG with Qualitative Preferences. 153-163 - Thomas Lukasiewicz, Jörg Schellhase:
Variable-Strength Conditional Preferences for Matchmaking in Description Logics. 164-174 - Didier Dubois, Hélène Fargier:
Qualitative Decision Making with Bipolar Information. 175-186
Ontologies
- Silvio Ghilardi, Carsten Lutz, Frank Wolter:
Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics. 187-197 - Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin, Aditya Kalyanpur:
Modularity and Web Ontologies. 198-209
Beliefs and Belief Revision
- James P. Delgrande, Didier Dubois, Jérôme Lang:
Iterated Revision as Prioritized Merging. 210-220 - Benoît Gaudou, Andreas Herzig, Dominique Longin:
Grounding and the Expression of Belief. 221-229 - Richard Booth, Thomas Andreas Meyer, Ka-Shu Wong:
A Bad Day Surfing Is Better than a Good Day Working: How to Revise a Total Preorder. 230-238 - Jonathan Ben-Naim:
Lack of Finite Characterizations for the Distance-Based Revision. 239-248 - Anthony Hunter, Sébastien Konieczny:
Shapley Inconsistency Values. 249-259
Complexity Analysis
- Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Data Complexity of Query Answering in Description Logics. 260-270 - Madalina Croitoru, Ernesto Compatangelo:
A Tree Decomposition Algorithm for Conceptual Graph Projection. 271-276 - Michael Wachter, Rolf Haenni:
Propositional DAGs: A New Graph-Based Language for Representing Boolean Functions. 277-285 - Sylvie Coste-Marquis, Hélène Fargier, Jérôme Lang, Daniel Le Berre, Pierre Marquis:
Representing Policies for Quantified Boolean Formulae. 286-297
Logic Programming
- Yin Chen, Fangzhen Lin, Yisong Wang, Mingyi Zhang:
First-Order Loop Formulas for Normal Logic Programs. 298-307 - Yan Zhang:
Computational Properties of Epistemic Logic Programs. 308-317 - Jens Claßen, Gerhard Lakemeyer:
Foundations for Knowledge-Based Programs using ES. 318-328 - Umberto Straccia:
Query Answering under the Any-World Assumption for Normal Logic Programs. 329-339 - Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran:
Replacements in Non-Ground Answer-Set Programming. 340-351
Space, Time, and Action
- David A. Randell, Mark Witkowski:
Abductive Visual Perception with Feature Clouds. 352-361 - Michael Thielscher, Thomas Witkowski:
The Features-and-Fluents Semantics for the Fluent Calculus. 362-370 - Victor Jauregui:
Semantical Considerations for a Logic of Actions: An Imperative Manifesto. 371-376 - Selim T. Erdogan, Vladimir Lifschitz:
Actions as Special Cases. 377-388
Knowledge Representation Logics
- Miroslaw Truszczynski:
Strong and Uniform Equivalence of Nonmonotonic Theories - An Algebraic Approach. 389-399 - Piero A. Bonatti, Carsten Lutz, Frank Wolter:
Description Logics with Circumscription. 400-410 - Thomas Ågotnes, Natasha Alechina:
Semantics for Dynamic Syntactic Epistemic Logics. 411-419 - Didier Dubois, Angelo Gilio, Gabriele Kern-Isberner:
Probabilistic Abduction without Priors. 420-430 - Anna Zamansky, Arnon Avron:
Non-Deterministic Semantics for First-Order Paraconsistent Logics. 431-439 - Florence Dupin de Saint-Cyr, Henri Prade:
Possibilistic Handling of Uncertain Default Rules with Applications to Persistence Modeling and Fuzzy Default Reasoning. 440-451
Knowledge Representation and Planning
- Blai Bonet, Hector Geffner:
Heuristics for Planning with Penalties and Rewards using Compiled Knowledge. 452-462 - Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque:
On the Limits of Planning over Belief States under Strict Uncertainty. 463-471 - Marco Ragni, Stefan Wölfl:
Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning. 472-480 - Tran Cao Son, Phan Huy Tu:
On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information. 481-491 - Jorge A. Baier, Sheila A. McIlraith:
On Planning with Programs that Sense. 492-502 - Robert Feldmann, Gerhard Brewka, Sandro Wenzel:
Planning with Prioritized Goals. 503-514
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.
last updated on 2025-11-17 22:41 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
