Smodels

swMATH4631MaRDI QIDQ16801FDOQ16801

Author name not available (Why is that?)

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

• 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
• Logic Programming and Nonmonotonic Reasoning
• 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?)
• Answer sets and qualitative decision making
• 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
• Nonmonotonic reasoning: Towards efficient calculi and implementations
• Merging Belief Bases Represented by Logic Programs
• An approach from answer set programming to decision making in a railway interlocking system
• Nonmonotonic trust management for P2P applications
• Relating constraint answer set programming languages and algorithms
• How to fake an RSA signature by encoding modular root finding as a SAT problem
• Constraint answer set programming systems
• Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs
• Extending and implementing the stable model semantics
• Title not available (Why is that?)
• Synthesizing small and reliable tile sets for patterned DNA self-assembly
• A novel logic-based automatic approach to constructing compliant security policies
• Title not available (Why is that?)
• Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs
• Integrating answer set programming and constraint logic programming
• Logics in Artificial Intelligence
• Logic Programming
• Logic Programming
• Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions
• Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs
• Discovering classes of strongly equivalent logic programs
• Logic Programming
• Constraint answer set solver EZCSP and why integration schemas matter
• Modular action language
• Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems withIDP3
• Possibilistic uncertainty handling for answer set programming
• Combining answer set programming with description logics for the semantic web
• Syntactic Propositional Belief Bases Fusion with Removed Sets
• A semantic account for modularity in multi-language modelling of search problems
• Default reasoning from conditional knowledge bases: Complexity and tractable cases
• Annotating answer-set programs in <scp>Lana</scp>
• Title not available (Why is that?)
• Title not available (Why is that?)
• Encoding domain and control knowledge for propositional planning
• Logic programs with stable model semantics as a constraint programming paradigm
• Modeling preferences and conditional preferences on resource consumption and production in ASP
• Alan: An action language for modelling non-Markovian domains
• Logic Programming and Nonmonotonic Reasoning
• Lparse Programs Revisited: Semantics and Representation of Aggregates
• Approximation of action theories and its application to conformant planning
• Comparing action descriptions based on semantic preferences
• TOAST: Applying Answer Set Programming to Superoptimisation
• Logics in Artificial Intelligence
• Logic Programming and Nonmonotonic Reasoning
• Logic Programming and Nonmonotonic Reasoning
• Removing Redundancy from Answer Set Programs
• ASSAT: computing answer sets of a logic program by SAT solvers
• Declarative problem-solving using the DLV system
• Expressing preferences in default logic
• Fixed-parameter complexity in AI and nonmonotonic reasoning
• Logic for Programming, Artificial Intelligence, and Reasoning
• A framework for modular ERDF ontologies
• Logic programming and knowledge representation---The A-Prolog perspective
• Extending the Smodels system with cardinality and weight constraints
• The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
• A three-valued semantics for querying and repairing inconsistent databases
• GASP: Answer set programming with lazy grounding
• InstQL: a query language for virtual institutions using answer set programming
• Extended RDF: computability and complexity issues
• Thirteen Definitions of a Stable Model
• Strong equivalence made easy: nested expressions and weight constraints
• 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

This page was built for software: Smodels