KR 2004 Detailed Program

KR 2004 Preliminary Program

Day 1 – Wednesday June 2, 2004
8:45 - 9:00	Opening Ceremonies
9:00 - 10:00	Invited Talk: Peter Patel-Schneider - What is OWL (and why should I care)
10:00 - 10:30	Break
10:30 - 12:30	Conditional Causation and Causal Conditionals John Bell Sleeping Beauty Reconsidered Joseph Halpern Weak Nonmonotonic Probabilistic Logics Thomas Lukasiewicz Knowledge discovery by reversing inductive knowledge representation Jens Fisseler, Gabriele Kern-isberner	Spatial Reasoning Multidimensional Mereotopology Antony Galton Parthood as Spatial Inclusion Udo Hahn, Stefan Schulz A Logic-Based Formulation of Active Visual Perception David Randell, Murray Shanahan Indoor classification and perceptual matching Fiora Pirri
12:30 - 14:00	Lunch
14:00 - 16:00	Invited Talk: John McCarthy - Historical Remarks on Nonmonotonic Reasoning, Especially Circumscription Space, Time Logic of Motion Dana Nau, V.S. Subrahmanian, Fusun Yaman Axiomatizing the cyclic interval calculus Jean-francois Condotta, Gérard Ligozat	Philosophical Philosophical and psychological issues What's in a model? Epistemological analysis of Logic Programming Marc Denecker Ontological Theory for Ontology Engineering Werner Ceusters, James Fielding, Jonathan Simon, Barry Smith Intransitivity and Vagueness Joseph Halpern An experimental analysis of possibilistic default reasoning Salem Benferhat, Jean François Bonnefon, Rui Da Silva Neves
16:00 - 16:30	Break
16:30 - 18:00	Description Logics Combining Answer Set Programming with Description Logics for the Semantic Web Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits Reducing SHIQ- Description Logic to Disjunctive Datalog Programs Boris Motik, Ulrike Stattler, Ullrich Hustadt Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results Volker Haarslev, Möller Ralf	Argumentation Reaching agreement through argumentation: A possibilistic approach Leila Amgoud, Henri Prade Characterization of semantics for argument systems Philippe Besnard, Sylvie Doutre On the use of an ATMS for handling conflicting desires Leila Amgoud, Claudette Cayrol
19:00 - 20:00	KR Reception

Day 2 – Thursday June 3, 2004
8:30 - 10:00	Compact Representations of Preference Expressive power and succinctness of propositional languages for preference representation Sylvie Coste-Marquis, Jerome Lang, Paolo Liberatore, Pierre Marquis Complex Preferences for Answer Set Optimization Gerhard Brewka GAI Networks for Utility Elicitation Christophe Gonzales, Patrice Perny	Agents A First-Order Theory of Communicating First-Order Formulas Ernest Davis Observation Expectation Reasoning in Agent Systems Margaret Hamilton, James Harland, Binh Tran Regulative and Constitutive Norms in Normative Multiagent Systems Guido Boella, Leendert van der Torre
10:00 - 10:30	Break
10:30 - 12:30	Ontology Social roles and their descriptions Emanuele Bottazzi, Carola Catenacci, Roberta Ferrario, Aldo Gangemi, Nicola Guarino, Claudio Masolo, Laure Vieu Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity Ken Kaneiwa, Riichiro Mizoguchi The four dimensions of artifacts Pawel Garbacz How to Interweave Knowledge about Object Structure and Concepts Carola Eschenbach	Belief revision and update Logical foundations of negotiation: strategies and preferences Norman Foo, Rex Kwok, Thomas Meyer, Dongmo Zhang Distance Semantics for Relevance-Sensitive Belief Revision Samir Chopra, Norman Foo, Pavlos Peppas Explanations as an unifying tool for knowledge dynamics Isabelle Bloch, Ramon Pino-Perez, Carlos Uzcategui Updating of a possibilistic knowledge base by crisp or fuzzy transition rules Boris Mailhé, Henri Prade
12:30 - 14:00	Lunch
14:00 - 16:00	Invited Talk: William Woods - Meaning and Links: A Semantic Odysse- Merging Bases A split-combination method for merging inconsistent knowledge bases in possibilistic logic David Glass, Qi Guilin, Weiru Liu On Merging Strategy-Proofness Patricia Everaere, Sébastien Konieczny, Pierre Marquis	Complexity Analysis I Satisfiability for propositional contexts Floris Roelofsen, Luciano Serafini Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran Automated reformulation of specifications by safe delay of constraints Marco Cadoli, Toni Mancini Towards a Structured Analysis of Approximate Problem Solving: a Case Study in Classification Perry Groot, Annette ten Teije, Frank van Harmelen
16:00 - 16:30	Break
16:30 18:00	Logic Programming Causal Logics of Logic Programming Alexander Bochman Condensed Representations for Inductive Logic Programming Luc De Raedt, Jan Ramon On Eliminating Disjunctions in Stable Logic Programming Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran	Query Processing for Ontologies Approximative Query Techniques for Agents using Heterogeneous Ontologies Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas What to Ask to a Peer: Ontology-based Query Reformulation Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati Qualitative Probabistic Matching with Hierarchical Descriptions David Poole, Clinton Smyth
19:00	Banquet Dinner

