Vor Ort
Merkzettel Warenkorb
Produktbild: Logics in Artificial Intelligence
Band 1126

Logics in Artificial Intelligence European Workshop, JELIA '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings

Aus der Reihe Lecture Notes in Artificial Intelligence

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.08.1996

Herausgeber

Jose Julio Alferes + weitere

Verlag

Springer Berlin

Seitenzahl

426

Maße (L/B/H)

23,6/15,6/2,7 cm

Gewicht

697 g

Auflage

1996. 1996

Sprache

Englisch

ISBN

978-3-540-61630-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.08.1996

Herausgeber

Verlag

Springer Berlin

Seitenzahl

426

Maße (L/B/H)

23,6/15,6/2,7 cm

Gewicht

697 g

Auflage

1996. 1996

Sprache

Englisch

ISBN

978-3-540-61630-6

Herstelleradresse

Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg
DE
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
  • Hyper tableaux.- An algorithm for the retrieval of unifiers from discrimination trees.- Building proofs or counterexamples by analogy in a resolution framework.- What you always wanted to know about rigid E-unification.- Labelled proofs for quantified modal logic.- A uniform tableaux method for nonmonotonic modal logics.- Design and implementation of diagnostic strategies using modal logic.- A modal action logic based framework for organization specification and analysis.- McCarthy's idea.- Strong and explicit negation in non-monotonic reasoning and logic programming.- Only persistence makes nonmonotonicity monotonous.- Ordering-based representations of rational inference.- Semi-representability of default theories in rational default logic.- A query answering algorithm for Lukaszewicz' general open default theory.- Infinitary default logic for specification of nonmonotonic reasoning.- A system for computing constrained default logic extensions.- The Oz programming model.- An abductive framework for negation in disjunctive logic programming.- Characterizing D-WFS: Confluence and iterated GCWA.- Modules and specifications.- Logic programming with integrity constraints.- Temporal reasoning over linear discrete time.- Similarity saturation for first order linear temporal logic with UNLESS.- Carving Up space: Steps towards construction of an absolutely complete theory of spatial regions.- Informational logic for automated reasoning.- Extensions for open default theories via the domain closure assumption.- Revising and updating using a back-up semantics.- A simple signed system for paraconsistent reasoning.