Logic Programming
From MaRDI portal
Publication:5475769
DOI10.1007/11562931zbMath1165.68481OpenAlexW2104948204MaRDI QIDQ5475769
Sabrina Baselice, Piero A. Bonatti, Michael Gelfond
Publication date: 27 June 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11562931
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)
Related Items (18)
Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules ⋮ A Semantic Account for Modularity in Multi-language Modelling of Search Problems ⋮ Shared aggregate sets in answer set programming ⋮ ASPeRiX, a first-order forward chaining approach for answer set computing ⋮ Clingcon: The next generation ⋮ CASP solutions for planning in hybrid domains ⋮ Metric dynamic equilibrium logic ⋮ Metric temporal answer set programming over timed traces ⋮ Relating constraint answer set programming languages and algorithms ⋮ Constraint Answer Set Solving ⋮ Approximation of action theories and its application to conformant planning ⋮ The External Interface for Extending WASP ⋮ A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders ⋮ Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation ⋮ Preface ⋮ Towards a Type Discipline for Answer Set Programming ⋮ Integrating answer set programming and constraint logic programming ⋮ Stable models and difference logic
Uses Software
This page was built for publication: Logic Programming