Day 3 - Friday June 4, 2004
9:00 - 10:00	Invited Talk: Itzhak Gilboa - Evidence and Belief
10:00 - 10:30	Break
10:30 - 12:00	Real Knowledge Representation Systems 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 GlossOnt: A Concept-focused Ontology Building Tool Youngja Park 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	Complexity Analysis II Improving the Forward Chaining Algorithm for Conceptual Graphs Rules Jean-Francois Baget Inferential Complexity Control for Model-Based Abduction Gregory Provan
12:00 - 13:30	Lunch
13:30 - 16:00	Reasoning about Action Situations, si! Situation terms, no! Gerhard Lakemeyer, Hector Levesque C&L Intention Revisited Andreas Herzig, Dominique Longin Discovering State Invariants Fangzhen Lin Inductive Situation Calculus Marc Denecker, Eugenia Ternovska Reasoning about Triggered Actions in AnsProlog and its Application to Molecular interactions in cells Chitta Baral, Nam Tran	Knowledge Representation Logics A Logic of Arbitrary and Indefinite Objects Stuart Shapiro Reasoning about Knowledge by Variable Forgetting Guanfeng Lv, Kaile Su, Yan Zhang Majority Logic Eric Pacuit, Samer Salame Partial Implication Semantics for Desirable Propositions XiaoPing Chen, Yi Zhou A Logic of Limited Belief for Reasoning with Disjunctive Informatiion Gerhard Lakemeyer, Hector Levesque, Yongmei Liu

Day 4 - Saturday June 5, 2004
8:50	Opening
9:00 - 10:00	Invited Talk: Patrick Doherty : Advanced Research with Autonomous Unmanned Aerial Vehicles
10:00 - 10:25	Break
10:25 - 12:05	Cognitive Robotics Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing Ronald P. Petrick, Fahiem Bacchus Knowledge of Other Agents and Communicative Actions in the Fluent Calculus Yves Martin, Iman Narasamdya, Michael Thielscher Precondition Control and the Progression Algorithm:A Situation Calculus Approach Alfredo Gabaldon A preference-based interpretation of other agents' actions Jerome Lang
12:05 - 13:30	Lunch
13:30 - 15:10	Knowledge in Planning From Hybrid Systems to Universal Plans via Domain Compilation Anthony Barrett Planning Graphs and Knowledge Compilation Hector Geffner Domain-Specific Preferences for Causal Reasoning and Planning James Delgrande, Torsten Schaub, Hans Tompits Learning Probabilistic Relational Planning Rules Hanna M. Pasula, Luke S. Zettlemoyer, Leslie Pack Kaelbling
15:10 - 15:35	Coffee Break
15:35 - 17:15	Search in Planning and Scheduling An Improved Integer Local Search for Complex Scheduling Problems Weixiong Zhang, Xiaotao Zhang Breadth-First Heuristic Search Rong Zhou, Eric A. Hansen Phase transitions in classical planning: an experimental study Jussi Rintanen A Polynomial Time Algorithm for Constructing k-Maintainable Policies Chitta Baral, Thomas Eiter
17:15 - 17:30	Closing Remarks
18:00 - 20:00	Joint ICAPS/KR FESTIVAL and DOCTORIAL CONSORTIUMS - Free with ICAPS or KR registration!