11
TITLE: Temporal Reasoning with Non-convex Intervals
AUTHORS: Miguel Bento Alves ; Carlos Viegas Damásio; Nuno Correia;
PUBLISHED: 2017, SOURCE: 8th International Conference on Knowledge Engineering and Semantic Web, KESW 2017 in KESW, VOLUME: 786
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
12
TITLE: Stator Winding Short-Circuit Fault Diagnosis in Induction Motors using Random Forest
AUTHORS: dos Santos, T; Ferreira, FJTE ; Pires, JM; Damasio, C;
PUBLISHED: 2017, SOURCE: IEEE International Electric Machines and Drives Conference (IEMDC) in 2017 IEEE INTERNATIONAL ELECTRIC MACHINES AND DRIVES CONFERENCE (IEMDC)
INDEXED IN: Scopus WOS CrossRef: 28
IN MY: ORCID
13
TITLE: RDF Query and Inference in Prolog
AUTHORS: Alves, MB ; Damasio, CV; Correia, N;
PUBLISHED: 2016, SOURCE: 7th International Conference on Knowledge Engineering and Semantic Web (KESW) in KNOWLEDGE ENGINEERING AND SEMANTIC WEB, KESW 2016, VOLUME: 649
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
14
TITLE: A Semantic Web Approach to Low-Level Features in Images
AUTHORS: Miguel Bento Alves ; Carlos Viegas Damásio; Nuno Correia;
PUBLISHED: 2016, SOURCE: 22nd Brazilian Symposium on Multimedia and the Web, WebMedia 2016 in WebMedia
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
15
TITLE: Agriculture pest and disease risk maps considering MSG satellite data and land surface temperature  Full Text
AUTHORS: da Silva, JRM; Damásio, CV; Sousa, AMO; Bugalho, L; Pessanha, L; Quaresma, P ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF APPLIED EARTH OBSERVATION AND GEOINFORMATION, VOLUME: 38
INDEXED IN: WOS DBLP CrossRef: 21
IN MY: ORCID
16
TITLE: Extended RDF: Computability and complexity issues  Full Text
AUTHORS: Anastasia Analyti; Carlos Viegas Damasio; Grigoris Antoniou;
PUBLISHED: 2015, SOURCE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 75, ISSUE: 3-4
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
17
TITLE: Nested contextualised views in the web of data
AUTHORS: Analyti, A; Damasio, CV; Pachoulakis, I;
PUBLISHED: 2015, SOURCE: International Journal of Web Engineering and Technology, VOLUME: 10, ISSUE: 1
INDEXED IN: Scopus CrossRef
IN MY: ORCID
18
TITLE: Unifying justifications and debugging for answer-set programs
AUTHORS: Damásio, CV; Moura, J; Analyti, A;
PUBLISHED: 2015, SOURCE: 31st International Conference on Logic Programming, ICLP 2015 in CEUR Workshop Proceedings, VOLUME: 1433
INDEXED IN: Scopus
IN MY: ORCID
19
TITLE: Allowing Cyclic Dependencies in Modular Logic Programming
AUTHORS: Joao Moura; Carlos Viegas Damasio;
PUBLISHED: 2015, SOURCE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
20
TITLE: SPARQL Commands in Jena Rules
AUTHORS: Alves, MB ; Damasio, CV; Correia, N;
PUBLISHED: 2015, SOURCE: 6th International Conference on Knowledge Engineering and Semantic Web (KESW) in KNOWLEDGE ENGINEERING AND SEMANTIC WEB, KESW 2015, VOLUME: 518
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
Page 2 of 5. Total results: 50.