41
TITLE: Query Answering in Rough Knowledge Bases
AUTHORS: Aida Vitória; Carlos Viegas Damásio; Jan Małuszyński;
PUBLISHED: 2007, SOURCE: Lecture Notes in Computer Science - Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
INDEXED IN: CrossRef: 2
IN MY: ORCID
42
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
INDEXED IN: DBLP
43
TITLE: Supporting Open and Closed World Reasoning on the Web
AUTHORS: Carlos Viegas Damásio; Anastasia Analyti; Grigoris Antoniou; Gerd Wagner;
PUBLISHED: 2006, SOURCE: Principles and Practice of Semantic Web Reasoning - Lecture Notes in Computer Science
INDEXED IN: CrossRef: 16
IN MY: ORCID
44
TITLE: A Well-Founded Semantics with Disjunction
AUTHORS: João Alcântara; Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLISHED: 2005, SOURCE: Logic Programming - Lecture Notes in Computer Science
INDEXED IN: CrossRef
IN MY: ORCID
45
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
INDEXED IN: CrossRef
IN MY: ORCID
46
TITLE: Deductive diagnosis of digital circuits
AUTHORS: Alferes, JJ ; Azevedo, F; Barahona, P; Damasio, CV; Swift, T;
PUBLISHED: 2004, SOURCE: IFIP TC12 1st International Conference on Artificial Intelligence Applications and Innovations, AIAI 2004 in IFIP Advances in Information and Communication Technology, VOLUME: 154
INDEXED IN: Scopus
IN MY: ORCID
47
TITLE: Sorted Multi-adjoint Logic Programs: Termination Results and Applications
AUTHORS: Damásio, CV; Medina, J; Ojeda-Aciego, M;
PUBLISHED: 2004, SOURCE: Logics in Artificial Intelligence - Lecture Notes in Computer Science
INDEXED IN: CrossRef
IN MY: ORCID
48
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
INDEXED IN: Scopus
IN MY: ORCID
49
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
INDEXED IN: Scopus
IN MY: ORCID
50
TITLE: Toward Rough Knowledge Bases with Quantitative Measures
AUTHORS: Aida Vitória; Carlos Viegas Damásio; Jan Małuszyński;
PUBLISHED: 2004, SOURCE: Rough Sets and Current Trends in Computing - Lecture Notes in Computer Science
INDEXED IN: CrossRef: 2
IN MY: ORCID
Page 5 of 8. Total results: 73.