Pages that link to "Item:Q3585164"

The following pages link to Disjunctive ASP with functions: Decidable queries and effective computation (Q3585164):

Displaying 9 items.

• Finitely recursive programs: decidability and bottom-up computation (Q2880785) (← links)
• Terminating Evaluation of Logic Programs with Finite Three-Valued Models (Q2946744) (← links)
• Cautious reasoning in ASP via minimal models and unsatisfiable cores (Q4559795) (← 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)
• <tt>ASPeRiX</tt>, a first-order forward chaining approach for answer set computing (Q4593088) (← links)
• ASP with non-herbrand partial functions: a language and system for practical use (Q5398294) (← links)
• Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments (Q5398308) (← links)
• Abstraction for non-ground answer set programs (Q5919127) (← links)