scientific article; zbMATH DE number 7455719
From MaRDI portal
Publication:5020979
Cites work
- \textit{clingcon}: the next generation
- \textsc{lp2normal} -- a normalization tool for extended logic programs
- Answer set programming based on propositional satisfiability
- Applying visible strong equivalence in answer-set program transformations
- ASP-Core-2 input language format
- ASSAT: computing answer sets of a logic program by SAT solvers
- Clingo goes linear constraints over reals and integers
- Compact translations of non-disjunctive answer set programs to propositional clauses
- Computing Stable Models via Reductions to Difference Logic
- Conflict-driven answer set solving: from theory to practice
- Detecting inconsistencies in large biological networks with answer set programming
- Erratum to: ``Splitting an operator: algebraic modularity results for logics with fixpoint semantics
- Evaluation of disjunctive programs in WASP
- Extending and implementing the stable model semantics
- GRASP: a search algorithm for propositional satisfiability
- Handbook of constraint programming.
- Head-Elementary-Set-Free Logic Programs
- scientific article; zbMATH DE number 5139167 (Why is no real title available?)
- scientific article; zbMATH DE number 140388 (Why is no real title available?)
- scientific article; zbMATH DE number 978851 (Why is no real title available?)
- scientific article; zbMATH DE number 1368932 (Why is no real title available?)
- scientific article; zbMATH DE number 1368933 (Why is no real title available?)
- scientific article; zbMATH DE number 6747915 (Why is no real title available?)
- Improved static symmetry breaking for SAT
- In between resolution and cutting planes: a study of proof systems for pseudo-Boolean SAT solving
- Inferring phylogenetic trees using answer set programming
- Integrating ASP into ROS for reasoning in robots
- Lazy clause generation: combining the power of SAT and CP (and MIP?) solving
- Learning discrete decomposable graphical models via constraint optimization
- Level mapping induced loop formulas for weight constraint and aggregate logic programs
- Logic Programming and Nonmonotonic Reasoning
- Logic programs with monotone abstract constraint atoms
- Logic programs with stable model semantics as a constraint programming paradigm
- On the complexity of cutting-plane proofs
- On using cutting planes in pseudo-Boolean optimization
- Optimizing phylogenetic supertrees using answer set programming
- Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3
- Properties and applications of programs with monotone and convex constraints
- Propositional semantics for disjunctive logic programs
- Relating constraint answer set programming languages and algorithms
- Semantics and complexity of recursive aggregates in answer set programming
- Symmetric explanation learning: effective dynamic symmetry handling for SAT
- Symmetry-breaking answer set solving
- The DLV system for knowledge representation and reasoning
- The Seventh Answer Set Programming Competition: Design and Results
- Using combinatorial benchmarks to probe the reasoning power of pseudo-Boolean solvers
- Vicious circle principle and logic programs with aggregates
- Well-founded and stable semantics of logic programs with aggregates
Describes a project that uses
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5020979)
