Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95, Lexington, KY, USA, June 26-28 1995 Proceedings (Lecture Notes in Artificial Intelligence 928) - Taschenbuch

EAN (ISBN-13): 9783540594871
ISBN (ISBN-10): 3540594876
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1995
Herausgeber: Springer Berlin
436 Seiten
Gewicht: 0,655 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2008-01-27T20:05:29+01:00 (Zurich)
Detailseite zuletzt geändert am 2023-02-03T20:34:45+01:00 (Zurich)
ISBN/EAN: 9783540594871

ISBN - alternative Schreibweisen:
3-540-59487-6, 978-3-540-59487-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: wiktor, marek, nero
Titel des Buches: lexington conference, 928, logic programming artificial intelligence reasoning, logic pro, lecture notes computer science, proceedings artificial intelligence conference, third international conference, nonmonotonic logic

---

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: 1995-06-07
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
IX, 415 p.

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

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.