Willkommen, schön sind Sie da!
Logo Ex Libris

Logics in Artificial Intelligence

  • E-Book (pdf)
  • 412 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the refereed proceedings of the European Workshop on Logics in Artificial Intelligence, JELIA 2000, held in... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hiererhalten Sie Ihren Download-Link.
CHF 126.90
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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.



Inhalt

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.

Produktinformationen

Titel: Logics in Artificial Intelligence
Untertitel: European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings
Editor:
EAN: 9783540400066
Digitaler Kopierschutz: Wasserzeichen
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Anzahl Seiten: 412
Veröffentlichung: 26.06.2003
Dateigrösse: 4.9 MB

Weitere Bände aus der Buchreihe "Lecture Notes in Artificial Intelligence"