swMATH4435MaRDI QIDQ16611FDOQ16611
Author name not available (Why is that?)
Official website: http://www.cs.utexas.edu/users/tag/cmodels.html
Cited In (only showing first 100 items - show all)
- Logics in Artificial Intelligence
- Automatic Composition of Melodic and Harmonic Music by Answer Set Programming
- Semantics and complexity of recursive aggregates in answer set programming
- Logic programs with abstract constraint atoms: the role of computations
- Answer Set Programming: A Declarative Approach to Solving Search Problems
- Logic Programming
- Equilibrium logic
- Ordered completion for first-order logic programs on finite structures
- Title not available (Why is that?)
- A generalization of the Lin-Zhao theorem
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs
- Stable models and difference logic
- Answer set programming based on propositional satisfiability
- Evaluating ASP and commercial solvers on the CSPLib
- Integrating answer set programming and constraint logic programming
- On the relation among answer set solvers
- Fuzzy answer set computation via satisfiability modulo theories
- An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems
- On the Complexity of Answer Set Programming with Aggregates
- Discovering classes of strongly equivalent logic programs
- Logic Programming and Nonmonotonic Reasoning
- Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming
- Expressiveness of logic programs under the general stable model semantics
- Possibilistic uncertainty handling for answer set programming
- Enhancing DLV instantiator by backjumping techniques
- GNT
- DLV
- DLV-EX
- Gringo
- Lparse
- Smodels
- Potassco
- clasp
- GASP
- NoMoRe
- Asparagus
- Galliwasp
- dynASP
- Clingcon
- Clingo
- WASP
- iClingo
- ROSoClingo
- BEE
- GRAPPA
- aspcud
- Datalog
- nomore++
- IDP3
- GidL
- IDP
- lp2normal
- asprilo
- ezcsp
- anthem
- ASPTools
- DLV2
- fasp2smt
- TOAST
- maxino
- OMiGA
- CPCES
- Complexity-sensitive decision procedures for abstract argumentation
- Approximation of action theories and its application to conformant planning
- ANTON
- The nomore + + Approach to Answer Set Solving
- The Relationship Between Reasoning About Privacy and Default Logics
- Logic Programming and Nonmonotonic Reasoning
- ASSAT: computing answer sets of a logic program by SAT solvers
- A progression semantics for first-order logic programs
- The Significance of Memory Costs in Answer Set Solver Implementation
- Planning with preferences using logic programming
- Origins of answer-set programming -- some background and two personal accounts
- Backdoors to tractable answer set programming
- Compact translations of non-disjunctive answer set programs to propositional clauses
- The intelligent grounder of DLV
- Logic Programming and Nonmonotonic Reasoning
- RelNN
- Backdoors to normality for disjunctive logic programs
- What is answer set programming to propositional satisfiability
- GASP: Answer set programming with lazy grounding
- Logic Programming
- Finding Reductions Automatically
- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
- Disjunctive answer set solvers via templates
- Logic Programming
- Logic Programming
- Title not available (Why is that?)
- Model Checking Abstract State Machines with Answer Set Programming
- Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving
- Rough set reasoning using answer set programs
- Experimenting with parallelism for the instantiation of ASP programs
- Title not available (Why is that?)
- Logic Programming and Nonmonotonic Reasoning
- Anytime answer set optimization via unsatisfiable core shrinking
- Iteratively-supported formulas and strongly supported models for Kleene answer set programs (extended abstract)
- Title not available (Why is that?)
- Vicious circle principle, aggregates, and formation of sets in ASP based languages
- Automated Verification of Weak Equivalence within the<scp>smodels</scp>System
- Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
This page was built for software: Cmodels
