Logic Programming and Nonmonotonic Reasoning - neues Buch

EAN (ISBN-13): 9783540722007
Erscheinungsjahr: 2007
Herausgeber: Springer Berlin Heidelberg

Buch in der Datenbank seit 2017-04-19T00:31:26+02:00 (Zurich)
Detailseite zuletzt geändert am 2024-03-25T11:31:29+01:00 (Zurich)
ISBN/EAN: 9783540722007

ISBN - alternative Schreibweisen:
978-3-540-72200-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: gerhard john, schlip, baral
Titel des Buches: logic programming

---

Daten vom Verlag:

Autor/in: Chitta Baral; Gerhard Brewka; John Schlipf
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Logic Programming and Nonmonotonic Reasoning - 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings
Verlag: Springer; Springer Berlin
327 Seiten
Erscheinungsjahr: 2007-06-06
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
IX, 327 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; AI logics; answer set programming; cognitive robotics; complexity; computational logics; constraint programming; database logic; heuristics; inference engines; knowledge representation; logic; nonmonotonic reasoning; programming language; robot; semantics; C; Software Engineering; Artificial Intelligence; Formal Languages and Automata Theory; Programming Techniques; Computer Science; Künstliche Intelligenz; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; BC

Invited Talks/Competition.- Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and Applications.- Policy-Based Computing: From Systems and Applications to Theory.- The First Answer Set Programming System Competition.- Technical Papers.- cr-models: An Inference Engine for CR-Prolog.- Debugging ASP Programs by Means of ASP.- A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation.- Complexity of Default Logic on Generalized Conjunctive Queries.- A Preference-Based Framework for Updating Logic Programs.- Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions.- On the Complexity of Answer Set Programming with Aggregates.- Experimenting with Look-Back Heuristics for Hard ASP Programs.- Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains.- Conflict-Driven Answer Set Enumeration.- Head-Elementary-Set-Free Logic Programs.- A Deductive System for PC(ID).- Modularity Aspects of Disjunctive Stable Models.- A Characterization of Strong Equivalence for Logic Programs with Variables.- A Unified Semantics for Constraint Handling Rules in Transaction Logic.- Conditional Planning with External Functions.- Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities.- General Default Logic.- System Descriptions.- The System: Logic Programming Meets Outlier Detection.- clasp: A Conflict-Driven Answer Set Solver.- GrinGo: A New Grounder for Answer Set Programming.- Using Answer Sets to Solve Belief Change Problems.- An Smodels System with Limited Lookahead Computation.- Programming Applications in CIFF.- CPP: A Constraint Logic Programming Based Planner with Preferences.- Posters.- An Application of Defeasible Logic Programming to Decision Making in a Robotic Environment.- On the Effectiveness of Looking Ahead in Search for Answer Sets.- Enhancing ASP Systems for Planning with Temporal Constraints.- Semantics for Possibilistic Disjunctive Programs.- Modularity in smodels Programs.