ISBN: 3540411313
TITLE: Logics in Artificial Intelligence
AUTHOR: Ojeda-Aciego, Manuel; Guzman, Inma P. de; Brewka, Gerhard; Pereira, Luis M. (Eds.)
TOC:

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