Table of Contents

• Spatio-temporal representation and reasoning based on RCC-8Frank Wolter, Michael Zakharyaschev. 3-14
• Spatial Locations via Morpho-MereologyMatteo Cristani, Anthony G. Cohn, Brandon Bennett. 15-25
• Continuous Motion in Discrete SpaceAntony Galton. 26-37
• The Representation of Discrete Multi-resolution Spatial KnowledgeJohn G. Stell. 38-49
• Finding Admissible and Preferred Arguments Can be Very HardYannis Dimopoulos, Bernhard Nebel, Francesca Toni. 53-61
• Complexity Results for Default Reasoning from Conditional Knowledge BasesThomas Eiter, Thomas Lukasiewicz. 62-73
• Uniform semantic treatment of default and autoepistemic logicMarc Denecker, V. Wiktor Marek, Miroslaw Truszczynski. 74-84
• Missionaries and Cannibals in the Causal CalculatorVladimir Lifschitz. 85-96
• Narratives as ProgramsRaymond Reiter. 99-108
• Representing the Knowledge of a RobotMichael Thielscher. 109-120
• A Logic Programming Approach to Conflict Resolution in Policy ManagementJan Chomicki, Jorge Lobo, Shamim A. Naqvi. 121-132
• BReLS: A System for the Integration of Knowledge BasesPaolo Liberatore, Marco Schaerf. 145-152
• Representing and Aggregating Conflicting BeliefsPedrito Maynard-Reid II, Daniel J. Lehmann. 153-164
• On Strongest Necessary and Weakest Sufficient ConditionsFangzhen Lin. 167-175
• Containment of Conjunctive Regular Path Queries with InverseDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. 176-185
• Reduction rules and universal variables for first order tableaux and DPLLFabio Massacci. 186-197
• Deciding K using inverse-KAndrei Voronkov. 198-209
• A Compositional Structured Query Approach to Automated InferenceYousri El Fattah, Mark A. Peot. 213-224
• Independence in qualitative uncertainty frameworksNahla Ben Amor, Salem Benferhat, Didier Dubois, Hector Geffner, Henri Prade. 235-246
• Spatial representation of spatial relationship knowledgeIsabelle Bloch. 247-258
• Matching Concept Descriptions with Existential RestrictionsFranz Baader, Ralf Küsters. 261-272
• Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed RolesVolker Haarslev, Ralf Möller. 273-284
• Reasoning with Axioms: Theory and PracticeIan Horrocks, Stephan Tobies. 285-296
• Rewriting Concepts Using TerminologiesFranz Baader, Ralf Küsters, Ralf Molitor. 297-308
• Formulating diagnostic problem solving using an action language with narratives and sensingChitta Baral, Sheila A. McIlraith, Tran Cao Son. 311-322
• Anytime Diagnostic Reasoning using Approximate Boolean Constraint PropagationAlan Verberne, Frank van Harmelen, Annette ten Teije. 323-332
• Generation of Diagnostic Knowledge by Discrete-Event Model CompilationGianfranco Lamperti, Marina Zanella. 333-344
• Two Problems with Reasoning and Acting in TimeHaythem O. Ismail, Stuart C. Shapiro. 355-365
• Cyclical and Granular Time Theories as Subsets of the Herbrand UniverseEdjard Mota. 366-377
• A Model for Reasoning about Topologic Relations between cyclic intervalsPhilippe Balbiani, Aomar Osmani. 378-385
• Partition-Based Logical ReasoningEyal Amir, Sheila A. McIlraith. 389-400
• Significant Inferences : Preliminary ReportPhilippe Besnard, Torsten Schaub. 401-410
• Unfolding Partiality and Disjunctions in Stable Model SemanticsTomi Janhunen, Ilkka Niemelä, Patrik Simons, Jia-Huai You. 411-422
• Relational Representations that Facilitate LearningChad M. Cumby, Dan Roth. 425-434
• Experimental Results on Learning Soft Constraints435-444
• Propositional Logic and One-Stage Decision MakingHélène Fargier, Jérôme Lang, Pierre Marquis. 445-456
• Logical representation of preferences for group decision makingCeline Lafage, Jérôme Lang. 457-468
• OntoMorph: A Translation System for Symbolic KnowledgeHans Chalupsky. 471-482
• An Environment for Merging and Testing Large OntologiesDeborah L. McGuinness, Richard Fikes, James Rice, Steve Wilder. 483-493
• Long-Term Maintanability of Deployed Knowledge Representation SystemsNestor Rychtyckyj, Robert G. Reynolds. 494-504
• Revision: an application in the framework of GISEric Würbel, Robert Jeansoulin, Odile Papini. 505-515
• Approximate Objects and Approximate TheoriesJohn McCarthy. 519-526
• Iterated Belief Change in the Situation CalculusSteven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque. 527-538
• Ontology-Based SemanticsMihai Ciocoiu, Dana S. Nau. 539-546
• Supporting automated deduction in first-order modal logicsAngelo Montanari, Alberto Policriti, Matteo Slanina. 547-556
• Controllability characterization and checking in Contingent Temporal Constraint NetworksThierry Vidal. 559-570
• The Augmented Interval and Rectangle NetworksJean-François Condotta. 571-579
• On the complexity of reasoning about repeating eventsRobert A. Morris, Paul H. Morris. 580-588
• Knowledge PatternsPeter Clark, John Thompson, Bruce W. Porter. 591-600
• Knowledge Engineering by Large-Scale Knowledge Reuse - Experience from the Medical DomainStefan Schulz, Udo Hahn. 601-610
• In search of the right extensionJérôme Lang, Pierre Marquis. 625-636
• Ordering explanations and the structural rules for abductionRamón Pino Pérez, Carlos Uzcátegui. 637-646
• Valuation-ranked preferential modelZhaohui Zhu, Ben Li, Shifu Chen, Wujia Zhu. 647-653
• Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints and NondeterminismEnrico Giunchiglia. 657-666
• Learning Generalized Policies in Planning Using Concept LanguagesMario Martin, Hector Geffner. 667-677
• Planning with sensing, concurrency, and exogenous events: logical framework and implementationLuca Iocchi, Daniele Nardi, Riccardo Rosati. 678-689
• Satisfiability Algorithms and Finite QuantificationMatthew L. Ginsberg, Andrew J. Parkes. 690-701
• Desires and Defaults: A Framework for Planning with Inferred GoalsRichmond H. Thomason. 702-713
• Practical Knowledge Representation and the DARPA High Performance Knowledge Bases ProjectAdam Pease, Vinay K. Chaudhri, Fritz Lehmann, Adam Farquhar. 717-724
• Teaching Knowledge Representation: Challenges and ProposalsLeora Morgenstern, Richmond H. Thomason. 725-733