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.
Author(s): Johan van Benthem (auth.), Manuel Ojeda-Aciego, Inma P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira (eds.)
Series: Lecture Notes in Computer Science 1919 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2000
Language: English
Pages: 412
Tags: Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Programming Techniques
‘On Being Informed’: Update Logics for Knowledge States....Pages 1-1
Considerations on Updates of Logic Programs....Pages 2-20
The Approach: Integrating Object Oriented Design and Formal Verification....Pages 21-36
Semi-qualitative Reasoning about Distances: A Preliminary Report....Pages 37-56
Reduction Theorems for Boolean Formulas Using Δ-Trees....Pages 179-192
Simultaneous Rigid Sorted Unification....Pages 193-208
Partially Adaptive Code Trees....Pages 209-223
On Dialogue Systems with Speech Acts, Arguments, and Counterarguments....Pages 224-238
Credulous and Sceptical Argument Games for Preferred Semantics....Pages 239-253
A General Approach to Multi-agent Minimal Knowledge....Pages 254-268
A Modal Logic for Network Topologies....Pages 269-283
Avoiding Logical Omniscience by Using Subjective Situations....Pages 284-299
Hybrid Probabilistic Logic Programs as Residuated Logic Programs....Pages 57-72
Topo-distance: Measuring the Difference between Spatial Patterns....Pages 73-86
An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus....Pages 87-101
Capturing Stationary and Regular Extensions with Reiter’s Extensions....Pages 102-117
Representing the Process Semantics in the Event Calculus....Pages 118-132
Declarative Formalization of Strategies for Action Selection: Applications to Planning....Pages 133-147
An Algorithmic Approach to Recover Inconsistent Knowledge-Bases....Pages 148-162
Acceptance Without Minimality....Pages 163-178
New Tractable Cases in Default Reasoning from Conditional Knowledge Bases....Pages 300-312
Monodic Epistemic Predicate Logic....Pages 313-328
Updates plus Preferences....Pages 329-344
A Framework for Belief Update....Pages 345-360
A Compilation of Brewka and Eiter’s Approach to Prioritization....Pages 361-375
A Logic for Modeling Decision Making with Dynamic Preferences....Pages 376-390
....Pages 391-406
