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

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Baral, Chitta (Editor ), Brewka, Gerhard (Editor ), Schlipf, John (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edición:1st ed. 2007.
Colección:Lecture Notes in Artificial Intelligence, 4483
Temas:
Software engineering.
Artificial intelligence.
Machine theory.
Computer programming.
Software Engineering.
Artificial Intelligence.
Formal Languages and Automata Theory.
Programming Techniques.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares