Accepted Papers

The peer review process has been completed and notifications to authors sent. Many thanks to the KR2004 Program Chairs, Program Committee and special reviewers for their efforts over the holiday season.

Congratulations to all the successful authors!

Causal Logics of Logic Programming Alexander Bochman Multidimensional Mereotopology Antony Galton Intransitivity and Vagueness Joseph Halpern Sleeping Beauty Reconsidered Joseph Halpern Majority Logic Eric Pacuit, Samer Salame The four dimensions of artifacts Pawel Garbacz Complex Preferences for Answer Set Optimization Gerhard Brewka Knowledge of Other Agents and Communicative Actions in the Fluent Calculus Yves Martin, Iman Narasamdya, Michael Thielscher Satisfiability for propositional contexts Floris Roelofsen, Luciano Serafini How to Interweave Knowledge about Object Structure and Concepts Carola Eschenbach Distance Semantics for Relevance-Sensitive Belief Revision Samir Chopra, Norman Foo, Pavlos Peppas Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results Volker Haarslev, M”ller Ralf Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity Ken Kaneiwa, Riichiro Mizoguchi Reducing SHIQ- Description Logic to Disjunctive Datalog Programs Boris Motik, Ulrike Stattler, Ullrich Hustadt On the use of an ATMS for handling conflicting desires Leila Amgoud, Claudette Cayrol Updating of a possibilistic knowledge base by crisp or fuzzy transition rules Boris Mailh‚, Henri Prade A split-combination method for merging inconsistent knowledge bases in possibilistic logic David Glass, Qi Guilin, Weiru Liu Knowledge discovery by reversing inductive knowledge representation Jens Fisseler, Gabriele Kern-Isberner Reaching agreement through argumentation: A possibilistic approach Leila Amgoud, Henri Prade A First-Order Theory of Communicating First-Order Formulas Ernest Davis A Logic-Based Formulation of Active Visual Perception David Randell, Murray Shanahan Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran Approximative Query Techniques for Agents using Heterogeneous Ontologies Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas A Logic of Arbitrary and Indefinite Objects Stuart Shapiro Improving the Forward Chaining Algorithm for Conceptual Graphs Rules Jean-Francois Baget Partial Implication Semantics for Desirable Propositions XiaoPing Chen, Yi Zhou Observation Expectation Reasoning in Agent Systems Margaret Hamilton, James Harland, Binh Tran Reasoning about Knowledge by Variable Forgetting Guanfeng Lv, Kaile Su, Yan Zhang Characterization of semantics for argument systems Philippe Besnard, Sylvie Doutre GAI Networks for Utility Elicitation Christophe Gonzales, Patrice Perny Automated reformulation of specifications by safe delay of constraints Marco Cadoli, Toni Mancini What's in a model? Epistemological analysis of Logic Programming Marc Denecker Towards a Structured Analysis of Approximate Problem Solving: a Case Study in Classification Perry Groot, Annette ten Teije On Merging Strategy-Proofness Patricia Everaere, S‚bastien Konieczny, Pierre Marquis An experimental analysis of possibilistic default reasoning Salem Benferhat, Jean Fran‡ois Bonnefon, Rui Da Silva Neves Combining Answer Set Programming with Description Logics for the Semantic Web Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits Expressive power and succinctness of propositional languages for preference representation Sylvie Coste-Marquis, Jerome Lang, Paolo Liberatore, Pierre Marquis Discovering State Invariants Fangzhen Lin Axiomatizing the cyclic interval calculus Jean-francois Condotta, G‚rard Ligozat Logic of Motion Dana Nau, V.S. Subrahmanian, Fusun Yaman Phase transitions in classical planning: an experimental study Jussi Rintanen Situations, si! Situation terms, no! Gerhard Lakemeyer, Hector Levesque Causation and Causal Conditionals John Bell Ontological Theory for Ontology Engineering Werner Ceusters, James Fielding, Jonathan Simon, Barry Smith A preference-based interpretation of other agents' actions Jerome Lang Condensed Representations for Inductive Logic Programming Luc De Raedt, Jan Ramon Parthood as Spatial Inclusion Udo Hahn, Stefan Schulz A Question-Answering System for AP Chemistry: Assessing KR&R Technologies Ken Barker, Vinay Chaudhri, Jason Chaw, Peter Clark, James Fan, David Israel, Sunil Mishra, Bruce Porter, Pedro Romero, Dan Tecuci, Tomas Uribe, Peter Yeh On Eliminating Disjunctions in Stable Logic Programming Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran Precondition Control and the Progression Algorithm: A Situation Calculus Approach Alfredo Gabaldon What to Ask to a Peer: Ontology-based Query Reformulation Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati C&L Intention Revisited Andreas Herzig, Dominique Longin Domain-Specific Preferences for Causal Reasoning and Planning James Delgrande, Torsten Schaub, Hans Tompits A Logic of Limited Belief for Reasoning with Disjunctive Informatiion Gerhard Lakemeyer, Hector Levesque, Yongmei Liu Regulative and Constitutive Norms in Normative Multiagent Systems Guido Boella, Leendert van der Torre Explanations as an unifying tool for knowledge dynamics Isabelle Bloch, Ramon Pino-Perez, Carlos Uzcategui Inductive Situation Calculus Marc Denecker, Eugenia Ternovska Logical foundations of negotiation: strategies and preferences Norman Foo, Rex Kwok, Thomas Meyer, Dongmo Zhang Social roles and their descriptions Emanuele Bottazzi, Carola Catenacci, Roberta Ferrario, Aldo Gangemi, Nicola Guarino, Claudio Masolo, Laure Vieu Towards a Quantitative, Platform-Independent Analysis of Knowledge Systems Noah S. Friedland, Paul G. Allen, Michael Witbrock, Gavin Matthews, Nancy Salay, Pierluigi Miraglia, Jurgen Angele, Steffen Staab, David Israel, Vinay Chaudhri, Bruce Porter, Ken Barker, Peter Clark Inferential Complexity Control for Model-Based Abduction Gregory Provan Planning Graphs and Knowledge Compilation Hector Geffner Weak Nonmonotonic Probabilistic Logics Thomas Lukasiewicz Reasoning about Triggered Actions in AnsProlog and its Application to Molecular interactions in cells Chitta Baral, Nam Tran Qualitative Probabistic Matching with Hierarchical Descriptions David Poole, Clinton Smyth GlossOnt:: A Concept-focused Ontology Building Tool Youngja Park Indoor classification and perceptual matching Fiora Pirri