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):
Displayed 50 items.
- 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)
- 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)
- 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)
- Complexity results for answer set programming with bounded predicate arities and implications (Q2426101) (← links)
- Automated reformulation of specifications by safe delay of constraints (Q2457622) (← links)
- Compiling problem specifications into SAT (Q2457689) (← links)
- Characterizations of stable model semantics for logic programs with arbitrary constraint atoms (Q3183130) (← links)
- Strongly Equivalent Temporal Logic Programs (Q3532454) (← links)
- On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability (Q3534675) (← links)
- Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs (Q3546042) (← links)
- A translational approach to constraint answer set solving (Q3585161) (← links)
- Loop formulas for description logic programs (Q3585166) (← links)
- Logic programming for finding models in the logics of knowledge and its applications: A case study (Q3585176) (← links)
- Testing and debugging techniques for answer set solver development (Q3585183) (← links)
- Thirteen Definitions of a Stable Model (Q3586017) (← links)
- Automata and Answer Set Programming (Q3605538) (← links)
- Justifications for logic programs under answer set semantics (Q3612602) (← links)
- On finitely recursive programs (Q3621269) (← links)
- Answer Set Programming: A Primer (Q3638997) (← links)
- Some (in)translatability results for normal logic programs and propositional theories (Q3647255) (← links)
- Relativized hyperequivalence of logic programs for modular programming (Q3648358) (← links)
- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming (Q5458423) (← links)
- SMS and ASP: Hype or TST? (Q5504647) (← links)
- Quo Vadis Answer Set Programming? (Q5504648) (← links)
- Answer Set Programming without Unstratified Negation (Q5504649) (← links)
- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming (Q5504653) (← links)
- Lparse Programs Revisited: Semantics and Representation of Aggregates (Q5504666) (← links)