Abstract is missing.
- On Being Informed : Update Logics for Knowledge StatesJohan van Benthem. 1 [doi]
- Considerations on Updates of Logic ProgramsThomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits. 2-20 [doi]
- The KeY Approach: Integrating Object Oriented Design and Formal VerificationWolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt. 21-36 [doi]
- Semi-qualitative Reasoning about Distances: A Preliminary ReportHolger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev. 37-56 [doi]
- Hybrid Probabilistic Logic Programs as Residuated Logic ProgramsCarlos Viegas Damásio, Luís Moniz Pereira. 57-72 [doi]
- Topo-distance: Measuring the Difference between Spatial PatternsMarco Aiello. 73-86 [doi]
- An Abductive Mechanism for Natural Language Processing Based on Lambek CalculusAntonio Frias Delgado, Jose Antonio Jimenez Millan. 87-101 [doi]
- Capturing Stationary and Regular Extensions with Reiter s ExtensionsTomi Janhunen. 102-117 [doi]
- Representing the Process Semantics in the Event CalculusChunping Li. 118-132 [doi]
- Declarative Formalization of Strategies for Action Selection: Applications to PlanningJosefina Sierra-Santibáñez. 133-147 [doi]
- An Algorithmic Approach to Recover Inconsistent Knowledge-BasesOfer Arieli. 148-162 [doi]
- Acceptance Without MinimalityAbhaya C. Nayak. 163-178 [doi]
- Reduction Theorems for Boolean Formulas Using Delta-TreesGloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde. 179-192 [doi]
- Simultaneous Rigid Sorted UnificationPedro J. Martín, Antonio Gavilanes. 193-208 [doi]
- Partially Adaptive Code TreesAlexandre Riazanov, Andrei Voronkov. 209-223 [doi]
- On Dialogue Systems with Speech Acts, Arguments, and CounterargumentsHenry Prakken. 224-238 [doi]
- Credulous and Sceptical Argument Games for Preferred SemanticsGerard Vreeswijk, Henry Prakken. 239-253 [doi]
- A General Approach to Multi-agent Minimal KnowledgeWiebe van der Hoek, Jan Jaspars, Elias Thijsse. 254-268 [doi]
- A Modal Logic for Network TopologiesRogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. 269-283 [doi]
- Avoiding Logical Omniscience by Using Subjective SituationsAntonio Moreno, Ulises Cortés, Ton Sales. 284-299 [doi]
- Multi-agent VSK LogicMichael Wooldridge, Alessio Lomuscio. 300-312 [doi]
- New Tractable Cases in Default Reasoning from Conditional Knowledge BasesThomas Eiter, Thomas Lukasiewicz. 313-328 [doi]
- Monodic Epistemic Predicate LogicHolger Sturm, Frank Wolter, Michael Zakharyaschev. 329-344 [doi]
- Updates plus PreferencesJosé Júlio Alferes, Luís Moniz Pereira. 345-360 [doi]
- A Framework for Belief UpdatePaolo Liberatore. 361-375 [doi]
- A Compilation of Brewka and Eiter s Approach to PrioritizationJames P. Delgrande, Torsten Schaub, Hans Tompits. 376-390 [doi]
- A Logic for Modeling Decision Making with Dynamic PreferencesMarina De Vos, Dirk Vermeir. 391-406 [doi]