- 3 Ergebnisse
Kleinster Preis: € 63,06, größter Preis: € 64,19, Mittelwert: € 63,44
1
Logic Programming and Nonmonotonic Reasoning - V. Wiktor Marek; Anil Nerode; Miroslaw Truszcynski
Bestellen
bei Springer.com
€ 64,19
Bestellengesponserter Link
V. Wiktor Marek; Anil Nerode; Miroslaw Truszcynski:

Logic Programming and Nonmonotonic Reasoning - neues Buch

ISBN: 9783540492825

This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '95, held in Lexing… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
2
Logic Programming and Nonmonotonic Reasoning - V. Wiktor Marek; Anil Nerode; Miroslaw Truszcynski
Bestellen
bei Springer.com
€ 63,06
Versand: € 0,001
Bestellengesponserter Link

V. Wiktor Marek; Anil Nerode; Miroslaw Truszcynski:

Logic Programming and Nonmonotonic Reasoning - neues Buch

ISBN: 9783540492825

Mathematics; Mathematical Logic and Foundations; Logics and Meanings of Programs; Programming Techniques; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages… Mehr…

  - Versandkosten: EUR 0.00
3
Logic Programming and Nonmonotonic Reasoning - V. Wiktor Marek; Anil Nerode; Miroslaw Truszcynski
Bestellen
bei Springer.com
€ 63,06
Bestellengesponserter Link
V. Wiktor Marek; Anil Nerode; Miroslaw Truszcynski:
Logic Programming and Nonmonotonic Reasoning - neues Buch

ISBN: 9783540492825

Mathematics; Mathematical Logic and Foundations; Logics and Meanings of Programs; Programming Techniques; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages… Mehr…

  - Versandkosten:zzgl. Versandkosten.

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch

Detailangaben zum Buch - Logic Programming and Nonmonotonic Reasoning


EAN (ISBN-13): 9783540492825
Herausgeber: Springer Science+Business Media

Buch in der Datenbank seit 2017-02-04T22:44:23+01:00 (Vienna)
Detailseite zuletzt geändert am 2021-10-13T16:48:17+02:00 (Vienna)
ISBN/EAN: 9783540492825

ISBN - alternative Schreibweisen:
978-3-540-49282-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: logic programming


Daten vom Verlag:

Autor/in: V. Wiktor Marek; Anil Nerode; Miroslaw Truszcynski
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Logic Programming and Nonmonotonic Reasoning - Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings
Verlag: Springer; Springer Berlin
415 Seiten
Erscheinungsjahr: 2005-06-30
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
IX, 415 p.

EA; E107; eBook; Nonbooks, PBS / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; Nichtklassische Logiken; Nichtmonotones Schließen; Programm-Semantik; artificial intelligence; logic; logic programming; nonclassical logics; nonmonotonic reasoning; program semantics; prolog; C; Mathematical Logic and Foundations; Logics and Meanings of Programs; Programming Techniques; Artificial Intelligence; Mathematical Logic and Formal Languages; Mathematical Logic and Foundations; Computer Science Logic and Foundations of Programming; Programming Techniques; Artificial Intelligence; Formal Languages and Automata Theory; Computer Science; Mathematische Grundlagen; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; Künstliche Intelligenz; BC

Complexity results for abductive logic programming.- A terminological interpretation of (abductive) logic programming.- Abduction over 3-valued extended logic programs.- On logical constraints in logic programming.- An operator for composing deductive data bases with theories of constraints.- Update rules in datalog programs.- Characterizations of the stable semantics by partial evaluation.- Game characterizations of logic program properties.- Computing the well-founded semantics faster.- Loop checking and the well-founded semantics.- Annotated revision specification programs.- Update by means of inference rules.- A sphere world semantics for default reasoning.- Revision by communication.- Hypothetical updates, priority and inconsistency in a logic programming language.- Situation calculus specifications for event calculus logic programs.- On the extension of logic programming with negation through uniform proofs.- Default consequence relations as a logical framework for logic programs.- Skeptical rational extensions.- Reasoning with stratified default theories.- Incremental methods for optimizing partial instantiation.- A transformation of propositional Prolog programs into classical logic.- Nonmonotonic inheritance, argumentation and logic programming.- An abductive framework for extended logic programming.- Embedding circumscriptive theories in general disjunctive programs.- Stable classes and operator pairs for disjunctive programs.- Nonmonotonicity and answer set inference.- Trans-epistemic semantics for logic programs.- Computing the acceptability semantics.

< zum Archiv...