Vor Ort
Merkzettel Warenkorb
  • Produktbild: Logics in Artificial Intelligence
  • Produktbild: Logics in Artificial Intelligence
Band 1489

Logics in Artificial Intelligence European Workshop, JELIA ’98 Dagstuhl, Germany, October 12–15, 1998 Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

02.10.1998

Abbildungen

X, 390 p.

Herausgeber

Farinas Luis Del Cerro + weitere

Verlag

Springer Berlin

Seitenzahl

390

Maße (L/B/H)

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

Gewicht

616 g

Auflage

1998

Sprache

Englisch

ISBN

978-3-540-65141-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

02.10.1998

Abbildungen

X, 390 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

390

Maße (L/B/H)

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

Gewicht

616 g

Auflage

1998

Sprache

Englisch

ISBN

978-3-540-65141-3

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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
  • Produktbild: Logics in Artificial Intelligence
  • Logic Programming.- The Well-Founded Semantics Is the Principle of Inductive Definition.- Combining Introspection and Communication with Rationality and Reactivity in Agents.- Disjunctive Logic Program = Horn Program + Control Program.- Semantics of Partial-Order Programs.- Epistemic Logics.- Persistence and Minimality in Epistemic Logic.- Prohairetic Deontic Logic (PDL).- Phased Labeled Logics of Conditional Goals.- Theorem Proving.- Analysis of Distributed-Search Contraction-Based Strategies.- A Deduction Method Complete for Refutation and Finite Satisfiability.- Requirement-Based Cooperative Theorem Proving.- ?-Resolution: An Inference Rule for Regular Multiple-Valued Logics.- A Matrix Characterization for .- A Resolution Calculus for Dynamic Semantics.- Algorithms on Atomic Representations of Herbrand Models.- Non-monotonic Reasoning.- On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription.- An Approach to Query-Answering in Reiter’s Default Logic and the Underlying Existence of Extensions Problem.- Towards State Update Axioms: Reifying Successor State Axioms.- Non-standard Logics.- A Mechanised Proof System for Relation Algebra Using Display Logic.- Relative Similarity Logics are Decidable: Reduction to FO2 with Equality.- A Conditional Logic for Belief Revision.- Implicates and Reduction Techniques for Temporal Logics.- A Logic for Anytime Deduction and Anytime Compilation.- Knowledge Representation.- On Knowledge, Strings, and Paradoxes.- Propositional Lower Bounds: Generalization and Algorithms.- Higher Order Logics.- Higher Order Generalization.- Invited Talks.- The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events Summary.- Towards Inference and Computation Mobility:The Jinni Experiment.