The following pages link to (Q4385536):
Displaying 4 items.
- A sound and complete semantics for a similarity-based logic programming language (Q723251) (← links)
- Reasoning about prolog programs: From modes through types to assertions (Q1346766) (← links)
- Integrating induction and abduction in logic programming (Q1818759) (← links)
- Evolution of rule-based programs (Q1878711) (← links)
