Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig vom 24.08.2026 bis 26.08.2026 | Gültig für nicht preisgebundene fremdsprachige Bücher | Einzelne Artikel können ausgeschlossen sein | Online auf www.bücher.de einlösbar | Click & Collect nur mit Online-Zahlung (Paypal/Kreditkarte) vorab | Nicht kombinierbar mit anderen Gutscheinen oder Preisaktionen | Nur einmal pro Einkauf einlösbar | Gutschein wird auf max. 500€ Bestellwert angerechnet | Keine Barauszahlung | Nicht gültig für Versandkosten und Services
  • 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 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: 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.