Miguel Calejo

16 papers B 1Misc 2Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2023 — ch.
Combining Logic Programming and Imperative Programming in LPS.
Prolog: The Next 50 Years
Robert A. Kowalski, Fariba Sadri, Miguel Calejo, Jacinto A. Dávila
2023 — ch.
Logical English for Law and Education.
Prolog: The Next 50 Years
Robert A. Kowalski, Jacinto A. Dávila, Galileo Sartor, Miguel Calejo
2023 — ch.
Pacioli: A PROLOG System for Financial Report Processing.
Prolog: The Next 50 Years
Miguel Calejo, Charles Hoffman
2019 J jnl
Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages.
Theory Pract. Log. Program.
Jan Wielemaker, Fabrizio Riguzzi, Robert A. Kowalski, Torbjörn Lager, Fariba Sadri, Miguel Calejo
2018 J jnl
Using SWISH to realise interactive web based tutorials for logic based languages.
CoRR
Jan Wielemaker, Fabrizio Riguzzi, Bob Kowalski, Torbjörn Lager, Fariba Sadri, Miguel Calejo
2017 — conf
How to do it with LPS (Logic-Based Production System).
RuleML+RR (Supplement)
Robert A. Kowalski, Fariba Sadri, Miguel Calejo
2015 — conf
Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog.
Challenge+DC@RuleML
Benjamin N. Grosof, Janine Bloomfield, Paul Fodor, Michael Kifer, Isaac Grosof, Miguel Calejo, Terrance Swift
2013 — conf
Advanced Knowledge Base Debugging for Rulelog.
RuleML (2)
Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift
2013 J jnl
Understanding Rulelog Computations in Silk.
CoRR
Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift
2010 — conf
Intelligent Document Routing as a First Step towards Workflow Automation: A Case Study Implemented in SQL.
ISoLA (1)
Carlos Soares, Miguel Calejo
2004 B conf
InterProlog: Towards a Declarative Embedding of Logic Programming in Java.
JELIA
Miguel Calejo
2002 — conf
Web Application Maker.
ICEIS
Miguel Calejo, Mário Araújo, Sónia Mota Araújo, Nuno Soares
1997 — conf
From Graphical Objects to Terms and Back: an Extended Application Framework for Prolog.
LPE
Carlos Soares, Miguel Calejo
1991 Misc conf
Declarative Source Debugging.
EPIA
Miguel Calejo, Luís Moniz Pereira
1989 Misc conf
Algorithmic Debugging of Prolog Side-Effects.
EPIA
Luís Moniz Pereira, Miguel Calejo
1988 — conf
A Framework for Prolog Debugging.
ICLP/SLP
Luís Moniz Pereira, Miguel Calejo