Home Research-feed Channel Rankings GCT THU AI TR Open Data Must Reading

views: 17

Miguel Calejo

Director

Declarativa and Information Systems Department, Universidade do Minho, Portugal

Sign in to view more

Show Academic Trajectory

Ego Network

D-Core

Research Interests

Author Statistics

Experience

Education

Bio

None

Papers13 papers

Sort

By YearBy Citation

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 AND PRACTICE OF LOGIC PROGRAMMING, no. SP2 (2019): 229-261

Cited by4EIBibtex

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

arXiv: Programming Languages, (2018)

Cited by4EIBibtex

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

Robert A. Kowalski,Fariba Sadri,Miguel Calejo

RuleML+RR (Supplement), (2017)

EIBibtex

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

Challenge+DC@RuleML, (2015)

Cited by2EIBibtex

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

RuleML (2), (2013)

Cited by2EIBibtex

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)

Cited by3EIBibtex

Intelligent document routing as a first step towards workflow automation: a case study implemented in SQL

Carlos Soares,Miguel Calejo

ISoLA (1), (2010): 276-284

Cited by1EIBibtex

InterProlog: Towards a Declarative Embedding of Logic Programming in Java

Lecture Notes in Artificial Intelligence, (2004): 714-717

Cited by37EIBibtex

Web Application Maker

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

ICEIS, pp.250-256, (2002)

EIBibtex

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

Carlos Soares,Miguel Calejo

LPE, pp.60-69, (1997)

Cited by1EIBibtex

Declarative Source Debugging

Miguel Calejo,Luís Moniz Pereira

EPIA '89, (1991): 237-249

Cited by5EIBibtex

Algorithmic Debugging of Prolog Side-Effects

Luís Moniz Pereira,Miguel Calejo

EPIA '89, pp.151-162, (1989)

Cited by4EIBibtex

A Framework for Prolog Debugging

Luís Moniz Pereira,Miguel Calejo

ICLP/SLP, pp.481-495, (1988)

Cited by40EIBibtex

View All

Base Info Papers Patents Projects