Carlos Augusto Isaac Piló Viegas Damásio
AuthID: R-000-36A
31
TITLE: Embeddings of Simple Modular Extended RDF
AUTHORS: Carlos Viegas Damásio; Anastasia Analyti; Grigoris Antoniou;
PUBLISHED: 2010, SOURCE: Web Reasoning and Rule Systems - Lecture Notes in Computer Science
AUTHORS: Carlos Viegas Damásio; Anastasia Analyti; Grigoris Antoniou;
PUBLISHED: 2010, SOURCE: Web Reasoning and Rule Systems - Lecture Notes in Computer Science
32
TITLE: A Distributed Tabling Algorithm for Rule Based Policy Systems
AUTHORS: Miguel Alves; Carlos Viegas Damásio; Wolfgang Nejdl; Daniel Olmedilla;
PUBLISHED: 2006, SOURCE: 7th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2006), 5-7 June 2006, London, Ontario, Canada
AUTHORS: Miguel Alves; Carlos Viegas Damásio; Wolfgang Nejdl; Daniel Olmedilla;
PUBLISHED: 2006, SOURCE: 7th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2006), 5-7 June 2006, London, Ontario, Canada
INDEXED IN: 
DBLP
DBLP33
TITLE: An encompassing framework for Paraconsistent Logic Programs Full Text
AUTHORS: João Alcântara; Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLISHED: 2005, SOURCE: Journal of Applied Logic, VOLUME: 3, ISSUE: 1
AUTHORS: João Alcântara; Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLISHED: 2005, SOURCE: Journal of Applied Logic, VOLUME: 3, ISSUE: 1
34
TITLE: A declarative characterisation of disjunctive paraconsistent answer sets
AUTHORS: Alcântara, J; Damásio, CV; Pereira, LM;
PUBLISHED: 2004, SOURCE: 16th European Conference on Artificial Intelligence, ECAI 2004 in Frontiers in Artificial Intelligence and Applications, VOLUME: 110
AUTHORS: Alcântara, J; Damásio, CV; Pereira, LM;
PUBLISHED: 2004, SOURCE: 16th European Conference on Artificial Intelligence, ECAI 2004 in Frontiers in Artificial Intelligence and Applications, VOLUME: 110
INDEXED IN: 
Scopus
Scopus35
TITLE: A tabulation proof procedure for residuated logic programming
AUTHORS: Damásio, CV; Medina, J; Ojeda Aciego, M;
PUBLISHED: 2004, SOURCE: 16th European Conference on Artificial Intelligence, ECAI 2004 in Frontiers in Artificial Intelligence and Applications, VOLUME: 110
AUTHORS: Damásio, CV; Medina, J; Ojeda Aciego, M;
PUBLISHED: 2004, SOURCE: 16th European Conference on Artificial Intelligence, ECAI 2004 in Frontiers in Artificial Intelligence and Applications, VOLUME: 110
INDEXED IN: Scopus
Scopus36
TITLE: Monotonic and Residuated Logic Programs
AUTHORS: Carlos Viegas Damásio; Luís Moniz Pereira ;
PUBLISHED: 2001, SOURCE: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings, VOLUME: 2143
AUTHORS: Carlos Viegas Damásio; Luís Moniz Pereira ;
PUBLISHED: 2001, SOURCE: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings, VOLUME: 2143
INDEXED IN: DBLP 
CrossRef
DBLP CrossRef37
TITLE: Hybrid Probabilistic Logic Programs as Residuated Logic Programs
AUTHORS: Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLISHED: 2000, SOURCE: Logics in Artificial Intelligence - Lecture Notes in Computer Science
AUTHORS: Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLISHED: 2000, SOURCE: Logics in Artificial Intelligence - Lecture Notes in Computer Science
INDEXED IN: CrossRef
CrossRef38
TITLE: Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks
AUTHORS: Peter Fröhlich; Wolfgang Nejdl; Michael Schroeder; Carlos Damásio; Luis Moniz Pereira;
PUBLISHED: 1999, SOURCE: Multiple Approaches to Intelligent Systems - Lecture Notes in Computer Science
AUTHORS: Peter Fröhlich; Wolfgang Nejdl; Michael Schroeder; Carlos Damásio; Luis Moniz Pereira;
PUBLISHED: 1999, SOURCE: Multiple Approaches to Intelligent Systems - Lecture Notes in Computer Science
INDEXED IN: CrossRef
CrossRef39
TITLE: A General Tabulation Procedure for Extended Constraint Logic Programs
AUTHORS: Carlos Viegas Damásio; Luís Moniz Pereira ;
PUBLISHED: 1998, SOURCE: TAPD
AUTHORS: Carlos Viegas Damásio; Luís Moniz Pereira ;
PUBLISHED: 1998, SOURCE: TAPD
INDEXED IN: DBLP
DBLP40
TITLE: REVISE: Logic programming and diagnosis
AUTHORS: Damásio, CV; Pereira, LM; Schroeder, M;
PUBLISHED: 1997, SOURCE: 4th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1265
AUTHORS: Damásio, CV; Pereira, LM; Schroeder, M;
PUBLISHED: 1997, SOURCE: 4th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1265
INDEXED IN: Scopus
Scopus