The following pages link to Carlos Viegas Damásio (Q360256):
Displaying 10 items.
- A framework for modular ERDF ontologies (Q360258) (← links)
- Extended RDF: computability and complexity issues (Q905991) (← links)
- An encompassing framework for paraconsistent logic programs (Q1775864) (← links)
- Hybrid probabilistic logic programs as residuated logic programs (Q1863825) (← links)
- A logic programming system for nonmonotonic reasoning (Q1891266) (← links)
- Towards provenance in heterogeneous knowledge bases (Q2694577) (← links)
- (Q2767155) (← links)
- Justifications for Logic Programming (Q2851284) (← links)
- MWeb (Q2946635) (← links)
- Modularity of P-Log Programs (Q3003239) (← links)
