The following pages link to Sofie Verbaeten (Q199252):
Displayed 10 items.
- Compact representation of knowledge bases in inductive logic programming (Q702532) (← links)
- (Q2766778) (← links)
- (Q4448302) (← links)
- (Q4494370) (← links)
- (Q4506390) (← links)
- (Q4940939) (← links)
- Compositionality of normal open logic programs (Q4943434) (← links)
- Logic Programming (Q5313205) (← links)
- Termination proofs for logic programs with tabling (Q5738911) (← links)
- Termination of simply-moded well-typed logic programs under a tabled execution mechanism (Q5941756) (← links)