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…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540492825
Mathematics; Mathematical Logic and Foundations; Logics and Meanings of Programs; Programming Techniques; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages… Mehr…
Springer.com Versandkosten: EUR 0.00 Details... |
ISBN: 9783540492825
Mathematics; Mathematical Logic and Foundations; Logics and Meanings of Programs; Programming Techniques; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages… Mehr…
Springer.com Versandkosten:zzgl. Versandkosten. Details... |
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…
V. Wiktor Marek; Anil Nerode; Miroslaw Truszcynski:
Logic Programming and Nonmonotonic Reasoning - neues BuchISBN: 9783540492825
Mathematics; Mathematical Logic and Foundations; Logics and Meanings of Programs; Programming Techniques; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages… Mehr…
ISBN: 9783540492825
Mathematics; Mathematical Logic and Foundations; Logics and Meanings of Programs; Programming Techniques; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
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.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783031157073 Logic Programming and Nonmonotonic Reasoning
- 9783031157073 Logic Programming and Nonmonotonic Reasoning
- 9783030205287 Logic Programming and Nonmonotonic Reasoning (Marcello Balduccini; Yuliya Lierler; Stefan Woltran)
- 0003540632557 Logic Programming and Nonmonotonic Reasoning: Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings (Lecture Notes in Computer Science) (Nerode, Anil, Fuhrbach, Ulrich, Dix, J??rgen)
- 9783030205270 Logic Programming and Nonmonotonic Reasoning (Balduccini, Marcello|Lierler, Yuliya|Woltran, Stefan)
- 9783319232638 Logic Programming and Nonmonotonic Reasoning (Francesco Calimeri; Giovambattista Ianni; Miroslaw Truszczynski)
< zum Archiv...