Pages that link to "Item:Q1326778"
From MaRDI portal
The following pages link to Computing definite logic programs by partial instantiation (Q1326778):
Displaying 9 items.
- New methods for computing inferences in first order logic (Q1309900) (← links)
- Partial instantiation methods for inference in first-order logic (Q1610676) (← links)
- Many-valued logic and mixed integer programming (Q1924752) (← links)
- Synthesis of positive logic programs for checking a class of definitions with infinite quantification (Q2629858) (← links)
- Partial deduction of updateable definite logic programs (Q4289930) (← links)
- Incremental methods for optimizing partial instantiation (Q5101457) (← links)
- Partial deduction for structured logic programming (Q5286918) (← links)
- Deduction by combining semantic tableaux and integer programming (Q6560161) (← links)
- Prolegomena to logic programming for non-monotonic reasoning (Q6623791) (← links)