Table of Contents

• Causation and Causal ConditionalsJohn Bell. 2-11
• Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous SystemsJoseph Y. Halpern. 12-22
• Weak Nonmonotonic Probabilistic LogicsThomas Lukasiewicz. 23-33
• Knowledge Discovery by Reversing Inductive Knowledge RepresentationGabriele Kern-Isberner, Jens Fisseler. 34-44
• Multidimensional MereotopologyAntony Galton. 45-54
• Parthood as Spatial Inclusion - Evidence from biomedical ConceptualizationsStefan Schulz, Udo Hahn. 55-63
• A Logic-Based Formulation of Active Visual PerceptionMurray Shanahan, David A. Randell. 64-72
• Indoor Environment Classification and Perceptual MatchingFiora Pirri. 73-84
• A Logic of MotionFusun Yaman, Dana S. Nau, V. S. Subrahmanian. 85-94
• Axiomatizing the Cyclic Interval CalculusJean-François Condotta, Gérard Ligozat. 95-105
• What s in a Model? Epistemological Analysis of Logic ProgrammingMarc Denecker. 106-113
• Ontological Theory for Ontological Engineering: Biomedical Systems Information IntegrationJames Matthew Fielding, Jonathan Simon, Werner Ceusters, Barry Smith. 114-120
• Intransitivity and VaguenessJoseph Y. Halpern. 121-129
• An Experimental Analysis of Possibilistic Default ReasoningSalem Benferhat, Jean-François Bonnefon, Rui Da Silva Neves. 130-140
• Combining Answer Set Programming with Description Logics for the Semantic WebThomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits. 141-151
• Reducing SHIQ-Description Logic to Disjunctive Datalog ProgramsUllrich Hustadt, Boris Motik, Ulrike Sattler. 152-162
• Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First ResultsVolker Haarslev, Ralf Möller. 163-174
• Reaching Agreement Through Argumentation: A Possibilistic ApproachLeila Amgoud, Henri Prade. 175-182
• Characterization of Semantics for Argument SystemsPhilippe Besnard, Sylvie Doutre. 183-193
• On the Use of an ATMS for Handling Conflicting DesiresLeila Amgoud, Claudette Cayrol. 194-202
• Expressive Power and Succinctness of Propositional Languages for Preference RepresentationSylvie Coste-Marquis, Jérôme Lang, Paolo Liberatore, Pierre Marquis. 203-212
• Complex Preferences for Answer Set OptimizationGerhard Brewka. 213-223
• GAI Networks for Utility ElicitationChristophe Gonzales, Patrice Perny. 224-234
• A First-Order Theory of Communicating First-Order FormulasErnest Davis. 235-245
• Observation Expectation Reasoning in Agent SystemsBình Vu Trân, James Harland, Margaret Hamilton. 246-254
• Regulative and Constitutive Norms in Normative Multiagent SystemsGuido Boella, Leendert W. N. van der Torre. 255-266
• Social Roles and their DescriptionsClaudio Masolo, Laure Vieu, Emanuele Bottazzi, Carola Catenacci, Roberta Ferrario, Aldo Gangemi, Nicola Guarino. 267-277
• Ontological Knowledge Base Reasoning with Sort-Hierarchy and RigidityKen Kaneiwa, Riichiro Mizoguchi. 278-288
• The Four Dimensions of ArtifactsPawel Garbacz. 289-299
• How to Interweave Knowledge about Object Structure and ConceptsCarola Eschenbach. 300-310
• Logical Foundations of Negotiation: Strategies and PreferencesThomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Dongmo Zhang. 311-318
• Distance Semantics for Relevance-Sensitive Belief RevisionPavlos Peppas, Samir Chopra, Norman Y. Foo. 319-328
• A Unified Treatment for Knowledge DynamicsIsabelle Bloch, Ramón Pino Pérez, Carlos Uzcátegui. 329-337
• Updating of a Possibilistic Knowledge Base by Crisp or Fuzzy Transition RulesBoris Mailhé, Henri Prade. 338-347
• A Split-Combination Method for Merging Inconsistent Possibilistic Knowledge BasesGuilin Qi, Weiru Liu, David H. Glass. 348-356
• On Merging Strategy-ProofnessPatricia Everaere, Sébastien Konieczny, Pierre Marquis. 357-368
• Satisfiability for Propositional ContextsLuciano Serafini, Floris Roelofsen. 369-376
• Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set ProgrammingThomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran. 377-387
• Automated Reformulation of Specifications by Safe Delay of ConstraintsMarco Cadoli, Toni Mancini. 388-398
• Towards a Structured Analysis of Approximate Problem Solving: A Case Study in ClassificationPerry Groot, Annette ten Teije, Frank van Harmelen. 399-406
• Improving the Forward Chaining Algorithm for Conceptual Graphs RulesJean-François Baget. 407-414
• Inferential Complexity Control for Model-Based AbductionGregory M. Provan. 415-426
• A Causal Logic of Logic ProgrammingAlexander Bochman. 427-437
• Condensed Representations for Inductive Logic ProgrammingLuc De Raedt, Jan Ramon. 438-446
• On Eliminating Disjunctions in Stable Logic ProgrammingThomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran. 447-458
• Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive CapabilitiesPatrick Doherty, Andrzej Szalas, Witold Lukaszewicz. 459-468
• What to Ask to a Peer: Ontolgoy-based Query ReformulationDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati. 469-478
• Qualitative Probabilistic Matching with Hierarchical DescriptionsClinton Smyth, David Poole. 479-487
• A Question-Answering System for AP Chemistry: Assessing KR&R TechnologiesKen 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. 488-497
• GlossOnt: A Concept-focused Ontology Building ToolYoungja Park. 498-506
• Towards a Quantitative, Platform-Independent Analysis of Knowledge SystemsNoah 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. 507-515
• Situations, Si! Situation Terms, No!Gerhard Lakemeyer, Hector J. Levesque. 516-526
• C&L Intention RevisitedAndreas Herzig, Dominique Longin. 527-535
• Discovering State InvariantsFangzhen Lin. 536-544
• Inductive Situation CalculusMarc Denecker, Eugenia Ternovska. 545-553
• Reasoning about Triggered Actions in AnsProlog and Its Application to Molecular Interactions in CellsNam Tran, Chitta Baral. 554-564
• A Logic of Arbitrary and Indefinite ObjectsStuart C. Shapiro. 565-575
• Reasoning about Knowledge by Variable ForgettingKaile Su, Guanfeng Lv, Yan Zhang. 576-586
• A Logic of Limited Belief for Reasoning with Disjunctive InformationYongmei Liu, Gerhard Lakemeyer, Hector J. Levesque. 587-597
• Majority LogicEric Pacuit, Samer Salame. 598-605
• Partial Implication Semantics for Desirable PropositionsYi Zhou, Xiaoping Chen. 606-612
• Extending the Knowledge-Based Approach to Planning with Incomplete Information and SensingRonald P. A. Petrick, Fahiem Bacchus. 613-622
• Knowledge of Other Agents and Communicative Actions in the Fluent CalculusYves Martin, Iman Narasamdya, Michael Thielscher. 623-633
• Precondition Control and the Progression AlgorithmAlfredo Gabaldon. 634-643
• A Preference-Based Interpretation of Other Agents ActionsJérôme Lang. 644-653
• From Hybrid Systems to Universal Plans Via Domain CompilationAnthony Barrett. 654-661
• Planning Graphs and Knowledge CompilationHector Geffner. 662-672
• Domain-Specific Preferences for Causal Reasoning and PlanningJames P. Delgrande, Torsten Schaub, Hans Tompits. 673-682
• Learning Probabilistic Relational Planning RulesHanna Pasula, Luke S. Zettlemoyer, Leslie Pack Kaelbling. 683-691
• An Improved Integer Local Search for Complex Scheduling ProblemsWeixiong Zhang, Xiaotao Zhang. 692-700
• Breadth-First Heuristic SearchRong Zhou, Eric A. Hansen. 701-709
• Phase Transitions in Classical Planning: An Experimental StudyJussi Rintanen. 710-719
• A Polynomial-Time Algorithm for Constructing k-Maintainable PoliciesChitta Baral, Thomas Eiter. 720-730
• Advanced Research with Autonomous Unmanned Aerial VehiclesPatrick Doherty. 731-732
• Evidence and BeliefItzhak Gilboa, David Schmeidler. 733-734
• What Is OWL (and Why Should I Care)?Peter F. Patel-Schneider. 735-737
• Historical Remarks on Nonmonotonic Reasoning, Especially CircumscriptionJohn McCarthy. 738-739
• Meaning and Links: A Semantic OdysseyWilliam A. Woods. 740-742