Pages that link to "Item:Q1177923"
From MaRDI portal
The following pages link to An analysis of loop checking mechanisms for logic programs (Q1177923):
Displayed 9 items.
- Enhancing global SLS-resolution with loop cutting and tabling mechanisms (Q703484) (← links)
- Generalizing completeness results for loop checks in logic programming (Q1199926) (← links)
- Loop checking in SLD-derivations by well-quasi-ordering of goals (Q1575249) (← links)
- Abduction in logic programming: A new definition and an abductive procedure based on rewriting (Q1614866) (← links)
- A non-termination criterion for binary constraint logic programs (Q3621267) (← links)
- A metalogic programming approach: language, semantics and applications (Q4305334) (← links)
- Knowledge base dynamics, abduction, and database updates (Q4835515) (← links)
- Termination Analysis of Logic Programs Based on Dependency Graphs (Q5504590) (← links)
- Loop checks for logic programs with functions (Q5958765) (← links)