Miguel Cruz Costa Calejo


AuthID: R-000-D84

Publicações Confirmadas: 7



1
TÍTULO: Advanced Knowledge Base Debugging for Rulelog
AUTORES: Carl Andersen; Brett Benyo; Miguel Calejo ; Mike Dean; Paul Fodor; Benjamin N Grosof; Michael Kifer; Senlin Liang; Terrance Swift;
PUBLICAÇÃO: 2013, FONTE: RuleML (2), VOLUME: 1004
INDEXADO EM: Scopus DBLP
2
TÍTULO: Intelligent Document Routing as a First Step towards Workflow Automation: A Case Study Implemented in SQL
AUTORES: Soares, C ; Calejo, M ;
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
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 CrossRef: 13
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
5
6
TÍTULO: Algorithmic Debugging of Prolog Side-Effects
AUTORES: Luís Moniz Pereira ; Miguel Calejo ;
PUBLICAÇÃO: 1989, FONTE: 4th Portuguese Conference on Artificial Intelligence, EPIA 1989 in EPIA, VOLUME: 390 LNAI
INDEXADO EM: Scopus DBLP
7
TÍTULO: A Framework for Prolog Debugging
AUTORES: Luís Moniz Pereira ; Miguel Calejo ;
PUBLICAÇÃO: 1988, FONTE: ICLP/SLP
INDEXADO EM: DBLP

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service