Miguel Calejo

According to our database, Miguel Calejo authored at least 16 papers between 1988 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Combining Logic Programming and Imperative Programming in LPS.

Robert A. Kowalski, Fariba Sadri, Miguel Calejo, Jacinto A. Dávila

Proceedings of the Prolog: The Next 50 Years, 2023

Logical English for Law and Education.

Robert A. Kowalski, Jacinto A. Dávila, Galileo Sartor, Miguel Calejo

Proceedings of the Prolog: The Next 50 Years, 2023

Pacioli: A PROLOG System for Financial Report Processing.

Miguel Calejo, Charles Hoffman

Proceedings of the Prolog: The Next 50 Years, 2023

2019

Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages.

Jan Wielemaker, Fabrizio Riguzzi, Robert A. Kowalski, Torbjörn Lager, Fariba Sadri, Miguel Calejo

Theory Pract. Log. Program., 2019

2018

Using SWISH to realise interactive web based tutorials for logic based languages.

Jan Wielemaker, Fabrizio Riguzzi, Bob Kowalski, Torbjörn Lager, Fariba Sadri, Miguel Calejo

CoRR, 2018

2017

How to do it with LPS (Logic-Based Production System).

Robert A. Kowalski, Fariba Sadri, Miguel Calejo

Proceedings of the Doctoral Consortium, 2017

2015

Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog.

Benjamin N. Grosof, Janine Bloomfield, Paul Fodor, Michael Kifer, Isaac Grosof, Miguel Calejo, Terrance Swift

Proceedings of the RuleML 2015 Challenge, 2015

2013

Understanding Rulelog Computations in Silk.

Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift

CoRR, 2013

Advanced Knowledge Base Debugging for Rulelog.

Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift

Proceedings of the Joint Proceedings of the 7th International Rule Challenge, 2013

2010

Intelligent Document Routing as a First Step towards Workflow Automation: A Case Study Implemented in SQL.

Carlos Soares, Miguel Calejo

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2004

InterProlog: Towards a Declarative Embedding of Logic Programming in Java.

Miguel Calejo

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

2002

Web Application Maker.

Miguel Calejo, Mário Araújo, Sónia Mota Araújo, Nuno Soares

Proceedings of the ICEIS 2002, 2002

1997

From Graphical Objects to Terms and Back: an Extended Application Framework for Prolog.

Carlos Soares, Miguel Calejo

Proceedings of the 8th Workshop on Logic Programming Environments, 1997

1991

Declarative Source Debugging.

Miguel Calejo, Luís Moniz Pereira

Proceedings of the EPIA 91, 1991

1989

Algorithmic Debugging of Prolog Side-Effects.

Luís Moniz Pereira, Miguel Calejo

Proceedings of the EPIA 89, 1989

1988

A Framework for Prolog Debugging.

Luís Moniz Pereira, Miguel Calejo

Proceedings of the Logic Programming, 1988