Logics in Artificial Intelligence
Subtitle: European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings (Lecture Notes in Computer Science)
Contributors: Manuel Ojeda-Aciego (Editor); Inma P. de Guzman (Editor); Gerhard Brewka (Editor); Luis M. Pereira (Editor)
Edition: 1 edition
Publisher: Springer
Published: November 10, 2000
Language: eng
Format: Paperback
Number of pages: 406
ISBN-13: 9783540411314
Subjects: Artificial Intelligence; Programming languages; Logic, Symbolic and mathematical; Computers - General Information; Science; System Theory; Logic, Symbolic and mathematic; Computer Books: General; Logic; Congresses; Artificial Intelligence - General; General; Programming - General; Computers / Artificial Intelligence; Computers-Programming - General; Medical-General
First sentence: In recent years, agent-based computing has gained increasing interest.
Description: 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 Using Δ-Trees
</li><li>Simultaneous Rigid Sorted Unification
</li><li>Partially Adaptive Code Trees
</li><li>On Dialogue Systems with Speech Acts, Arguments, and Counterarguments
</li><li>Credulous and Sceptical Argument Games for Preferred Semantics
</li><li>A General Approach to Multi-agent Minimal Knowledge
</li><li>A Modal Logic for Network Topologies
</li><li>Avoiding Logical Omniscience by Using Subjective Situations</li></ul>