Cmodels

swMATH4435MaRDI QIDQ16611FDOQ16611

Author name not available (Why is that?)

Cited In (68)

• Logic Programming
• Model Checking Abstract State Machines with Answer Set Programming
• Title not available (Why is that?)
• Unsatisfiable core analysis and aggregates for optimum stable model search
• Logics in Artificial Intelligence
• Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
• Disjunctive answer set solvers via templates
• Automatic Composition of Melodic and Harmonic Music by Answer Set Programming
• Semantics and complexity of recursive aggregates in answer set programming
• Logic 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
• Title not available (Why is that?)
• Ordered completion for first-order logic programs on finite structures
• Title not available (Why is that?)
• 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
• A generalization of the Lin-Zhao theorem
• Title not available (Why is that?)
• 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
• Logic Programming and Nonmonotonic Reasoning
• 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
• Anytime answer set optimization via unsatisfiable core shrinking
• Iteratively-supported formulas and strongly supported models for Kleene answer set programs (extended abstract)
• 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
• 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
• Complexity-sensitive decision procedures for abstract argumentation
• Approximation of action theories and its application to conformant planning
• On demand indexing for the DLV instantiator
• 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
• Backdoors to normality for disjunctive logic programs
• Constructing Camin-Sokal Phylogenies Via Answer Set Programming
• What is answer set programming to propositional satisfiability
• GASP: Answer set programming with lazy grounding
• Logic Programming
• Finding Reductions Automatically
• Shared aggregate sets in answer set programming
• Graph-based construction of minimal models
• Efficient parallel ASP instantiation via dynamic rewriting
• Model checking abstract state machines with answer set programming

This page was built for software: Cmodels