JELIA 2000: Malaga, Spain

Manuel Ojeda-Aciego, Inman P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira (Eds.): Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings. Lecture Notes in Computer Science 1919 Springer 2000, ISBN 3-540-41131-3

Invited Talks

Johan van Benthem:
`On Being Informed': Update Logics for Knowledge States. 1
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits:
Considerations on Updates of Logic Programs. 2-20
Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt:
The KeY Approach: Integrating Object Oriented Design and Formal Verification. 21-36
Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev:
Semi-qualitative Reasoning about Distances: A Preliminary Report. 37-56

Carlos Viegas Damásio, Luís Moniz Pereira:
Hybrid Probabilistic Logic Programs as Residuated Logic Programs. 57-72
Marco Aiello:
Topo-distance: Measuring the Difference between Spatial Patterns. 73-86
Antonio Frias Delgado, Jose Antonio Jimenez Millan:
An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus. 87-101
Tomi Janhunen:
Capturing Stationary and Regular Extensions with Reiter's Extensions. 102-117

Chunping Li:
Representing the Process Semantics in the Event Calculus. 118-132
Josefina Sierra-Santibáñez:
Declarative Formalization of Strategies for Action Selection: Applications to Planning. 133-147

Ofer Arieli:
An Algorithmic Approach to Recover Inconsistent Knowledge-Bases. 148-162
Abhaya C. Nayak:
Acceptance Without Minimality. 163-178

Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde:
Reduction Theorems for Boolean Formulas Using Delta-Trees. 179-192
Pedro J. Martín, Antonio Gavilanes:
Simultaneous Rigid Sorted Unification. 193-208
Alexandre Riazanov, Andrei Voronkov:
Partially Adaptive Code Trees. 209-223

Henry Prakken:
On Dialogue Systems with Speech Acts, Arguments, and Counterarguments. 224-238
Gerard Vreeswijk, Henry Prakken:
Credulous and Sceptical Argument Games for Preferred Semantics. 239-253

Wiebe van der Hoek, Jan Jaspars, Elias Thijsse:
A General Approach to Multi-agent Minimal Knowledge. 254-268
Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
A Modal Logic for Network Topologies. 269-283
Antonio Moreno, Ulises Cortés, Ton Sales:
Avoiding Logical Omniscience by Using Subjective Situations. 284-299
Michael Wooldridge, Alessio Lomuscio:
Multi-agent VSK Logic. 300-312

Thomas Eiter, Thomas Lukasiewicz:
New Tractable Cases in Default Reasoning from Conditional Knowledge Bases. 313-328
Holger Sturm, Frank Wolter, Michael Zakharyaschev:
Monodic Epistemic Predicate Logic. 329-344

James P. Delgrande, Torsten Schaub, Hans Tompits:
A Compilation of Brewka and Eiter's Approach to Prioritization. 376-390
Marina De Vos, Dirk Vermeir:
A Logic for Modeling Decision Making with Dynamic Preferences. 391-406