Cmodels

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