Pages that link to "Item:Q861709"

The following pages link to Answer set programming based on propositional satisfiability (Q861709):

Displaying 50 items.

• On abstract modular inference systems and solvers (Q286083) (← links)
• ASSAT: computing answer sets of a logic program by SAT solvers (Q814607) (← links)
• Approximate postdictive reasoning with answer set programming (Q893596) (← links)
• Design and results of the Fifth Answer Set Programming Competition (Q899444) (← links)
• On the relation among answer set solvers (Q1028643) (← links)
• Integrating answer set programming and constraint logic programming (Q1028649) (← links)
• Answer set programming in intuitionistic logic (Q1688962) (← links)
• What is answer set programming to propositional satisfiability (Q1699519) (← links)
• Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
• Fixed point semantics for stream reasoning (Q2046012) (← links)
• An abstract view on optimizations in SAT and ASP (Q2055811) (← links)
• Design and results of the second international competition on computational models of argumentation (Q2287197) (← links)
• Backdoors to tractable answer set programming (Q2341833) (← links)
• Iterative and core-guided maxsat solving: a survey and assessment (Q2348540) (← links)
• Answer set programming with graded modality (Q2401935) (← links)
• Complexity results for answer set programming with bounded predicate arities and implications (Q2426101) (← links)
• Loop formulas for circumscription (Q2457644) (← links)
• A characterization of answer sets for logic programs (Q2644415) (← links)
• On Cascade Products of Answer Set Programs (Q2931275) (← links)
• Improving the Normalization of Weight Rules in Answer Set Programs (Q2938492) (← links)
• Answer Set Programming’s Contributions to Classical Logic (Q3001911) (← links)
• (Q3007261) (← links)
• Bridging the Gap between Reinforcement Learning and Knowledge Representation: A Logical Off- and On-Policy Framework (Q3011967) (← links)
• Implementing Prioritized Merging with ASP (Q3163981) (← links)
• From (Quantified) Boolean Formulae to Answer Set Programming (Q3395260) (← links)
• The Significance of Memory Costs in Answer Set Solver Implementation (Q3395262) (← links)
• Progress in clasp Series 3 (Q3449220) (← links)
• The Design of the Sixth Answer Set Programming Competition (Q3449235) (← links)
• (Q3464628) (← links)
• (Q3549508) (← links)
• Answer Set Programming with Resources (Q3553920) (← links)
• Testing and debugging techniques for answer set solver development (Q3585183) (← links)
• Finding Reductions Automatically (Q3586003) (← links)
• Automata and Answer Set Programming (Q3605538) (← links)
• Probabilistic Reasoning by SAT Solvers (Q3638188) (← 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)
• First-order Answer Set Programming as Constructive Proof Search (Q4559822) (← links)
• Model enumeration in propositional circumscription via unsatisfiable core analysis (Q4592705) (← links)
• Achievements in answer set programming (Q4592719) (← links)
• Rewriting recursive aggregates in answer set programming: back to monotonicity (Q4592997) (← links)
• Anytime answer set optimization via unsatisfiable core shrinking (Q4593041) (← links)
• <tt>ASPeRiX</tt>, a first-order forward chaining approach for answer set computing (Q4593088) (← links)
• Constraint answer set solver EZCSP and why integration schemas matter (Q4593093) (← links)
• Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs (Q4649728) (← links)
• On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers (Q4649734) (← links)
• Applications of intuitionistic logic in Answer Set Programming (Q4669647) (← links)
• Conflict-driven ASP solving with external sources (Q4911141) (← links)
• Optimizing Answer Set Computation via Heuristic-Based Decomposition (Q4957190) (← links)
• Omission-Based Abstraction for Answer Set Programs (Q4957218) (← links)