Carlos Augusto Isaac Piló Viegas Damásio


AuthID: R-000-36A

Publicações Confirmadas: 62



31
TÍTULO: Tabulation proof procedure for first-order residuated logic programs: Soundness, completeness and optimizations  Full Text
AUTORES: Carlos Viegas Damasio ; Jesus Medina; Manuel Ojeda Aciego;
PUBLICAÇÃO: 2006, FONTE: IEEE International Conference on Fuzzy Systems in 2006 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1-5
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
32
TÍTULO: A Well-Founded Semantics with disjunction
AUTORES: Alcantara, J; Damasio, CV ; Pereira, LM ;
PUBLICAÇÃO: 2005, FONTE: 21st International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3668
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID
33
TÍTULO: An encompassing framework for paraconsistent logic programs  Full Text
AUTORES: Alcantara, J; Damasio, CV ; Pereira, LM ;
PUBLICAÇÃO: 2005, FONTE: A Paraconsistent Decagon in Journal of Applied Logic, VOLUME: 3, NÚMERO: 1
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
34
TÍTULO: Stable model theory for extended RDF ontologies
AUTORES: Analyti, A; Antoniou, G; Damasio, CV ; Wagner, G;
PUBLICAÇÃO: 2005, FONTE: 4th International Semantic Web Conference (ISWC 2005) in SEMANTIC WEB - ISWC 2005, PROCEEDINGS, VOLUME: 3729
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
35
TÍTULO: Towards a general web rule language
AUTORES: Wagner, G; Damasio, CV ; Antoniou, G;
PUBLICAÇÃO: 2005, FONTE: International Journal of Web Engineering and Technology, VOLUME: 2, NÚMERO: 2-3
INDEXADO EM: Scopus
NO MEU: ORCID
36
TÍTULO: A declarative characterisation of disjunctive paraconsistent answer sets
AUTORES: Alcantara, J; Damasio, CV ; Pereira, LM ;
PUBLICAÇÃO: 2004, FONTE: 16th European Conference on Artificial Intelligence in ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 110
INDEXADO EM: WOS DBLP
37
TÍTULO: A tabulation proof procedure for residuated logic programming
AUTORES: Damasio, CV ; Medina, J; Ojeda Aciego, M;
PUBLICAÇÃO: 2004, FONTE: 16th European Conference on Artificial Intelligence in ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 110
INDEXADO EM: WOS
38
TÍTULO: An implementation of Statistical Default Logic
AUTORES: Wheeler, GR; Damasio, C ;
PUBLICAÇÃO: 2004, FONTE: 9th European Conference on Logics in Artificial Intelligence (JELIA 04) in LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3229
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
39
TÍTULO: Deductive Diagnosis of Digital Circuits
AUTORES: José Júlio Alferes ; Francisco Azevedo; Pedro Barahona; Carlos Viegas Damásio ; Terrance Swift;
PUBLICAÇÃO: 2004, FONTE: 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
INDEXADO EM: DBLP CrossRef
40
TÍTULO: Sorted multi-adjoint logic programs: Termination results and applications
AUTORES: Damasio, CV ; Medina, J; Ojeda Acego, M;
PUBLICAÇÃO: 2004, FONTE: 9th European Conference on Logics in Artificial Intelligence (JELIA 04) in LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3229
INDEXADO EM: Scopus WOS
NO MEU: ORCID
Página 4 de 7. Total de resultados: 62.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service