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