Abstract is missing.
- A Logical Account of Perception Incorporating Feedback and ExpectationMurray Shanahan. 3-13
- Abducing Qualitative Spatio-Temporal Histories from Partial ObservationsShyamanta M. Hazarika, Anthony G. Cohn. 14-25
- Building Large Composition Tables via Axiomatic TheoriesDavid A. Randell, Mark Witkowski. 26-36
- Design and Comparison of Lattices of Topological Relations Based on Galois Lattice TheoryFlorence Le Ber, Amedeo Napoli. 37-48
- Complexity Results for Explanations in the Structural-Model ApproachThomas Eiter, Thomas Lukasiewicz. 49-60
- Complexity Results for Paraconsistent Inference RelationsSylvie Coste-Marquis, Pierre Marquis. 61-72
- Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge BasesGerhard Lakemeyer. 73-81
- The Complexity of Model Checking for Knowledge UpdateChitta Baral, Yan Zhang. 82-96
- Distance Based Merging: A General Framework and some Complexity ResultsSébastien Konieczny, Jérôme Lang, Pierre Marquis. 97-108
- On the Frontier between Arbitration and MajoritySébastien Konieczny, Ramón Pino Pérez. 109-120
- CP-nets: Reasoning and Consistency TestingCarmel Domshlak, Ronen I. Brafman. 121-132
- On the Limitations of Ordinal Approaches to Decision-makingDidier Dubois, Hélène Fargier, Patrice Perny. 133-146
- A Structural Approach to Default ReasoningGabriele Kern-Isberner. 147-157
- Qualitative Choice LogicGerhard Brewka, Salem Benferhat, Daniel Le Berre. 158-169
- Reducing Strong Equivalence of Logic Programs to Entailment in Classical Propositional LogicFangzhen Lin. 170-176
- Ultimate Approximations in Nonmonotonic Knowledge Representation SystemsMarc Denecker, V. Wiktor Marek, Miroslaw Truszczynski. 177-190
- Adding Numbers to the SHIQ Description Logic: First ResultsCarsten Lutz. 191-202
- Approximation and Difference in Description LogicsSebastian Brandt, Ralf Küsters, Anni-Yasmin Turhan. 203-214
- Connecting Abstract Description SystemsOliver Kutz, Frank Wolter, Michael Zakharyaschev. 215-226
- Evaluating a Modular Abox AlgorithmSergio Tessaris, Ian Horrocks, Graham Gough. 227-238
- Resolving Inconsistencies by Variable ForgettingJérôme Lang, Pierre Marquis. 239-250
- Updating ContextsAntonia Donà, Luciano Serafini. 251-264
- Many-Sorted Preference RelationsMatteo Cristani. 265-276
- From Preference Representation to Combinatorial VoteJérôme Lang. 277-290
- A Transition Function Based Characterization of Actions with Delayed and Continuous EffectsChitta Baral, Tran Cao Son, Le-Chi Tuan. 291-302
- Knowledge Equivalence in Combined Action TheoriesRonald P. A. Petrick, Hector J. Levesque. 303-314
- Projection in Decomposed Situation CalculusEyal Amir. 315-326
- Observations and the Probabilistic Situation CalculusPaulo Mateus, António Pacheco, Javier Pinto. 327-340
- A Model-Based Diagnosis Framework for Distributed Embedded SystemsGregory M. Provan. 341-352
- Eliminating Incoherence from Subjective Estimates of ChanceRandy Batsell, Lyle Brenner, Daniel N. Osherson, Spyros Tsavachidis, Moshe Y. Vardi. 353-364
- Evolving Ontologies in Distributed and Dynamic SettingsHelena Sofia Andrade N. P. Pinto, João Pavão Martins. 365-374
- Social Contraction and Belief NegotiationRichard Booth. 375-386
- Necessary Parts and Wholes in Bio-OntologiesStefan Schulz. 387-394
- Physical Objects, Identity and VaguenessBrandon Bennett. 395-408
- A Logical Approach to Factoring Belief NetworksAdnan Darwiche. 409-420
- Bipolar Representation and Fusion of Preferences on the Possibilistic Logic frameworkSalem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade. 421-448
- A Fuzzy Approach to Flexible Case-based Querying: Methodology and ExperimentationMartine de Calmès, Didier Dubois, Eyke Hüllermeier, Henri Prade, Florence Sedes. 449-458
- A Generic Approach for Knowledge-Based Information-Site SelectionThomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits. 459-469
- Declarative & Procedural Goals in Intelligent Agent SystemsMichael Winikoff, Lin Padgham, James Harland, John Thangarajah. 470-481
- Adapting Golog for Composition of Semantic Web ServicesSheila A. McIlraith, Tran Cao Son. 482-496
- Belief Extrapolation (or how to Reason About Observations and Unpredicted Change)Florence Dupin de Saint-Cyr, Jérôme Lang. 497-508
- Constraint Satisfaction on Infinite Domains: Composing Domains and Decomposing ConstraintsMathias Broxvall. 509-520
- Judgements about spatio-temporal relationsThomas Bittner. 521-532
- Scientific Benchmarking with Temporal Logic Decision ProceduresUllrich Hustadt, Renate A. Schmidt. 533-546
- As Time Goes by: Automatic Complexity Analysis of Simplified RulesThom W. Frühwirth. 547-557
- Inference Complexity as a Model-Selection Criterion for Learning Bayesian NetworksAlina Beygelzimer, Irina Rish. 558-567
- On the Logic of d-separationBalder ten Cate. 568-577
- Solving QBF by SMVFrancesco M. Donini, Paolo Liberatore, Fabio Massacci, Marco Schaerf. 578-592
- Reasoning about Actions and Planning in LTL Action TheoriesDiego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi. 593-602
- On the Semantics of Deliberation in IndiGolog: From Theory to ImplementationGiuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, Sebastian Sardiña. 603-614
- Actions and Other Events in Situation CalculusJohn McCarthy. 615-628
- The Role of Higher Order Similarity in Induction and Concept FormationPeter Gärdenfors. 629-629
- The Semantic Web: KR s Worst Nightmare?James A. Hendler. 630-630
- The Philosophical Soccer PlayerBernhard Nebel. 631-631
- Panel: Are Upper-Level Ontologies Worth the Effort?Christopher A. Welty. 632-632