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 BibTeX

Conditioning and Conditional Logics

John Bell: Causation and Causal Conditionals. 2-11 BibTeX
Joseph Y. Halpern: Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems. 12-22 BibTeX
Thomas Lukasiewicz: Weak Nonmonotonic Probabilistic Logics. 23-33 BibTeX
Gabriele Kern-Isberner, Jens Fisseler: Knowledge Discovery by Reversing Inductive Knowledge Representation. 34-44 BibTeX

Spatial Reasoning

Antony Galton: Multidimensional Mereotopology. 45-54 BibTeX
Stefan Schulz, Udo Hahn: Parthood as Spatial Inclusion - Evidence from biomedical Conceptualizations. 55-63 BibTeX
Murray Shanahan, David A. Randell: A Logic-Based Formulation of Active Visual Perception. 64-72 BibTeX
Fiora Pirri: Indoor Environment Classification and Perceptual Matching. 73-84 BibTeX

Space and Time

Fusun Yaman, Dana S. Nau, V. S. Subrahmanian: A Logic of Motion. 85-94 BibTeX
Jean-François Condotta, Gérard Ligozat: Axiomatizing the Cyclic Interval Calculus. 95-105 BibTeX

Philosophical and Psychological Issues

Marc Denecker: What's in a Model? Epistemological Analysis of Logic Programming. 106-113 BibTeX
James Matthew Fielding, Jonathan Simon, Werner Ceusters, Barry Smith: Ontological Theory for Ontological Engineering: Biomedical Systems Information Integration. 114-120 BibTeX
Joseph Y. Halpern: Intransitivity and Vagueness. 121-129 BibTeX
Salem Benferhat, Jean-François Bonnefon, Rui Da Silva Neves: An Experimental Analysis of Possibilistic Default Reasoning. 130-140 BibTeX

Description Logics

Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits: Combining Answer Set Programming with Description Logics for the Semantic Web. 141-151 BibTeX
Ullrich Hustadt, Boris Motik, Ulrike Sattler: Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. 152-162 BibTeX
Volker Haarslev, Ralf Möller: Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results. 163-174 BibTeX

Argumentation

Leila Amgoud, Henri Prade: Reaching Agreement Through Argumentation: A Possibilistic Approach. 175-182 BibTeX
Philippe Besnard, Sylvie Doutre: Characterization of Semantics for Argument Systems. 183-193 BibTeX
Leila Amgoud, Claudette Cayrol: On the Use of an ATMS for Handling Conflicting Desires. 194-202 BibTeX

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 BibTeX
Gerhard Brewka: Complex Preferences for Answer Set Optimization. 213-223 BibTeX
Christophe Gonzales, Patrice Perny: GAI Networks for Utility Elicitation. 224-234 BibTeX

Agents

Ernest Davis: A First-Order Theory of Communicating First-Order Formulas. 235-245 BibTeX
Bình Vu Trân, James Harland, Margaret Hamilton: Observation Expectation Reasoning in Agent Systems. 246-254 BibTeX
Guido Boella, Leendert W. N. van der Torre: Regulative and Constitutive Norms in Normative Multiagent Systems. 255-266 BibTeX

Ontology

Claudio Masolo, Laure Vieu, Emanuele Bottazzi, Carola Catenacci, Roberta Ferrario, Aldo Gangemi, Nicola Guarino: Social Roles and their Descriptions. 267-277 BibTeX
Ken Kaneiwa, Riichiro Mizoguchi: Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity. 278-288 BibTeX
Pawel Garbacz: The Four Dimensions of Artifacts. 289-299 BibTeX
Carola Eschenbach: How to Interweave Knowledge about Object Structure and Concepts. 300-310 BibTeX

Belief Revision and Update

Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Dongmo Zhang: Logical Foundations of Negotiation: Strategies and Preferences. 311-318 BibTeX
Pavlos Peppas, Samir Chopra, Norman Y. Foo: Distance Semantics for Relevance-Sensitive Belief Revision. 319-328 BibTeX
Isabelle Bloch, Ramón Pino Pérez, Carlos Uzcátegui: A Unified Treatment for Knowledge Dynamics. 329-337 BibTeX
Boris Mailhé, Henri Prade: Updating of a Possibilistic Knowledge Base by Crisp or Fuzzy Transition Rules. 338-347 BibTeX

Merging Belief Bases

Guilin Qi, Weiru Liu, David H. Glass: A Split-Combination Method for Merging Inconsistent Possibilistic Knowledge Bases. 348-356 BibTeX
Patricia Everaere, Sébastien Konieczny, Pierre Marquis: On Merging Strategy-Proofness. 357-368 BibTeX

Complexity Analysis

