9. KR 2004: Whistler, Canada
Didier Dubois, Christopher A. Welty, Mary-Anne Williams (Eds.): Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004. AAAI Press 2004 ISBN 1-57735-199-1
Conditioning and Conditional Logics
- John Bell: Causation and Causal Conditionals. 2-11
- Joseph Y. Halpern: Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems. 12-22
- Thomas Lukasiewicz: Weak Nonmonotonic Probabilistic Logics. 23-33
- Gabriele Kern-Isberner, Jens Fisseler: Knowledge Discovery by Reversing Inductive Knowledge Representation. 34-44
Spatial Reasoning
- Antony Galton: Multidimensional Mereotopology. 45-54
- Stefan Schulz, Udo Hahn: Parthood as Spatial Inclusion - Evidence from biomedical Conceptualizations. 55-63
- Fiora Pirri: Indoor Environment Classification and Perceptual Matching. 73-84
Space and Time
Philosophical and Psychological Issues
- Marc Denecker: What's in a Model? Epistemological Analysis of Logic Programming. 106-113
- James Matthew Fielding, Jonathan Simon, Werner Ceusters, Barry Smith: Ontological Theory for Ontological Engineering: Biomedical Systems Information Integration. 114-120
- Joseph Y. Halpern: Intransitivity and Vagueness. 121-129
- Salem Benferhat, Jean-François Bonnefon, Rui Da Silva Neves: An Experimental Analysis of Possibilistic Default Reasoning. 130-140
Description Logics
- Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits: Combining Answer Set Programming with Description Logics for the Semantic Web. 141-151
- Ullrich Hustadt, Boris Motik, Ulrike Sattler: Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. 152-162
- Volker Haarslev, Ralf Möller: Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results. 163-174
Argumentation
- Leila Amgoud, Henri Prade: Reaching Agreement Through Argumentation: A Possibilistic Approach. 175-182
Compact Representations of Preference
- Sylvie Coste-Marquis, Jérôme Lang, Paolo Liberatore, Pierre Marquis: Expressive Power and Succinctness of Propositional Languages for Preference Representation. 203-212
- Gerhard Brewka: Complex Preferences for Answer Set Optimization. 213-223
Agents
- Ernest Davis: A First-Order Theory of Communicating First-Order Formulas. 235-245
- Bình Vu Trân, James Harland, Margaret Hamilton: Observation Expectation Reasoning in Agent Systems. 246-254
- Guido Boella, Leendert W. N. van der Torre: Regulative and Constitutive Norms in Normative Multiagent Systems. 255-266
Ontology
- Claudio Masolo, Laure Vieu, Emanuele Bottazzi, Carola Catenacci, Roberta Ferrario, Aldo Gangemi, Nicola Guarino: Social Roles and their Descriptions. 267-277
- Ken Kaneiwa, Riichiro Mizoguchi: Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity. 278-288
- Pawel Garbacz: The Four Dimensions of Artifacts. 289-299
- Carola Eschenbach: How to Interweave Knowledge about Object Structure and Concepts. 300-310
Belief Revision and Update
- Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Dongmo Zhang: Logical Foundations of Negotiation: Strategies and Preferences. 311-318
- Pavlos Peppas, Samir Chopra, Norman Y. Foo: Distance Semantics for Relevance-Sensitive Belief Revision. 319-328
- Isabelle Bloch, Ramón Pino Pérez, Carlos Uzcátegui: A Unified Treatment for Knowledge Dynamics. 329-337
- Boris Mailhé, Henri Prade: Updating of a Possibilistic Knowledge Base by Crisp or Fuzzy Transition Rules. 338-347
Merging Belief Bases
- Guilin Qi, Weiru Liu, David H. Glass: A Split-Combination Method for Merging Inconsistent Possibilistic Knowledge Bases. 348-356
Complexity Analysis
- Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran: Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. 377-387
- Marco Cadoli, Toni Mancini: Automated Reformulation of Specifications by Safe Delay of Constraints. 388-398
- Perry Groot, Annette ten Teije, Frank van Harmelen: Towards a Structured Analysis of Approximate Problem Solving: A Case Study in Classification. 399-406
- Jean-François Baget: Improving the Forward Chaining Algorithm for Conceptual Graphs Rules. 407-414
- Gregory M. Provan: Inferential Complexity Control for Model-Based Abduction. 415-426
Logic Programming
- Alexander Bochman: A Causal Logic of Logic Programming. 427-437
- Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran: On Eliminating Disjunctions in Stable Logic Programming. 447-458
Query Processing for Ontologies
- Patrick Doherty, Andrzej Szalas, Witold Lukaszewicz: Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities. 459-468
- Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: What to Ask to a Peer: Ontolgoy-based Query Reformulation. 469-478
- Clinton Smyth, David Poole: Qualitative Probabilistic Matching with Hierarchical Descriptions. 479-487
Real Knowledge Representation Systems
- Ken Barker, Vinay K. Chaudhri, Shaw Yi Chaw, Peter Clark, James Fan, David J. Israel, Sunil Mishra, Bruce W. Porter, Pedro Romero, Dan Tecuci, Peter Z. Yeh: A Question-Answering System for AP Chemistry: Assessing KR&R Technologies. 488-497
- Youngja Park: GlossOnt: A Concept-focused Ontology Building Tool. 498-506
- Noah S. Friedland, Paul G. Allen, Michael J. Witbrock, Gavin Matthews, Nancy Salay, Pierluigi Miraglia, Jürgen Angele, Steffen Staab, David J. Israel, Vinay K. Chaudhri, Bruce W. Porter, Ken Barker, Peter Clark: Towards a Quantitative, Platform-Independent Analysis of Knowledge Systems. 507-515
Reasoning about Action
- Fangzhen Lin: Discovering State Invariants. 536-544
- Nam Tran, Chitta Baral: Reasoning about Triggered Actions in AnsProlog and Its Application to Molecular Interactions in Cells. 554-564
Knowledge Representation Logics
- Stuart C. Shapiro: A Logic of Arbitrary and Indefinite Objects. 565-575
- Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque: A Logic of Limited Belief for Reasoning with Disjunctive Information. 587-597
Knowledge Representation and Planning
- Ronald P. A. Petrick, Fahiem Bacchus: Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing. 613-622
- Yves Martin, Iman Narasamdya, Michael Thielscher: Knowledge of Other Agents and Communicative Actions in the Fluent Calculus. 623-633
- Alfredo Gabaldon: Precondition Control and the Progression Algorithm. 634-643
- Jérôme Lang: A Preference-Based Interpretation of Other Agents' Actions. 644-653
- Anthony Barrett: From Hybrid Systems to Universal Plans Via Domain Compilation. 654-661
- Hector Geffner: Planning Graphs and Knowledge Compilation. 662-672
- James P. Delgrande, Torsten Schaub, Hans Tompits: Domain-Specific Preferences for Causal Reasoning and Planning. 673-682
- Hanna Pasula, Luke S. Zettlemoyer, Leslie Pack Kaelbling: Learning Probabilistic Relational Planning Rules. 683-691
- Weixiong Zhang, Xiaotao Zhang: An Improved Integer Local Search for Complex Scheduling Problems. 692-700
- Jussi Rintanen: Phase Transitions in Classical Planning: An Experimental Study. 710-719
- Chitta Baral, Thomas Eiter: A Polynomial-Time Algorithm for Constructing k-Maintainable Policies. 720-730
Invited Keynote Presentations
- Patrick Doherty: Advanced Research with Autonomous Unmanned Aerial Vehicles. 731-732
- Peter F. Patel-Schneider: What Is OWL (and Why Should I Care)? 735-737
Great Moments in Knowledge Representation Series
- John McCarthy: Historical Remarks on Nonmonotonic Reasoning, Especially Circumscription. 738-739
- William A. Woods: Meaning and Links: A Semantic Odyssey. 740-742
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team