Miguel Calejo
Miguel Calejo
Director, InterProlog Consulting
Verified email at interprolog.com - Homepage
Title
Cited by
Cited by
Year
InterProlog: Towards a declarative embedding of logic programming in Java
M Calejo
European Workshop on Logics in Artificial Intelligence, 714-717, 2004
522004
A Framework for Prolog Debugging.
LM Pereira, M Calejo
ICLP/SLP, 481-495, 1988
391988
A framework for declarative Prolog debugging
M Calejo
PhD thesis, Universidade Nova de Lisboa, 1992
201992
Refining knowledge base updates
LM Pereira, M Calejo, JN Aparicio
Tech. Report, AI Center/UNINOVA, Portugal, 1989
141989
Interprolog: A declarative java-prolog interface
M Calejo
EPIA. Springer-Verlag, 2001
122001
Using SWISH to realize interactive web-based tutorials for logic-based languages
J Wielemaker, F Riguzzi, RA Kowalski, T Lager, F Sadri, M Calejo
Theory and Practice of Logic Programming 19 (2), 229-261, 2019
72019
Algorithmic debugging of prolog side-effects
LM Pereira, M Calejo
Portuguese Conference on Artificial Intelligence, 151-162, 1989
61989
Declarative source debugging
M Calejo, LM Pereira
Portuguese Conference on Artificial Intelligence, 237-249, 1991
51991
Rapid GIS Development: a model-based approach focused on interoperability
M Calejo, R Sequeira, R Cavaco, M Araújo
13th AGILE International Conference on Geographic Information Science, 2010
42010
Java+Prolog: A land of opportunities
M Calejo
The First International Conference on The Practical Application of …, 1999
41999
Understanding rulelog computations in silk
C Andersen, B Benyo, M Calejo, M Dean, P Fodor, BN Grosof, M Kifer, ...
arXiv preprint arXiv:1308.4125, 2013
32013
Advanced Knowledge Base Debugging for Rulelog.
C Andersen, B Benyo, M Calejo, M Dean, P Fodor, BN Grosof, M Kifer, ...
RuleML (2), 2013
32013
Embedding Prolog in the Java environment
M Calejo, JP Sousa
Proc. of the 2nd Int. Workshop on Logic Programming Tools for Internet …, 1997
31997
Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog
B Grosof, J Bloomfield, P Fodor, M Kifer, I Grosof, M Calejo, T Swift
RuleML 2015, 2015
22015
Intelligent document routing as a first step towards workflow automation: a case study implemented in SQL
C Soares, M Calejo
International Symposium On Leveraging Applications of Formal Methods …, 2010
12010
From Graphical Objects to Terms and Back: an Extended Application Framework for Prolog.
C Soares, M Calejo
LPE, 60-69, 1997
11997
How to do it with LPS (Logic-Based Production System).
RA Kowalski, F Sadri, M Calejo
RuleML+ RR (Supplement), 2017
2017
Debugging and Profiling Rulelog Computations in Silk
T Swift, M Kifer, B Grosof, C Andersen, B Benyo, M Dean
23rd Workshop on Logic-based methods in Programming Environments, 2013
2013
Web Application Maker: DRY web app development with SQL
M Calejo, M Araújo
Lulu Publishing ISBN 978-1-105-06262-9, 2011
2011
Towards a new Generation User Help Platform: a preliminary survey of relevant fields
M Calejo, A Baldaque
IASK Teaching and Learning International Conference, 2008
2008
The system can't perform the operation now. Try again later.
Articles 1–20