Logics in Artificial Intelligence: European Workshop, Jelia 2000, Malaga, Spain, September 29-October 2, 2000 : Proceedings

by Ojeda-Aciego, Manuel; De Guzman, Inma P.; Brewka, Gerhard; Pereira, Luis Moniz

• ISBN13: 9783540411314
• ISBN10: 3540411313
• Format: Paperback
• Copyright: 2000-11-01
• Publisher: Springer Verlag

Summary

This book constitutes the refereed proceedings of the European Workshop on Logics in Artificial Intelligence, JELIA 2000, held in Malaga, Spain in September/October 2000. The 24 revised full papers presented together with three invited papers were carefully reviewed and selected out of 60 submissions. The papers are organized in topical sections on knowledge representation, reasoning about actions, belief revision, theorem proving, argumentation, agents, decidability and complexity, updates, and preferences.

Table of Contents

Invited Talks
`On Being Informed': Update Logics for Knowledge States	1	(1)
J. van Benthem
Considerations on Updates of Logic Programs	2	(19)
T. Eiter
M. Fink
G. Sabbatini
H. Tompits
The KeY Approach: Integrating Object Oriented Design and Formal Verification	21	(16)
W. Ahrendt
T. Baar
B. Beckert
M. Giese
E. Habermalz
R. Hahnle
W. Menzel
P. H. Schmitt
Semi-qualitative Reasoning about Distances: A Preliminary Report	37	(20)
H. Sturm
N.-Y. Suzuki
F. Wolter
M. Zakharyaschev
Regular Contributions
Knowledge Representation
Hybrid Probabilistic Logic Programs as Residuated Logic Programs	57	(16)
C. Viegas Damasio
L. Moniz Pereira
Topo-distance: Measuring the Difference between Spatial Patterns	73	(14)
M. Aiello
An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus	87	(15)
A. Frias Delgado
J. A. Jimenez Millan
Capturing Stationary and Regular Extensions with Reiter's Extensions	102	(16)
T. Janhunen
Reasoning about Actions
Representing the Process Semantics in the Event Calculus	118	(15)
C. Li
Declarative Formalization of Strategies for Action Selection: Applications to Planning	133	(15)
J. Sierra-Santibanez
Belief Revision
An Algorithmic Approach to Recover Inconsistent Knowledge-Bases	148	(15)
O. Arieli
Acceptance Without Minimality	163	(16)
A. C. Nayak
Theorem Proving
Reduction Theorems for Boolean Formulas Using Δ-Trees	179	(14)
G. Gutierrez
I. P. de Guzman
J. Martinez
M. Ojeda-Aciego
A. Valverde
Simulataneous Rigid Sorted Unification	193	(16)
P.J. Martin
A. Gavilanes
Partially Adaptive Code Trees	209	(15)
A. Riazanov
A. Voronkov
Argumentation
On Dialogue Systems with Speech Acts, Arguments, and Counterarguments	224	(15)
H. Prakken
Credulous and Sceptical Argument Games for Preferred Semantics	239	(15)
G. A. W. Vreeswijk
H. Prakken
Agents
A General Approach to Multi-agent Minimal Knowledge	254	(15)
W. van der Hoek
J. Jaspars
E. Thijsse
A Modal Logic for Network Topologies	269	(15)
R. M. van Eijk
F. S. de Boer
W. van der Hoek
J.-J. Ch. Meyer
Avoiding Logical Omniscience by Using Subjective Situations	284	(16)
A. Moreno
U. Cortes
T. Sales
Multi-agent VSK Logic	300	(13)
M. Wooldridge
A. Lomuscio
Decidability and Complexity
New Tractable Cases in Default Reasoning from Conditional Knowledge Bases	313	(16)
T. Eiter
T. Lukasiewicz
Monodic Epistemic Predicate Logic	329	(16)
H. Sturm
F. Wolter
M. Zakharyaschev
Updates
Updates plus Preferences	345	(16)
J. J. Alferes
L. Moniz Pereira
A Framework for Belief Update	361	(15)
P. Liberatore
Preferences
A Compilation of Brewka and Eiter's Approach to Prioritization	376	(15)
J. P. Delgrande
T. Schaub
H. Tompits
A Logic for Modeling Decision Making with Dynamic Preferences	391	(16)
M. De Vos
D. Vermeir
Author Index	407