Logics in Artificial Intelligence

Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 ProceedingsAuthor: 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-0Table 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