Salvador Luís de Bethencourt Pinto de Abreu


AuthID: R-000-G4P

Confirmed Publications: 90



61
TITLE: ISTO: A Language for Temporal Organizational Information Systems
AUTHORS: Vítor Nogueira ; Salvador Abreu ;
PUBLISHED: 2009, SOURCE: INAP, VOLUME: 6547 LNAI
INDEXED IN: Scopus DBLP CrossRef
62
TITLE: Network Monitoring with Constraint Programming: Preliminary Specification and Analysis
AUTHORS: Pedro D Salgueiro; Salvador Abreu ;
PUBLISHED: 2009, SOURCE: INAP, VOLUME: 6547 LNAI
INDEXED IN: Scopus DBLP CrossRef: 1
63
TITLE: Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results)
AUTHORS: Salvador Abreu ; Daniel Diaz; Philippe Codognet;
PUBLISHED: 2009, SOURCE: LSCS, VOLUME: 5
INDEXED IN: Scopus DBLP CrossRef: 4
64
TITLE: Representing and Querying Multiple Ontologies with Contextual Logic Programming
AUTHORS: Lopes, N ; Fernandes, C; Abreu, S ;
PUBLISHED: 2008, SOURCE: Conference on Compilers, Related Technologies and Applications in COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 5, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef
65
TITLE: Contextual Logic Programming for Ontology Representation and Querying
AUTHORS: Nuno Lopes ; Cláudio Fernandes; Salvador Abreu ;
PUBLISHED: 2007, SOURCE: ALPSWS, VOLUME: 287
INDEXED IN: Scopus DBLP
66
TITLE: Modularity and temporal reasoning: a logic programming approach
AUTHORS: Nogueira, V ; Abreu, S ;
PUBLISHED: 2007, SOURCE: 14th International Symposium on Temporal Representation and Reasoning in TIME 2007: 14TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef
67
TITLE: On Querying Ontologies with Contextual Logic Programming
AUTHORS: Cláudio Fernandes; Nuno Lopes ; Salvador Abreu ;
PUBLISHED: 2007, SOURCE: OWLED, VOLUME: 258
INDEXED IN: Scopus DBLP
68
TITLE: Temporal Contextual Logic Programming
AUTHORS: Vítor Nogueira ; Salvador Abreu ;
PUBLISHED: 2006, SOURCE: WFLP, VOLUME: 177, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 3
69
TITLE: Towards structured contexts and modules (Extended abstract). Extended Abstract
AUTHORS: Abreu, S ; Nogueira, V ;
PUBLISHED: 2006, SOURCE: 22nd International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 4079
INDEXED IN: Scopus WOS DBLP CrossRef: 1
70
TITLE: Towards temporal contextual logic programming
AUTHORS: Nogueira, V ; Abreu, S ;
PUBLISHED: 2006, SOURCE: 22nd International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 4079
INDEXED IN: Scopus WOS DBLP CrossRef: 1
Page 7 of 9. Total results: 90.

footer slogan

Useful Links

Get Help

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