Logics in Artificial Intelligence

European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings

424 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

Invited Talks.- 'On Being Informed': Update Logics for Knowledge States.- Considerations on Updates of Logic Programs.- The Approach: Integrating Object Oriented Design and Formal Verification.- Semi-qualitative Reasoning about Distances: A Preliminary Report.- Regular Contributions.- 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.- Multi-agent Logic.- New Tractable Cases in Default Reasoning from Conditional Knowledge Bases.- Monodic Epistemic Predicate Logic.- Updates plus Preferences.- A Framework for Belief Update.- A Compilation of Brewka and Eiter's Approach to Prioritization.- A Logic for Modeling Decision Making with Dynamic Preferences.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Künstliche Intelligenz (KI)
• ISBN: 9783540411314
• Sprache: Englisch
• Erscheinungsdatum: 20.09.2000
• Größe: 233 x 155 mm
• Verlag: Springer
• Herausgegeben von: Inma P. De Guzman, Luis M. Pereira, Manuel Ojeda-Aciego, Gerhard Brewka