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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Baral, Chitta (Επιμελητής έκδοσης), Brewka, Gerhard (Επιμελητής έκδοσης), Schlipf, John (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Σειρά: Lecture Notes in Computer Science, 4483
• Θέματα: Computer science.; Software engineering.; Computer programming.; Mathematical logic.; Artificial intelligence.; Computer Science.; Software Engineering/Programming and Operating Systems.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages.; Programming Techniques.

Πίνακας περιεχομένων:

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