The following pages link to José Júlio Alferes (Q646500):
Displaying 5 items.
- Adding closed world assumptions to well-founded semantics (Q1314417) (← links)
- A logic programming system for nonmonotonic reasoning (Q1891266) (← links)
- Query-Driven Procedures for Hybrid MKNF Knowledge Bases (Q2946701) (← links)
- Non-monotonic reasoning with logic programming (Q4275259) (← links)
- Abduction in well-founded semantics and generalized stable models via tabled dual programs (Q4819009) (← links)
