Logics in artificial intelligence

Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings<br />Author: Manuel Ojeda-Aciego, Inma P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira<br /> Published by Springer Berlin Heidelberg<br /> ISBN: 978-3-540-41131-4<br /> DOI: 10.1007/3-540-40006-0<br /><br />Table of Contents:<p></p><ul><li>‘On Being Informed’: Update Logics for Knowledge States </li><li>Considerations on Updates of Logic Programs </li><li>The </li><li>Semi-qualitative Reasoning about Distances: A Preliminary Report </li><li>Hybrid Probabilistic Logic Programs as Residuated Logic Programs </li><li>Topo-distance: Measuring the Difference between Spatial Patterns </li><li>An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus </li><li>Capturing Stationary and Regular Extensions with Reiter’s Extensions </li><li>Representing the Process Semantics in the Event Calculus </li><li>Declarative Formalization of Strategies for Action Selection: Applications to Planning </li><li>An Algorithmic Approach to Recover Inconsistent Knowledge-Bases </li><li>Acceptance Without Minimality </li><li>Reduction Theorems for Boolean Formulas Us