Cmodels

swMATH4435MaRDI QIDQ16611FDOQ16611

Author name not available (Why is that?)

Cited In (68)

• Logic Programming
• Model Checking Abstract State Machines with Answer Set Programming
• Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search
• Title not available (Why is that?)
• The Intelligent Grounder of DLV
• Logics in Artificial Intelligence
• Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
• Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses
• 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
• Title not available (Why is that?)
• Logic programs with abstract constraint atoms: the role of computations
• Answer Set Programming: A Declarative Approach to Solving Search Problems
• Logic Programming
• Expressiveness of Logic Programs under the General Stable Model Semantics
• Equilibrium logic
• Title not available (Why is that?)
• Efficiently Coupling the I-DLV Grounder with ASP Solvers
• 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
• GASP: Answer Set Programming with Lazy Grounding
• 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
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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
• On the Complexity of Answer Set Programming with Aggregates
• Backdoors to Normality for Disjunctive Logic Programs
• Logic Programming and Nonmonotonic Reasoning
• Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming
• 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
• Complexity-sensitive decision procedures for abstract argumentation
• Title not available (Why is that?)
• Approximation of action theories and its application to conformant planning
• The nomore + + Approach to Answer Set Solving
• The Relationship Between Reasoning About Privacy and Default Logics
• Title not available (Why is that?)
• Logic Programming and Nonmonotonic Reasoning
• Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs
• 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
• Backdoors to tractable answer set programming
• Logic Programming and Nonmonotonic Reasoning
• Constructing Camin-Sokal Phylogenies Via Answer Set Programming
• What is answer set programming to propositional satisfiability
• Logic Programming
• Finding Reductions Automatically
• Shared aggregate sets in answer set programming
• Graph-based construction of minimal models

This page was built for software: Cmodels