Pages that link to "Item:Q5424888"
From MaRDI portal
The following pages link to Logic Programming and Nonmonotonic Reasoning (Q5424888):
Displaying 26 items.
- Approximation of action theories and its application to conformant planning (Q543583) (← links)
- Semantics and complexity of recursive aggregates in answer set programming (Q543600) (← links)
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs (Q622117) (← links)
- ASSAT: computing answer sets of a logic program by SAT solvers (Q814607) (← links)
- Possibilistic uncertainty handling for answer set programming (Q854974) (← links)
- Answer set programming based on propositional satisfiability (Q861709) (← links)
- Logic programs with abstract constraint atoms: the role of computations (Q969538) (← links)
- Evaluating ASP and commercial solvers on the CSPLib (Q1020490) (← links)
- On the relation among answer set solvers (Q1028643) (← links)
- Integrating answer set programming and constraint logic programming (Q1028649) (← links)
- Stable models and difference logic (Q1028651) (← links)
- Supportedly stable answer sets for logic programs with generalized atoms (Q2360180) (← links)
- Enhancing DLV instantiator by backjumping techniques (Q2426106) (← links)
- A new approach to hybrid probabilistic logic programs (Q2642628) (← links)
- The Intelligent Grounder of DLV (Q2900523) (← links)
- Advances in WASP (Q3449189) (← links)
- An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems (Q3638568) (← links)
- Shared aggregate sets in answer set programming (Q4559794) (← links)
- Fuzzy answer set computation via satisfiability modulo theories (Q4592999) (← links)
- Anytime answer set optimization via unsatisfiable core shrinking (Q4593041) (← links)
- Preface (Q4593090) (← links)
- Efficiently Coupling the I-DLV Grounder with ASP Solvers (Q4957193) (← links)
- Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search (Q4988946) (← links)
- (Q5020995) (← links)
- Expressiveness of Logic Programs under the General Stable Model Semantics (Q5278207) (← links)
- Automatic Composition of Melodic and Harmonic Music by Answer Set Programming (Q5504654) (← links)
