Miguel Cruz Costa Calejo


AuthID: R-000-D84

Confirmed Publications: 7



1
TITLE: Advanced Knowledge Base Debugging for Rulelog
AUTHORS: Carl Andersen; Brett Benyo; Miguel Calejo ; Mike Dean; Paul Fodor; Benjamin N Grosof; Michael Kifer; Senlin Liang; Terrance Swift;
PUBLISHED: 2013, SOURCE: RuleML (2), VOLUME: 1004
INDEXED IN: Scopus DBLP
2
TITLE: Intelligent Document Routing as a First Step towards Workflow Automation: A Case Study Implemented in SQL
AUTHORS: Soares, C ; Calejo, M ;
PUBLISHED: 2010, SOURCE: 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, ISSUE: PART 1
INDEXED IN: Scopus WOS DBLP CrossRef
3
TITLE: InterProlog: Towards a declarative embedding of logic programming in Java
AUTHORS: Calejo, M ;
PUBLISHED: 2004, SOURCE: 9th European Conference on Logics in Artificial Intelligence (JELIA 04) in LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3229
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: DBLP
4
TITLE: Web Application Maker
AUTHORS: Miguel Calejo ; Mário Araújo; Sónia Mota Araújo; Nuno Soares;
PUBLISHED: 2002, SOURCE: ICEIS
INDEXED IN: DBLP
5
6
TITLE: Algorithmic Debugging of Prolog Side-Effects
AUTHORS: Luís Moniz Pereira ; Miguel Calejo ;
PUBLISHED: 1989, SOURCE: 4th Portuguese Conference on Artificial Intelligence, EPIA 1989 in EPIA, VOLUME: 390 LNAI
INDEXED IN: Scopus DBLP
7
TITLE: A Framework for Prolog Debugging
AUTHORS: Luís Moniz Pereira ; Miguel Calejo ;
PUBLISHED: 1988, SOURCE: ICLP/SLP
INDEXED IN: DBLP

footer slogan

Useful Links

Get Help

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