Smodels

swMATH4631MaRDI QIDQ16801FDOQ16801

Author name not available (Why is that?)

Official website: http://www.tcs.hut.fi/Software/smodels/

Cited In (only showing first 100 items - show all)

• Title not available (Why is that?)
• Snapshot Generation in a Constructive Object-Oriented Modeling Language
• The refinement extension principle for semantics of dynamic logic programming
• Logic programming with infinite sets
• Title not available (Why is that?)
• A Framework for Reasoning with Rough Sets
• The near resolvable \(2\)-\((13,4,3)\) designs and thirteen-player whist tournaments
• Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules
• Automatic Composition of Melodic and Harmonic Music by Answer Set Programming
• Title not available (Why is that?)
• Layer Supported Models of Logic Programs
• What is in a step: new perspectives on a classical question
• Logic programs with abstract constraint atoms: the role of computations
• My work with Victor Marek: a mathematician looks at answer set programming
• Implementing constructive intensional negation
• Answer Set Programming: A Primer
• Title not available (Why is that?)
• Classification of whist tournaments with up to 12 players
• Combinatorial optimization solutions for the maximum quartet consistency problem
• Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs
• Extending answer sets for logic programming agents
• Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming
• Answer sets and qualitative decision making
• Title not available (Why is that?)
• On methodology of representing knowledge in dynamic domains
• Nonmonotonic reasoning: Towards efficient calculi and implementations
• Logic Programming and Nonmonotonic Reasoning
• On the expressibility of stable logic programming
• Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs
• Title not available (Why is that?)
• Optimization of bound disjunctive queries with constraints
• An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems
• Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions
• cr-models: An Inference Engine for CR-Prolog
• Verification of bounded Petri nets using integer programming
• Expressing Default Logic Variants in Default Logic
• The impact of treewidth on grounding and solving of answer set programs
• Enhancing DLV instantiator by backjumping techniques
• Default reasoning from conditional knowledge bases: Complexity and tractable cases
• Title not available (Why is that?)
• Arity and alternation: a proper hierarchy in higher order logics
• Using clausal deductive databases for defining semantics in disjunctive deductive databases
• Using possibilistic logic for modeling qualitative decision: answer set programming algorithms
• Title not available (Why is that?)
• Title not available (Why is that?)
• Declarative problem-solving using the DLV system
• Title not available (Why is that?)
• Logic programs with monotone abstract constraint atoms
• The Significance of Memory Costs in Answer Set Solver Implementation
• Planning with preferences using logic programming
• Computing abduction by using TMS with top-down expectation
• Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results
• Weight constraint programs with evaluable functions
• Logic programming and knowledge representation---The A-Prolog perspective
• Logic Programming and Nonmonotonic Reasoning
• Reasoning about the intentions of agents
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Actions over a constructive semantics for description logics
• What is answer set programming to propositional satisfiability
• Title not available (Why is that?)
• Logic Programming
• Resolution for skeptical stable model semantics
• Enhancing disjunctive logic programming systems by SAT checkers
• Towards a general theory of topological maps
• A framework for compiling preferences in logic programs
• Logic Programming and Nonmonotonic Reasoning
• Logic Programming and Nonmonotonic Reasoning
• Model checking abstract state machines with answer set programming
• Search methods for tile sets in patterned DNA self-assembly
• Transition systems for model generators -- a unifying approach
• Logics in Artificial Intelligence
• Ground Nonmonotonic Modal Logic S5: New Results
• Computing preferred answer sets by meta-interpretation in Answer Set Programming
• Abduction in well-founded semantics and generalized stable models via tabled dual programs
• Querying and Repairing Inconsistent Databases Under Three-Valued Semantics
• Outlier detection using default reasoning
• On the semantics of logic programs with preferences
• Title not available (Why is that?)
• Twelve Definitions of a Stable Model
• Unfoldings: A partial-order approach to model checking.
• The limits of fixed-order computation
• Non-Markovian control in the Situation Calculus
• Unfolding partiality and disjunctions in stable model semantics
• Magic Sets and their application to data integration
• Model checking multi-agent systems with logic based Petri nets
• Bounded LTL model checking with stable models
• Computing weighted solutions in ASP: representation-based method vs. search-based method
• Title not available (Why is that?)
• Formalizing sensing actions -- a transition function based approach
• On abstract modular inference systems and solvers
• From answer set logic programming to circumscription via logic of GK
• Loop-separable programs and their first-order definability
• Answer set based design of knowledge systems
• Merging Belief Bases Represented by Logic Programs
• An approach from answer set programming to decision making in a railway interlocking system

This page was built for software: Smodels