Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings Author: Manuel Ojeda-Aciego, Inma P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira Published by Springer Berlin Heidelberg ISBN: 978-3-540-41131-4 DOI: 10.1007/3-540-40006-0 Table of Contents: ‘On Being Informed’: Update Logics for Knowledge States Considerations on Updates of Logic Programs The Semi-qualitative Reasoning about Distances: A Preliminary Report Hybrid Probabilistic Logic Programs as Residuated Logic Programs Topo-distance: Measuring the Difference between Spatial Patterns An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus Capturing Stationary and Regular Extensions with Reiter’s Extensions Representing the Process Semantics in the Event Calculus Declarative Formalization of Strategies for Action Selection: Applications to Planning An Algorithmic Approach to Recover Inconsistent Knowledge-Bases Acceptance Without Minimality Reduction Theorems for Boolean Formulas Using Δ-Trees Simultaneous Rigid Sorted Unification Partially Adaptive Code Trees On Dialogue Systems with Speech Acts, Arguments, and Counterarguments Credulous and Sceptical Argument Games for Preferred Semantics A General Approach to Multi-agent Minimal Knowledge A Modal Logic for Network Topologies Avoiding Logical Omniscience by Using Subjective Situations