The following pages link to (Q4906882):
Displaying 4 items.
- Finitely recursive programs: decidability and bottom-up computation (Q2880785) (← links)
- A “Conservative” Approach to Extending Answer Set Programming with Non-Herbrand Functions (Q2900504) (← links)
- Disjunctive ASP with functions: Decidable queries and effective computation (Q3585164) (← links)
- <tt>ASPeRiX</tt>, a first-order forward chaining approach for answer set computing (Q4593088) (← links)