Miguel Cruz Costa Calejo
AuthID: R-000-D84
1
TITLE: Pacioli: A PROLOG System for Financial Report Processing
AUTHORS: Miguel Calejo; Charles Hoffman;
PUBLISHED: 2023, SOURCE: Prolog: The Next 50 Years, VOLUME: 13900
AUTHORS: Miguel Calejo; Charles Hoffman;
PUBLISHED: 2023, SOURCE: Prolog: The Next 50 Years, VOLUME: 13900
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP2
TITLE: Logical English for Law and Education
AUTHORS: Robert A Kowalski; Jacinto A Dávila; Galileo Sartor; Miguel Calejo;
PUBLISHED: 2023, SOURCE: Prolog: The Next 50 Years, VOLUME: 13900
AUTHORS: Robert A Kowalski; Jacinto A Dávila; Galileo Sartor; Miguel Calejo;
PUBLISHED: 2023, SOURCE: Prolog: The Next 50 Years, VOLUME: 13900
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP3
TITLE: Combining Logic Programming and Imperative Programming in LPS
AUTHORS: Robert A Kowalski; Fariba Sadri; Miguel Calejo; Jacinto A Dávila;
PUBLISHED: 2023, SOURCE: Prolog: The Next 50 Years, VOLUME: 13900
AUTHORS: Robert A Kowalski; Fariba Sadri; Miguel Calejo; Jacinto A Dávila;
PUBLISHED: 2023, SOURCE: Prolog: The Next 50 Years, VOLUME: 13900
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP4
TITLE: Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages
AUTHORS: Jan Wielemaker; Fabrizio Riguzzi; Robert A Kowalski; Torbjörn Lager; Fariba Sadri; Miguel Calejo;
PUBLISHED: 2019, SOURCE: TPLP, VOLUME: 19, ISSUE: 2
AUTHORS: Jan Wielemaker; Fabrizio Riguzzi; Robert A Kowalski; Torbjörn Lager; Fariba Sadri; Miguel Calejo;
PUBLISHED: 2019, SOURCE: TPLP, VOLUME: 19, ISSUE: 2
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP5
TITLE: Using SWISH to realise interactive web based tutorials for logic based languages PDF
AUTHORS: Jan Wielemaker; Fabrizio Riguzzi; Bob Kowalski; Torbjörn Lager; Fariba Sadri; Miguel Calejo;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1808.08042
AUTHORS: Jan Wielemaker; Fabrizio Riguzzi; Bob Kowalski; Torbjörn Lager; Fariba Sadri; Miguel Calejo;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1808.08042
INDEXED IN: DBLP 
arXiv
DBLP arXiv IN MY: DBLP
DBLP6
TITLE: Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog PDF
AUTHORS: Benjamin N Grosof; Janine Bloomfield; Paul Fodor; Michael Kifer; Isaac Grosof; Miguel Calejo; Terrance Swift;
PUBLISHED: 2015, SOURCE: Proceedings of the RuleML 2015 Challenge, the Special Track on Rule-based Recommender Systems for the Web of Data, the Special Industry Track and the RuleML 2015 Doctoral Consortium hosted by the 9th International Web Rule Symposium (RuleML 2015), Berlin, Germany, August 2-5, 2015., VOLUME: 1417
AUTHORS: Benjamin N Grosof; Janine Bloomfield; Paul Fodor; Michael Kifer; Isaac Grosof; Miguel Calejo; Terrance Swift;
PUBLISHED: 2015, SOURCE: Proceedings of the RuleML 2015 Challenge, the Special Track on Rule-based Recommender Systems for the Web of Data, the Special Industry Track and the RuleML 2015 Doctoral Consortium hosted by the 9th International Web Rule Symposium (RuleML 2015), Berlin, Germany, August 2-5, 2015., VOLUME: 1417
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP7
TITLE: DECLARATIVE SOURCE DEBUGGING
AUTHORS: CALEJO, M; PEREIRA, LM ;
PUBLISHED: 1991, SOURCE: 5TH PORTUGUESE CONF ON ARTIFICIAL INTELLIGENCE in EPIA 91, VOLUME: 541
AUTHORS: CALEJO, M; PEREIRA, LM ;
PUBLISHED: 1991, SOURCE: 5TH PORTUGUESE CONF ON ARTIFICIAL INTELLIGENCE in EPIA 91, VOLUME: 541
INDEXED IN: 
WOS DBLP
WOS DBLP IN MY: DBLP
DBLP8
TITLE: DECLARATIVE SOURCE DEBUGGING
AUTHORS: CALEJO, M; PEREIRA, LM ;
PUBLISHED: 1991, SOURCE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541
AUTHORS: CALEJO, M; PEREIRA, LM ;
PUBLISHED: 1991, SOURCE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541
INDEXED IN: WOS
WOS9
TITLE: Declarative source debugging
AUTHORS: Miguel Calejo; Luís Moniz Pereira;
PUBLISHED: 1991, SOURCE: EPIA 91 - Lecture Notes in Computer Science
AUTHORS: Miguel Calejo; Luís Moniz Pereira;
PUBLISHED: 1991, SOURCE: EPIA 91 - Lecture Notes in Computer Science
INDEXED IN: 
CrossRef
CrossRef10
TITLE: Algorithmic debugging of prolog side-effects
AUTHORS: Pereira, LM; Calejo, M;
PUBLISHED: 1989, SOURCE: 4th Portuguese Conference on Artificial Intelligence, EPIA 1989 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 390 LNAI
AUTHORS: Pereira, LM; Calejo, M;
PUBLISHED: 1989, SOURCE: 4th Portuguese Conference on Artificial Intelligence, EPIA 1989 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 390 LNAI
INDEXED IN: 
Scopus
Scopus