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.
- 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)
- Cautious reasoning in ASP via minimal models and unsatisfiable cores (Q4559795) (← links)
- Argumentation-Based Semantics for Logic Programs with First-Order Formulae (Q4571139) (← links)
- Temporal equilibrium logic: a survey (Q4583305) (← links)
- On the relation between SPARQL1.1 and Answer Set Programming (Q4583314) (← links)
- Temporal Equilibrium Logic with past operators (Q4586227) (← links)
- Achievements in answer set programming (Q4592719) (← links)
- Generating explanations for biomedical queries (Q4592972) (← links)
- Fuzzy answer set computation via satisfiability modulo theories (Q4592999) (← links)
- A denotational semantics for equilibrium logic (Q4593002) (← links)
- An infinitary encoding of temporal equilibrium logic (Q4593006) (← links)
- A model building framework for answer set programming with external computations (Q4593036) (← links)
- Disjunctive answer set solvers via templates (Q4593037) (← links)
- Anytime answer set optimization via unsatisfiable core shrinking (Q4593041) (← links)
- Stable-unstable semantics: Beyond NP with normal logic programs (Q4593043) (← links)
- Justifications for programs with disjunctive and causal-choice rules (Q4593044) (← links)
- Temporal logic programs with variables (Q4593085) (← links)
- <tt>ASPeRiX</tt>, a first-order forward chaining approach for answer set computing (Q4593088) (← links)
- Preface (Q4593090) (← links)
- Constraint answer set solver EZCSP and why integration schemas matter (Q4593093) (← links)
- CASP solutions for planning in hybrid domains (Q4593097) (← links)
- Solving distributed constraint optimization problems using logic programming (Q4593098) (← links)
- Stepwise debugging of answer-set programs (Q4603428) (← links)
- Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs (Q4649731) (← links)
- Extending Logic Programming with Labelled Variables: Model and Semantics (Q4686514) (← 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)
- The Seventh Answer Set Programming Competition: Design and Results (Q4957192) (← links)
- A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders (Q4957216) (← links)
- Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming (Q4957224) (← links)
- Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search (Q4988946) (← links)
- (Q5020971) (← links)
- (Q5020979) (← links)
- (Q5020982) (← links)
- Strong Equivalence of Logic Programs with Counting (Q5038462) (← links)
- (Q5087786) (← links)
- On logical constraints in logic programming (Q5101440) (← links)
- Abstract Solvers for Computing Cautious Consequences of ASP programs (Q5108499) (← links)
- Revisiting Explicit Negation in Answer Set Programming (Q5108509) (← links)
- Modular Answer Set Programming as a Formal Specification Language (Q5140013) (← links)
- Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming (Q5140026) (← links)
- Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming (Q5140029) (← 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)
- An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents. (Q5240213) (← links)
- A compositional typed higher-order logic with definitions (Q5240216) (← links)
