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.
- Backdoors to tractable answer set programming (Q2341833) (← links)
- Complexity results for answer set programming with bounded predicate arities and implications (Q2426101) (← links)
- FLP answer set semantics without circular justifications for general logic programs (Q2453743) (← links)
- Automated reformulation of specifications by safe delay of constraints (Q2457622) (← links)
- Compiling problem specifications into SAT (Q2457689) (← links)
- Relating weight constraint and aggregate programs: Semantics and representation (Q2845120) (← links)
- XSB: Extending Prolog with Tabled Logic Programming (Q2893097) (← links)
- To Vladimir Lifschitz on His 65th Birthday (Q2900498) (← links)
- Causal Logic Programming (Q2900512) (← links)
- Applications of Action Languages in Cognitive Robotics (Q2900522) (← links)
- Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming (Q2900538) (← links)
- Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains (Q2900545) (← links)
- Connecting First-Order ASP and the Logic FO(ID) through Reducts (Q2900547) (← links)
- Backdoors to Satisfaction (Q2908542) (← links)
- Representing first-order causal theories by logic programs (Q2909525) (← links)
- Anytime Computation of Cautious Consequences in Answer Set Programming (Q2931278) (← links)
- Improving the Normalization of Weight Rules in Answer Set Programs (Q2938492) (← links)
- Transition systems for model generators—A unifying approach (Q3087449) (← 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)
- Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs (Q4649731) (← links)
- D-FLAT: Declarative problem solving using tree decompositions and answer-set programming (Q4911127) (← links)
- Relational theories with null values and non-herbrand stable models (Q4911135) (← links)
- Conflict-driven ASP solving with external sources (Q4911141) (← links)
- Formalizing Negotiations Using Logic Programming (Q5169968) (← links)
- Explaining Preferences and Preferring Explanations (Q5172617) (← links)
- Reduction-Based Approaches to Implement Modgil’s Extended Argumentation Frameworks (Q5172619) (← links)
- Disjunctive logic programs with existential quantification in rule heads (Q5398295) (← links)
- Fuzzy answer sets approximations (Q5398309) (← links)
- Answer set programming as a modeling language for course timetabling (Q5398311) (← links)
- Finding optimal plans for multiple teams of robots through a mediator: A logic-based approach (Q5398314) (← 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)