Pages that link to "Item:Q1603743"

The following pages link to Extending and implementing the stable model semantics (Q1603743):

Displaying 50 items.

• Enhancing DLV instantiator by backjumping techniques (Q2426106) (← links)
• An incremental algorithm for generating all minimal models (Q2457647) (← links)
• External sources of knowledge and value invention in logic programming (Q2457798) (← links)
• Abductive reasoning in neural-symbolic systems (Q2460297) (← links)
• Inferring phylogenetic trees using answer set programming (Q2467563) (← links)
• Many-valued dynamic object-oriented inheritance and approximations (Q2670890) (← links)
• Efficient computation of answer sets via SAT modulo acyclicity and vertex elimination (Q2694569) (← links)
• Extending the Smodels system with cardinality and weight constraints (Q2734950) (← links)
• Representing Production Scheduling with Constraint Answer Set Programming (Q2806918) (← links)
• Writing Declarative Specifications for Clauses (Q2835876) (← links)
• Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs (Q2835899) (← links)
• Nested weight constraints in ASP (Q2841957) (← links)
• Relating weight constraint and aggregate programs: semantics and representation (Q2845120) (← links)
• XSB: extending Prolog with tabled logic programming (Q2893097) (← links)
• To Vladimir Lifschitz on His 65th Birthday (Q2900498) (← links)
• Gearing Up for Effective ASP Planning (Q2900527) (← links)
• Algorithms for Solving Satisfiability Problems with Qualitative Preferences (Q2900530) (← links)
• Applying Visible Strong Equivalence in Answer-Set Program Transformations (Q2900532) (← links)
• Reformulating Action Language $\mathcal{C}$ + in Answer Set Programming (Q2900536) (← links)
• Declarative Distributed Computing (Q2900541) (← links)
• <tt>claspfolio</tt>2: Advances in Algorithm Selection for Answer Set Programming (Q2931265) (← links)
• Vicious Circle Principle and Logic Programs with Aggregates (Q2931266) (← links)
• Improving the Normalization of Weight Rules in Answer Set Programs (Q2938492) (← links)
• LoCo—A Logic for Configuration Problems (Q2946729) (← links)
• Automatic network reconstruction using ASP (Q3087459) (← links)
• Complex optimization in answer set programming (Q3087462) (← links)
• Characterising equilibrium logic and nested logic programs: Reductions and complexity, (Q3181745) (← links)
• Characterizations of stable model semantics for logic programs with arbitrary constraint atoms (Q3183130) (← links)
• Optimum stable model search: algorithms and implementation (Q3304091) (← links)
• Advances in WASP (Q3449189) (← links)
• Answer Set Programming Modulo Acyclicity (Q3449199) (← links)
• Implementing Preferences with asprin (Q3449201) (← links)
• ASP Solving for Expanding Universes (Q3449219) (← links)
• Progress in clasp Series 3 (Q3449220) (← links)
• The Design of the Sixth Answer Set Programming Competition (Q3449235) (← links)
• Forward Chaining for Hybrid ASP (Q3455837) (← links)
• $\mathbb{FDNC}$ : Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols (Q3498490) (← links)
• Qualitative Constraint Enforcement in Advanced Policy Specification (Q3524980) (← links)
• Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs (Q3546042) (← links)
• atalog: A logic language for expressing search and optimization problems (Q3550912) (← links)
• A translational approach to constraint answer set solving (Q3585161) (← links)
• A program-level approach to revising logic programs under the answer set semantics (Q3585168) (← links)
• Testing and debugging techniques for answer set solver development (Q3585183) (← links)
• Automata and Answer Set Programming (Q3605538) (← links)
• Justifications for logic programs under answer set semantics (Q3612602) (← links)
• Probabilistic reasoning with answer sets (Q3612603) (← links)
• Dealing Automatically with Exceptions by Introducing Specificity in ASP (Q3638184) (← links)
• Towards a Type Discipline for Answer Set Programming (Q3638249) (← links)
• Some (in)translatability results for normal logic programs and propositional theories (Q3647255) (← links)
• Shared aggregate sets in answer set programming (Q4559794) (← links)