KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Logic Programming and Nonmonotonic Reasoning
  • Produktbild: Logic Programming and Nonmonotonic Reasoning
Band 4483

Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings

Aus der Reihe Lecture Notes in Artificial Intelligence

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

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.-...

Beschreibung

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.

Produktdetails

Einband

Taschenbuch
Erscheinungsdatum

27.04.2007
Abbildungen

IX, 327 p.
Herausgeber Chitta Baral + weitere

Produktdetails

Einband

Taschenbuch
Erscheinungsdatum

27.04.2007
Abbildungen

IX, 327 p.
Herausgeber
Verlag Springer Berlin
Seitenzahl

327
Maße (L/B/H)

23,5/15,5/1,9 cm
Gewicht

522 g
Auflage

2007
Sprache

Englisch
ISBN

978-3-540-72199-4
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
  • 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.