Pages that link to "Item:Q5504670"

The following pages link to Computable Functions in ASP: Theory and Implementation (Q5504670):

Displaying 22 items.

• Domain expansion for ASP-programs with external sources (Q254002) (← links)
• Synonymous theories and knowledge representations in answer set programming (Q414849) (← links)
• Weight constraint programs with evaluable functions (Q645084) (← links)
• Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin (Q1653439) (← links)
• What is answer set programming to propositional satisfiability (Q1699519) (← links)
• Pruning external minimality checking for answer set programs using semantic dependencies (Q2046045) (← links)
• The Intelligent Grounder of DLV (Q2900523) (← links)
• Terminating Evaluation of Logic Programs with Finite Three-Valued Models (Q2946744) (← links)
• Towards a Type Discipline for Answer Set Programming (Q3638249) (← links)
• Answer Set Programming: A Primer (Q3638997) (← links)
• Checking termination of bottom-up evaluation of logic programs with function symbols (Q4593017) (← links)
• Using linear constraints for logic program termination analysis (Q4593032) (← links)
• A model building framework for answer set programming with external computations (Q4593036) (← links)
• <tt>ASPeRiX</tt>, a first-order forward chaining approach for answer set computing (Q4593088) (← links)
• Constraint answer set solver EZCSP and why integration schemas matter (Q4593093) (← links)
• On relation between constraint answer set programming and satisfiability modulo theories (Q4593096) (← links)
• Incremental Answer Set Programming with Overgrounding (Q5108513) (← links)
• Incremental maintenance of overgrounded logic programs with tailored simplifications (Q5140010) (← links)
• Intelligent Instantiation and Supersafe Rules (Q5240211) (← links)
• Index Sets for Finite Normal Predicate Logic Programs with Function Symbols (Q5283418) (← links)
• One More Decidable Class of Finitely Ground Programs (Q5325773) (← links)
• Logic programming (Q6602251) (← links)