Miguel Cruz Costa Calejo


AuthID: R-000-D84

Confirmed Publications: 7



1
TITLE: Advanced knowledge base debugging for Rulelog PDF
AUTHORS: Andersen, C; Benyo, B; Calejo, M ; Dean, M; Fodor, P; Grosof, BN; Kifer, M; Liang, S; Swifts, T;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: Scopus DBLP
IN MY: DBLP
2
TITLE: Intelligent Document Routing as a First Step towards Workflow Automation: A Case Study Implemented in SQL
AUTHORS: Carlos Soares ; Miguel Calejo ;
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
IN MY: DBLP
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
IN MY: DBLP
5
TITLE: From Graphical Objects to Terms and Back: an Extended Application Framework for Prolog
AUTHORS: Carlos Soares ; Miguel Calejo ;
PUBLISHED: 1997, SOURCE: Proceedings of the 8th Workshop on Logic Programming Environments, LPE '97, post-conference workshop at ICLP 1997, Leuven, Belgium, July 11, 1997
INDEXED IN: DBLP
IN MY: DBLP
6
TITLE: Algorithmic Debugging of Prolog Side-Effects
AUTHORS: Luís Moniz Pereira ; Miguel Calejo ;
PUBLISHED: 1989, SOURCE: EPIA 89, 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989, Proceedings, VOLUME: 390
INDEXED IN: DBLP
IN MY: DBLP
7
TITLE: A Framework for Prolog Debugging
AUTHORS: Luís Moniz Pereira ; Miguel Calejo ;
PUBLISHED: 1988, SOURCE: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, August 15-19, 1988 (2 Volumes)
INDEXED IN: DBLP
IN MY: DBLP

A place for researchers and their institutions

Useful Links

Get Help

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