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
Murray Shanahan, David A. Randell: A Logic-Based Formulation of Active Visual Perception. 64-72
Fiora Pirri: Indoor Environment Classification and Perceptual Matching. 73-84

Space and Time

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

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
Philippe Besnard, Sylvie Doutre: Characterization of Semantics for Argument Systems. 183-193
Leila Amgoud, Claudette Cayrol: On the Use of an ATMS for Handling Conflicting Desires. 194-202

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
Christophe Gonzales, Patrice Perny: GAI Networks for Utility Elicitation. 224-234

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
Patricia Everaere, Sébastien Konieczny, Pierre Marquis: On Merging Strategy-Proofness. 357-368

Complexity Analysis

Luciano Serafini, Floris Roelofsen: Satisfiability for Propositional Contexts. 369-376
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
Luc De Raedt, Jan Ramon: Condensed Representations for Inductive Logic Programming. 438-446
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

Gerhard Lakemeyer, Hector J. Levesque: Situations, Si! Situation Terms, No! 516-526
Andreas Herzig, Dominique Longin: C&L Intention Revisited. 527-535
Fangzhen Lin: Discovering State Invariants. 536-544
Marc Denecker, Eugenia Ternovska: Inductive Situation Calculus. 545-553
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
Kaile Su, Guanfeng Lv, Yan Zhang: Reasoning about Knowledge by Variable Forgetting. 576-586
Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque: A Logic of Limited Belief for Reasoning with Disjunctive Information. 587-597
Eric Pacuit, Samer Salame: Majority Logic. 598-605
Yi Zhou, Xiaoping Chen: Partial Implication Semantics for Desirable Propositions. 606-612

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
Rong Zhou, Eric A. Hansen: Breadth-First Heuristic Search. 701-709
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
Itzhak Gilboa, David Schmeidler: Evidence and Belief. 733-734
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