The following pages link to Carlos V. Damásio (Q2248546):
Displaying 7 items.
- Why-provenance information for RDF, rules, and negation (Q2248547) (← links)
- Termination of logic programs with imperfect information: applications and query procedure (Q2372195) (← links)
- On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence (Q3092201) (← links)
- (Q3624127) (← links)
- On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs (Q3642867) (← links)
- Logics in Artificial Intelligence (Q5394119) (← links)
- Logics in Artificial Intelligence (Q5394129) (← links)