Miguel Cruz Costa Calejo


AuthID: R-000-D84

Publicações Confirmadas: 7



1
TÍTULO: Advanced knowledge base debugging for Rulelog PDF
AUTORES: Andersen, C; Benyo, B; Calejo, M ; Dean, M; Fodor, P; Grosof, BN; Kifer, M; Liang, S; Swifts, T;
PUBLICAÇÃO: 2013, FONTE: Joint 7th International Rule Challenge, the Special Track on Human Language Technology and the 3rd RuleML Doctoral Consortium Hosted at the 8th International Symposium on Rules, RuleML 2013 in CEUR Workshop Proceedings, VOLUME: 1004
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
2
TÍTULO: Intelligent Document Routing as a First Step towards Workflow Automation: A Case Study Implemented in SQL
AUTORES: Carlos Soares ; Miguel Calejo ;
PUBLICAÇÃO: 2010, FONTE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, VOLUME: 6415, NÚMERO: PART 1
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: DBLP
3
TÍTULO: InterProlog: Towards a declarative embedding of logic programming in Java
AUTORES: Calejo, 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 DBLP CrossRef
NO MEU: DBLP
4
TÍTULO: Web Application Maker
AUTORES: Miguel Calejo ; Mário Araújo; Sónia Mota Araújo; Nuno Soares;
PUBLICAÇÃO: 2002, FONTE: ICEIS
INDEXADO EM: DBLP
NO MEU: DBLP
5
TÍTULO: From Graphical Objects to Terms and Back: an Extended Application Framework for Prolog
AUTORES: Carlos Soares ; Miguel Calejo ;
PUBLICAÇÃO: 1997, FONTE: Proceedings of the 8th Workshop on Logic Programming Environments, LPE '97, post-conference workshop at ICLP 1997, Leuven, Belgium, July 11, 1997
INDEXADO EM: DBLP
NO MEU: DBLP
6
TÍTULO: Algorithmic Debugging of Prolog Side-Effects
AUTORES: Luís Moniz Pereira ; Miguel Calejo ;
PUBLICAÇÃO: 1989, FONTE: EPIA 89, 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989, Proceedings, VOLUME: 390
INDEXADO EM: DBLP
NO MEU: DBLP
7
TÍTULO: A Framework for Prolog Debugging
AUTORES: Luís Moniz Pereira ; Miguel Calejo ;
PUBLICAÇÃO: 1988, FONTE: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, August 15-19, 1988 (2 Volumes)
INDEXADO EM: DBLP
NO MEU: DBLP

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