Pages that link to "Item:Q1978008"
From MaRDI portal
The following pages link to Logic programs with stable model semantics as a constraint programming paradigm (Q1978008):
Displaying 50 items.
- On abstract modular inference systems and solvers (Q286083) (← links)
- Ordered completion for first-order logic programs on finite structures (Q420824) (← links)
- Guarantees and limits of preprocessing in constraint satisfaction and reasoning (Q460604) (← links)
- On the parameterized complexity of non-monotonic logics (Q494658) (← links)
- Learning discrete decomposable graphical models via constraint optimization (Q517387) (← links)
- Stable models and circumscription (Q543596) (← links)
- From answer set logic programming to circumscription via logic of GK (Q543597) (← links)
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs (Q622117) (← links)
- Extending Removed Sets Revision to partially preordered belief bases (Q622290) (← links)
- The complexity of recursive constraint satisfaction problems (Q636283) (← links)
- Weight constraint programs with evaluable functions (Q645084) (← links)
- An approach from answer set programming to decision making in a railway interlocking system (Q740741) (← links)
- The loop formula based semantics of description logic programs (Q764312) (← links)
- Aggregated fuzzy answer set programming (Q766043) (← links)
- Logic programming with infinite sets (Q812390) (← links)
- A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system (Q814436) (← links)
- Nonmonotonic causal theories (Q814551) (← links)
- Heuristic planning: A declarative approach based on strategies for action selection (Q814564) (← links)
- ASSAT: computing answer sets of a logic program by SAT solvers (Q814607) (← links)
- Strong order equivalence (Q854968) (← links)
- Possibilistic uncertainty handling for answer set programming (Q854974) (← links)
- Answer set programming based on propositional satisfiability (Q861709) (← links)
- Ordered completion for logic programs with aggregates (Q892233) (← links)
- Design and results of the Fifth Answer Set Programming Competition (Q899444) (← links)
- Extended RDF: computability and complexity issues (Q905991) (← links)
- Modeling biological networks by action languages via answer set programming (Q941667) (← links)
- Logic programs with abstract constraint atoms: the role of computations (Q969538) (← links)
- Evaluating ASP and commercial solvers on the CSPLib (Q1020490) (← links)
- My work with Victor Marek: a mathematician looks at answer set programming (Q1028636) (← links)
- On the relation among answer set solvers (Q1028643) (← links)
- Integrating answer set programming and constraint logic programming (Q1028649) (← links)
- Consistency properties and set based logic programming (Q1028650) (← links)
- Stable models and difference logic (Q1028651) (← links)
- Inductive situation calculus (Q1028914) (← links)
- Exploiting functional dependencies in declarative problem specifications (Q1028967) (← links)
- Set based logic programming (Q1029592) (← links)
- How to fake an RSA signature by encoding modular root finding as a SAT problem (Q1408375) (← links)
- Logic programming and knowledge representation---The A-Prolog perspective (Q1603731) (← links)
- Answer set programming and plan generation (Q1603732) (← links)
- Extending and implementing the stable model semantics (Q1603743) (← links)
- Abduction in logic programming: A new definition and an abductive procedure based on rewriting (Q1614866) (← links)
- Three-valued semantics for hybrid MKNF knowledge bases revisited (Q1677437) (← links)
- Causal effect identification in acyclic directed mixed graphs and gated models (Q1678412) (← links)
- A constraint optimization approach to causal discovery from subsampled time series data (Q1678425) (← links)
- A progression semantics for first-order logic programs (Q1680677) (← links)
- What is answer set programming to propositional satisfiability (Q1699519) (← links)
- \textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming (Q1730740) (← links)
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- Autoepistemic answer set programming (Q2046018) (← links)
- Model reconciliation in logic programs (Q2055814) (← links)
