Vor Ort
Merkzettel Warenkorb
Produktbild: Logics in Artificial Intelligence

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

Aus der Reihe Lecture Notes in Artificial Intelligence

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

20.09.2000

Herausgeber

Manuel Ojeda-Aciego + weitere

Verlag

Springer Berlin

Seitenzahl

412

Maße (L/B/H)

23,3/15,5/2,3 cm

Gewicht

634 g

Auflage

2000

Sprache

Englisch

ISBN

978-3-540-41131-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

20.09.2000

Herausgeber

Verlag

Springer Berlin

Seitenzahl

412

Maße (L/B/H)

23,3/15,5/2,3 cm

Gewicht

634 g

Auflage

2000

Sprache

Englisch

ISBN

978-3-540-41131-4

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Logics in Artificial Intelligence
  • 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.