author-photo

Carlos Viegas Damsio

7

Papers

60

Citations

Citation Trend

Filter By

Papers (6) Sort By

Journal Conference Others

Proceedings of the 5th International RuleML2011@BRF Challenge

2011
Show All
- Source
- Cite
- Save
Citations (0)
Representing Uncertainty Rules in RuleML

2008 Fundamenta Informaticae
Show All
- Source
- Cite
- Save
Citations (3)
Sorted Monotonic Logic Programs and their Embeddings

2004
- Carlos Viegas Damsio
- Lus Moniz Pereira
Show All
- Source
- Cite
- Save
Citations (27)
Termination Results for Sorted Multi-Adjoint Logic Programs

2004 IPMU | Information Processing and Management of Uncertainty
Show All
- Source
- Cite
- Save
Citations (9)
A termination theorem for sorted multi-adjoint logic programming

2004
Show All
- Source
- Cite
- Save
Citations (1)
Logic Programming Techniques for Solving Circuit Diagnosis

2001
Show All
- Source
- Cite
- Save
Citations (4)