Carlos Augusto Isaac Piló Viegas Damásio


AuthID: R-000-36A

Confirmed Publications: 62



31
TITLE: Tabulation proof procedure for first-order residuated logic programs: Soundness, completeness and optimizations  Full Text
AUTHORS: Carlos Viegas Damasio ; Jesus Medina; Manuel Ojeda Aciego;
PUBLISHED: 2006, SOURCE: IEEE International Conference on Fuzzy Systems in 2006 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1-5
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
32
TITLE: A Well-Founded Semantics with disjunction
AUTHORS: Alcantara, J; Damasio, CV ; Pereira, LM ;
PUBLISHED: 2005, SOURCE: 21st International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3668
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID
33
TITLE: An encompassing framework for paraconsistent logic programs  Full Text
AUTHORS: Alcantara, J; Damasio, CV ; Pereira, LM ;
PUBLISHED: 2005, SOURCE: A Paraconsistent Decagon in Journal of Applied Logic, VOLUME: 3, ISSUE: 1
INDEXED IN: Scopus DBLP
IN MY: ORCID
34
TITLE: Stable model theory for extended RDF ontologies
AUTHORS: Analyti, A; Antoniou, G; Damasio, CV ; Wagner, G;
PUBLISHED: 2005, SOURCE: 4th International Semantic Web Conference (ISWC 2005) in SEMANTIC WEB - ISWC 2005, PROCEEDINGS, VOLUME: 3729
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
35
TITLE: Towards a general web rule language
AUTHORS: Wagner, G; Damasio, CV ; Antoniou, G;
PUBLISHED: 2005, SOURCE: International Journal of Web Engineering and Technology, VOLUME: 2, ISSUE: 2-3
INDEXED IN: Scopus
IN MY: ORCID
36
TITLE: A declarative characterisation of disjunctive paraconsistent answer sets
AUTHORS: Alcantara, J; Damasio, CV ; Pereira, LM ;
PUBLISHED: 2004, SOURCE: 16th European Conference on Artificial Intelligence in ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 110
INDEXED IN: WOS DBLP
37
TITLE: A tabulation proof procedure for residuated logic programming
AUTHORS: Damasio, CV ; Medina, J; Ojeda Aciego, M;
PUBLISHED: 2004, SOURCE: 16th European Conference on Artificial Intelligence in ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 110
INDEXED IN: WOS
38
TITLE: An implementation of Statistical Default Logic
AUTHORS: Wheeler, GR; Damasio, C ;
PUBLISHED: 2004, SOURCE: 9th European Conference on Logics in Artificial Intelligence (JELIA 04) in LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3229
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
39
TITLE: Deductive Diagnosis of Digital Circuits
AUTHORS: José Júlio Alferes ; Francisco Azevedo; Pedro Barahona; Carlos Viegas Damásio ; Terrance Swift;
PUBLISHED: 2004, SOURCE: Artificial Intelligence Applications and Innovations, IFIP 18th World Computer Congress, TC12 First International Conference on Artificial Intelligence Applications and Innovations (AIAI-2004), 22-27 August 2004, Toulouse, France, VOLUME: 154
INDEXED IN: DBLP CrossRef
40
TITLE: Sorted multi-adjoint logic programs: Termination results and applications
AUTHORS: Damasio, CV ; Medina, J; Ojeda Acego, M;
PUBLISHED: 2004, SOURCE: 9th European Conference on Logics in Artificial Intelligence (JELIA 04) in LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3229
INDEXED IN: Scopus WOS
IN MY: ORCID
Page 4 of 7. Total results: 62.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service