The following pages link to Carlos Viegas Damásio (Q360256):
Displaying 23 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)
- (Q4236380) (← links)
- (Q4426949) (← links)
- (Q4460677) (← links)
- (Q4536316) (← links)
- (Q4631193) (← links)
- (Q4708930) (← links)
- (Q4784882) (← links)
- (Q4798022) (← links)
- (Q4955340) (← links)
- Abduction over 3-valued extended logic programs (Q5101439) (← links)
- Rough Sets and Current Trends in Computing (Q5394677) (← links)
- (Q5450125) (← links)
- Logic Programming (Q5475788) (← links)