Vor Ort
Merkzettel Warenkorb
  • Produktbild: Logic Programming and Nonmonotonic Reasoning
  • Produktbild: Logic Programming and Nonmonotonic Reasoning
Band 1265

Logic Programming and Nonmonotonic Reasoning Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings

Aus der Reihe Lecture Notes in Artificial Intelligence

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

02.07.1997

Abbildungen

XI, 461 p.

Herausgeber

Ulrich Furbach + weitere

Verlag

Springer Berlin

Seitenzahl

461

Maße (L/B/H)

23,5/15,5/2,6 cm

Gewicht

709 g

Auflage

1997

Sprache

Englisch

ISBN

978-3-540-63255-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

02.07.1997

Abbildungen

XI, 461 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

461

Maße (L/B/H)

23,5/15,5/2,6 cm

Gewicht

709 g

Auflage

1997

Sprache

Englisch

ISBN

978-3-540-63255-9

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

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: Logic Programming and Nonmonotonic Reasoning
  • Produktbild: Logic Programming and Nonmonotonic Reasoning
  • Forward and backward chaining in constraint programming.- Strong and weak constraints in disjunctive datalog.- Nonmonotonic reasoning with quantified boolean constraints.- Improving the alternating fixpoint: The transformation approach.- Is non-monotonic reasoning always harder.- Complexity of only knowing: The prepositional case.- Affordable classes of normal logic programs.- Automated reasoning with nonmonotonic logics.- Simulations between programs as cellular automata.- Separating disbeliefs from beliefs in autoepistemic reasoning.- Power defaults (preliminary report).- A study of Przymusinski's static semantics.- Resolution for skeptical stable semantics.- Computing non-ground representations of stable models.- Industry needs for integrated information services.- Computing, solving, proving: A report on the Theorema project.- Towards a systematic approach to representing knowledge in declarative logic programming.- A paraconsistent semantics with contradiction support detection.- On conservative enforced updates.- A general framework for revising nonmonotonic theories.- Composing general logic programs.- Modular logic programming and generalized quantifiers.- Programs with universally quantified embedded implications.- Generalized query answering in disjunctive deductive databases: Procedural and nonmonotonic aspects.- DisLoP: Towards a disjunctive logic programming system.- REVISE: Logic programming and diagnosis.- A deductive system for non-monotonic reasoning.- The deductive database system LOLA.- ACLP: Flexible solutions to complex problems.- Nonmonotonic reasoning in FLORID.- GLUE: Opening the world to theorem provers.- Smodels — an implementation of the stable model and well-founded semantics for normal logic programs.- XSB: A system for efficientlycomputing well-founded semantics.- An implementation platform for query-answering in default logics: The XRay system, its implementation and evaluation.