Abstract is missing.
- On Mechanization of Thought Processes (Extended Abstract)Jon Doyle. 2
- Dataspaces: Co-existence with HeterogeneityDavid Maier, Alon Y. Halevy, Michael J. Franklin. 3
- Users Are Always Right ... Even When They Are Wrong: Making Knowledge Representation Useful and UsableAlan L. Rector. 4
- Reasoning about Knowledge of UnawarenessJoseph Y. Halpern, Leandro Chaves Rêgo. 6-13
- Redoing the Foundations of Decision TheoryLawrence E. Blume, David A. Easley, Joseph Y. Halpern. 14-24
- Logical Foundations of Well-Founded SemanticsPedro Cabalar, Sergei P. Odintsov, David Pearce. 25-35
- A Theory of Vague Adjectives Grounded in Relevant ObservablesBrandon Bennett. 36-45
- Updating Description Logic ABoxesHongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter. 46-56
- The Even More Irresistible SROIQIan Horrocks, Oliver Kutz, Ulrike Sattler. 57-67
- DL+log: Tight Integration of Description Logics and Disjunctive DatalogRiccardo Rosati. 68-78
- Definitorially Complete Description LogicsBalder ten Cate, Willem Conradie, Maarten Marx, Yde Venema. 79-89
- From Wine to Water: Optimizing Description Logic Reasoning for NominalsEvren Sirin, Bernardo Cuenca Grau, Bijan Parsia. 90-99
- An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description LogicScott Sanner, Sheila A. McIlraith. 100-111
- Constrained Argumentation FrameworksSylvie Coste-Marquis, Caroline Devred, Pierre Marquis. 112-122
- Knowledgebase Compilation for Efficient Logical ArgumentationPhilippe Besnard, Anthony Hunter. 123-133
- Planning with Qualitative Temporal PreferencesMeghyn Bienvenu, Christian Fritz, Sheila A. McIlraith. 134-144
- Expressive Power of Weighted Propositional Formulas for Cardinal Preference ModelingYann Chevaleyre, Ulle Endriss, Jérôme Lang. 145-152
- Decision-Theoretic GOLOG with Qualitative PreferencesChristian Fritz, Sheila A. McIlraith. 153-163
- Variable-Strength Conditional Preferences for Matchmaking in Description LogicsThomas Lukasiewicz, Jörg Schellhase. 164-174
- Qualitative Decision Making with Bipolar InformationDidier Dubois, Hélène Fargier. 175-186
- Did I Damage My Ontology? A Case for Conservative Extensions in Description LogicsSilvio Ghilardi, Carsten Lutz, Frank Wolter. 187-197
- Modularity and Web OntologiesBernardo Cuenca Grau, Bijan Parsia, Evren Sirin, Aditya Kalyanpur. 198-209
- Iterated Revision as Prioritized MergingJames P. Delgrande, Didier Dubois, Jérôme Lang. 210-220
- Grounding and the Expression of BeliefBenoit Gaudou, Andreas Herzig, Dominique Longin. 221-229
- A Bad Day Surfing Is Better than a Good Day Working: How to Revise a Total PreorderRichard Booth, Thomas Andreas Meyer, Ka-shu Wong. 230-238
- Lack of Finite Characterizations for the Distance-Based RevisionJonathan Ben-Naim. 239-248
- Shapley Inconsistency ValuesAnthony Hunter, Sébastien Konieczny. 249-259
- Data Complexity of Query Answering in Description LogicsDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati. 260-270
- A Tree Decomposition Algorithm for Conceptual Graph ProjectionMadalina Croitoru, Ernesto Compatangelo. 271-276
- Propositional DAGs: A New Graph-Based Language for Representing Boolean FunctionsMichael Wachter, Rolf Haenni. 277-285
- Representing Policies for Quantified Boolean FormulaeSylvie Coste-Marquis, Hélène Fargier, Jérôme Lang, Daniel Le Berre, Pierre Marquis. 286-297
- First-Order Loop Formulas for Normal Logic ProgramsYin Chen, Fangzhen Lin, Yisong Wang, Mingyi Zhang. 298-307
- Computational Properties of Epistemic Logic ProgramsYan Zhang. 308-317
- Foundations for Knowledge-Based Programs using ESJens Claßen, Gerhard Lakemeyer. 318-318
- Query Answering under the Any-World Assumption for Normal Logic ProgramsUmberto Straccia. 329-339
- Replacements in Non-Ground Answer-Set ProgrammingThomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran. 340-351
- Abductive Visual Perception with Feature CloudsDavid A. Randell, Mark Witkowski. 352-361
- The Features-and-Fluents Semantics for the Fluent CalculusMichael Thielscher, Thomas Witkowski. 362-370
- Semantical Considerations for a Logic of Actions: An Imperative ManifestoVictor Jauregui. 371-376
- Actions as Special CasesSelim T. Erdogan, Vladimir Lifschitz. 377-388
- Strong and Uniform Equivalence of Nonmonotonic Theories - An Algebraic ApproachMiroslaw Truszczynski. 389-399
- Description Logics with CircumscriptionPiero A. Bonatti, Carsten Lutz, Frank Wolter. 400-410
- Semantics for Dynamic Syntactic Epistemic LogicsThomas Ågotnes, Natasha Alechina. 411-419
- Probabilistic Abduction without PriorsDidier Dubois, Angelo Gilio, Gabriele Kern-Isberner. 420-430
- Non-Deterministic Semantics for First-Order Paraconsistent LogicsAnna Zamansky, Arnon Avron. 431-439
- Possibilistic Handling of Uncertain Default Rules with Applications to Persistence Modeling and Fuzzy Default ReasoningFlorence Dupin de Saint-Cyr, Henri Prade. 440-451
- Heuristics for Planning with Penalties and Rewards using Compiled KnowledgeBlai Bonet, Hector Geffner. 452-462
- On the Limits of Planning over Belief States under Strict UncertaintySebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque. 463-471
- Temporalizing Cardinal Directions: From Constraint Satisfaction to PlanningMarco Ragni, Stefan Wölfl. 472-480
- On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete InformationTran Cao Son, Phan Huy Tu. 481-491
- On Planning with Programs that SenseJorge A. Baier, Sheila A. McIlraith. 492-502
- Planning with Prioritized GoalsRobert Feldmann, Gerhard Brewka, Sandro Wenzel. 503-514