Vor Ort
Merkzettel Warenkorb
  • Produktbild: Logics in AI
  • Produktbild: Logics in AI

Logics in AI European Workshop, JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings

Aus der Reihe Lecture Notes in Artificial Intelligence

99,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

26.02.1991

Herausgeber

Jan van Eijck

Verlag

Springer Berlin

Seitenzahl

569

Maße (L/B/H)

23,5/15,5/3 cm

Gewicht

970 g

Auflage

1991

Sprache

Englisch

ISBN

978-3-540-53686-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

26.02.1991

Herausgeber

Jan van Eijck

Verlag

Springer Berlin

Seitenzahl

569

Maße (L/B/H)

23,5/15,5/3 cm

Gewicht

970 g

Auflage

1991

Sprache

Englisch

ISBN

978-3-540-53686-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 AI
  • Produktbild: Logics in AI
  • Commonsense entailment: A modal theory of nonmonotonic reasoning.- Gaggle theory: An abstraction of Galois connections and residuation, with applications to negation, implication, and various logical operators.- Belief revision and nonmonotonic logic: Two sides of the same coin?.- Two theories of dynamic semantics.- What is a Horn clause in partial logic?.- Semantic interpretation as higher-order deduction.- Action logic and pure induction.- Loop checking and negation.- On generative capacity of the Lambek calculus.- Extending resolution for model construction.- A first order logic of truth, knowledge and belief.- The optimal model of a program with negation.- NM3 — A three-valued cumulative non-monotonic formalism.- Constructive matching — A methodology for inductive theorem proving.- Deductive inference operations.- A constraint logic approach to modal deduction.- Dynamic semantics and VP-ellipsis.- Systems for knowledge and beliefs.- Awareness, negation and Logical omniscience.- Theoretical circumscription in partial modal logic.- A logical basis for object oriented programming.- A computationally attractive first-order logic of belief.- Polymorphic constructs in natural and programming languages.- The net-clause language — A tool for data-driven inference.- The logical compilation of knowledge bases.- Non-monotonic reasoning by monotonic means.- Anaphora and the logic of change.- Towards automatic autoepistemic reasoning.- Towards a connection procedure with built in theories.- On the equivalence of deferred substitution and immediate substitution semantics for Logic Programs.- Towards a formal theory of intentions.- Note on effective constructibility of resolution proof systems.- The logic of objective knowledge and rational belief.- A complete logic for autoepistemic membership.- Doxastic preference logic.- Partial semantics for truth maintenance.