ASSAT: computing answer sets of a logic program by SAT solvers
From MaRDI portal
Publication:814607
DOI10.1016/J.ARTINT.2004.04.004zbMATH Open1085.68544OpenAlexW2004414305MaRDI QIDQ814607FDOQ814607
Authors: Fangzhen Lin, Yuting Zhao 
Publication date: 7 February 2006
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2004.04.004
Recommendations
Cites Work
- Propositional semantics for disjunctive logic programs
- Depth-First Search and Linear Graph Algorithms
- Logic programs with stable model semantics as a constraint programming paradigm
- Implementing the Davis-Putnam method
- Title not available (Why is that?)
- Loop formulas for circumscription
- Logic Programming
- Logic Programming and Nonmonotonic Reasoning
- Iterative belief revision in extended logic programming
- Title not available (Why is that?)
- Title not available (Why is that?)
- Logic Programming and Nonmonotonic Reasoning
Cited In (only showing first 100 items - show all)
- Transition systems for model generators -- a unifying approach
- Semantics and complexity of recursive aggregates in answer set programming
- Model enumeration in propositional circumscription via unsatisfiable core analysis
- The Design of the Sixth Answer Set Programming Competition
- Twelve Definitions of a Stable Model
- Progress in clasp series 3
- Answer Set Programming: A Primer
- Some (in)translatability results for normal logic programs and propositional theories
- Equilibrium logic
- On elementary loops of logic programs
- Ordered completion for first-order logic programs on finite structures
- Improving the normalization of weight rules in answer set programs
- Loop-separable programs and their first-order definability
- Loop formulas for description logic programs
- Merging Belief Bases Represented by Logic Programs
- Rough set reasoning using answer set programs
- A generalization of the Lin-Zhao theorem
- Engineering an Incremental ASP Solver
- Advances in WASP
- Stable models and circumscription
- Reducing fuzzy answer set programming to model finding in fuzzy logics
- Answer set programming based on propositional satisfiability
- Computing loops with at most one external support rule for disjunctive logic programs
- Evaluating ASP and commercial solvers on the CSPLib
- Integrating answer set programming and constraint logic programming
- On the relation among answer set solvers
- Knowledge compilation of logic programs using approximation fixpoint theory
- Automatic network reconstruction using ASP
- An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems
- Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction
- Title not available (Why is that?)
- Bridging the gap between reinforcement learning and knowledge representation: a logical off- and on-policy framework
- Disjunctive logic programs, answer sets, and the cut rule
- Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets
- On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability
- Quo Vadis Answer Set Programming?
- Probabilistic Reasoning by SAT Solvers
- Expressiveness of logic programs under the general stable model semantics
- Recursive rules with aggregation: a simple unified semantics
- Conflict-driven answer set solving: from theory to practice
- Magic sets for disjunctive Datalog programs
- Enhancing DLV instantiator by backjumping techniques
- Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There
- ASSAT
- Vicious circle principle, aggregates, and formation of sets in ASP based languages
- Design and results of the Fifth Answer Set Programming Competition
- The loop formula based semantics of description logic programs
- RegSTAB: A SAT Solver for Propositional Schemata
- Logic Programming and Nonmonotonic Reasoning
- Why are there so many loop formulas?
- Probabilistic reasoning with answer sets
- A progression semantics for first-order logic programs
- Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories
- Abstract Answer Set Solvers
- Backdoors to tractable answer set programming
- Weight constraint programs with evaluable functions
- Compact translations of non-disjunctive answer set programs to propositional clauses
- The intelligent grounder of DLV
- Catching the Ouroboros: on debugging non-ground answer-set programs
- Logic Programming and Nonmonotonic Reasoning
- Backdoors to normality for disjunctive logic programs
- raSAT: An SMT Solver for Polynomial Constraints
- Semantic forgetting in answer set programming
- What is answer set programming to propositional satisfiability
- Logic Programming
- Logic Programming
- \(\mathcal {NPD}\)atalog: A logic language for expressing \(\mathcal {NP}\) search and optimization problems
- SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions
- A Pearl on SAT Solving in Prolog
- Thirteen Definitions of a Stable Model
- Conflict-driven ASP solving with external sources
- Graph-based construction of minimal models
- A characterization of answer sets for logic programs
- IASCAR: incremental answer set counting by anytime refinement
- Lloyd-Topor completion and general stable models
- Aspmc: new frontiers of algebraic answer set counting
- Computing loops with at most one external support rule
- A general first-order solution to the ramification problem with cycles
- Abstraction for non-ground answer set programs
- SAT modulo graphs: acyclicity
- Multivalued action languages with constraints in \(CLP(FD)\)
- Title not available (Why is that?)
- Implementing prioritized merging with ASP
- Integrating Inductive Definitions in SAT
- Logic programming
- Using Answer Set Programming for Commonsense Reasoning in the Winograd Schema Challenge
- Iteratively-supported formulas and strongly supported models for Kleene answer set programs (extended abstract)
- {\textsc{ASPeRiX}}, a first-order forward chaining approach for answer set computing
- Answer set enumeration via assumption literals
- Omission-based abstraction for answer set programs
- Title not available (Why is that?)
- Parallel instantiation of ASP programs: techniques and experiments
- Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all?
- Computationally hard problems for logic programs under answer set semantics
- Model enumeration via assumption literals
- Answering the ``why in answer set programming -- a survey of explanation approaches
- Itauto: An Extensible Intuitionistic SAT Solver
- ASP solving for expanding universes
- Using answer set programming to deal with Boolean networks and attractor computation: application to gene regulatory networks of cells
- Logic Programming and Nonmonotonic Reasoning
Uses Software
This page was built for publication: ASSAT: computing answer sets of a logic program by SAT solvers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q814607)