Luciano Serafini, Floris Roelofsen: Satisfiability for Propositional Contexts. 369-376 BibTeX
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 BibTeX
Marco Cadoli, Toni Mancini: Automated Reformulation of Specifications by Safe Delay of Constraints. 388-398 BibTeX
Perry Groot, Annette ten Teije, Frank van Harmelen: Towards a Structured Analysis of Approximate Problem Solving: A Case Study in Classification. 399-406 BibTeX
Jean-François Baget: Improving the Forward Chaining Algorithm for Conceptual Graphs Rules. 407-414 BibTeX
Gregory M. Provan: Inferential Complexity Control for Model-Based Abduction. 415-426 BibTeX

Logic Programming

Alexander Bochman: A Causal Logic of Logic Programming. 427-437 BibTeX
Luc De Raedt, Jan Ramon: Condensed Representations for Inductive Logic Programming. 438-446 BibTeX
Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran: On Eliminating Disjunctions in Stable Logic Programming. 447-458 BibTeX

Query Processing for Ontologies

Patrick Doherty, Andrzej Szalas, Witold Lukaszewicz: Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities. 459-468 BibTeX
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: What to Ask to a Peer: Ontolgoy-based Query Reformulation. 469-478 BibTeX
Clinton Smyth, David Poole: Qualitative Probabilistic Matching with Hierarchical Descriptions. 479-487 BibTeX

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 BibTeX
Youngja Park: GlossOnt: A Concept-focused Ontology Building Tool. 498-506 BibTeX
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 BibTeX

Reasoning about Action

Gerhard Lakemeyer, Hector J. Levesque: Situations, Si! Situation Terms, No! 516-526 BibTeX
Andreas Herzig, Dominique Longin: C&L Intention Revisited. 527-535 BibTeX
Fangzhen Lin: Discovering State Invariants. 536-544 BibTeX
Marc Denecker, Eugenia Ternovska: Inductive Situation Calculus. 545-553 BibTeX
Nam Tran, Chitta Baral: Reasoning about Triggered Actions in AnsProlog and Its Application to Molecular Interactions in Cells. 554-564 BibTeX

Knowledge Representation Logics

Stuart C. Shapiro: A Logic of Arbitrary and Indefinite Objects. 565-575 BibTeX
Kaile Su, Guanfeng Lv, Yan Zhang: Reasoning about Knowledge by Variable Forgetting. 576-586 BibTeX
Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque: A Logic of Limited Belief for Reasoning with Disjunctive Information. 587-597 BibTeX
Eric Pacuit, Samer Salame: Majority Logic. 598-605 BibTeX
Yi Zhou, Xiaoping Chen: Partial Implication Semantics for Desirable Propositions. 606-612 BibTeX

Knowledge Representation and Planning

Ronald P. A. Petrick, Fahiem Bacchus: Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing. 613-622 BibTeX
Yves Martin, Iman Narasamdya, Michael Thielscher: Knowledge of Other Agents and Communicative Actions in the Fluent Calculus. 623-633 BibTeX
Alfredo Gabaldon: Precondition Control and the Progression Algorithm. 634-643 BibTeX
Jérôme Lang: A Preference-Based Interpretation of Other Agents' Actions. 644-653 BibTeX
Anthony Barrett: From Hybrid Systems to Universal Plans Via Domain Compilation. 654-661 BibTeX
Hector Geffner: Planning Graphs and Knowledge Compilation. 662-672 BibTeX
James P. Delgrande, Torsten Schaub, Hans Tompits: Domain-Specific Preferences for Causal Reasoning and Planning. 673-682 BibTeX
Hanna Pasula, Luke S. Zettlemoyer, Leslie Pack Kaelbling: Learning Probabilistic Relational Planning Rules. 683-691 BibTeX
Weixiong Zhang, Xiaotao Zhang: An Improved Integer Local Search for Complex Scheduling Problems. 692-700 BibTeX
Rong Zhou, Eric A. Hansen: Breadth-First Heuristic Search. 701-709 BibTeX
Jussi Rintanen: Phase Transitions in Classical Planning: An Experimental Study. 710-719 BibTeX
Chitta Baral, Thomas Eiter: A Polynomial-Time Algorithm for Constructing k-Maintainable Policies. 720-730 BibTeX

Invited Keynote Presentations

Patrick Doherty: Advanced Research with Autonomous Unmanned Aerial Vehicles. 731-732 BibTeX
Itzhak Gilboa, David Schmeidler: Evidence and Belief. 733-734 BibTeX
Peter F. Patel-Schneider: What Is OWL (and Why Should I Care)? 735-737 BibTeX

Great Moments in Knowledge Representation Series

John McCarthy: Historical Remarks on Nonmonotonic Reasoning, Especially Circumscription. 738-739 BibTeX
William A. Woods: Meaning and Links: A Semantic Odyssey. 740-742 BibTeX