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

Gerhard Brewka

Books by Gerhard Brewka (50 max)

Nonmonotonic reasoning: logical foundations of commonsense

Nonmonotonic and inductive logic: second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings

Logics in Artificial Intelligence: European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings (Lecture Notes in Computer Science)

Nonmonotonic logics An introductory overview

Principles of knowledge representation

Principles of Knowledge Representation

KI 2001 : Advances in Artificial Intelligence Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings

Principles of Knowledge Representation and Reasoning Proceedings of the Eleventh International Conference CD-ROM