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

49,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

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben: Einfach Barcode scannen, Versandetikett ausdrucken, Bücher verschicken und Thalia Geschenkkarte erhalten.

Jetzt verkaufen
Jetzt verkaufen

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.