Pages that link to "Item:Q4365083"
From MaRDI portal
The following pages link to Partial deduction in disjunctive logic programming (Q4365083):
Displaying 10 items.
- Exploiting conjunctive queries in description logic programs (Q1028641) (← links)
- Partial-predicate logic in computer science (Q1079560) (← links)
- Solving logic program conflict through strong and weak forgettings (Q2457621) (← links)
- Partial deduction of updateable definite logic programs (Q4289930) (← links)
- (Q4823426) (← links)
- Conjunctive partial deduction: foundations, control, algorithms, and experiments (Q4939538) (← links)
- Characterizations of the stable semantics by partial evaluation (Q5101443) (← links)
- Characterizing D-WFS: Confluence and iterated GCWA (Q5236439) (← links)
- Partial deduction for structured logic programming (Q5286918) (← links)
- (Q5480653) (← links)