Miguel Cruz Costa Calejo
AuthID: R-000-D84
1
TÃTULO: Pacioli: A PROLOG System for Financial Report Processing
AUTORES: Miguel Calejo; Charles Hoffman;
PUBLICAÇÃO: 2023, FONTE: Prolog: The Next 50 Years, VOLUME: 13900
AUTORES: Miguel Calejo; Charles Hoffman;
PUBLICAÇÃO: 2023, FONTE: Prolog: The Next 50 Years, VOLUME: 13900
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP2
TÃTULO: Logical English for Law and Education
AUTORES: Robert A Kowalski; Jacinto A Dávila; Galileo Sartor; Miguel Calejo;
PUBLICAÇÃO: 2023, FONTE: Prolog: The Next 50 Years, VOLUME: 13900
AUTORES: Robert A Kowalski; Jacinto A Dávila; Galileo Sartor; Miguel Calejo;
PUBLICAÇÃO: 2023, FONTE: Prolog: The Next 50 Years, VOLUME: 13900
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP3
TÃTULO: Combining Logic Programming and Imperative Programming in LPS
AUTORES: Robert A Kowalski; Fariba Sadri; Miguel Calejo; Jacinto A Dávila;
PUBLICAÇÃO: 2023, FONTE: Prolog: The Next 50 Years, VOLUME: 13900
AUTORES: Robert A Kowalski; Fariba Sadri; Miguel Calejo; Jacinto A Dávila;
PUBLICAÇÃO: 2023, FONTE: Prolog: The Next 50 Years, VOLUME: 13900
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP4
TÃTULO: Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages
AUTORES: Jan Wielemaker; Fabrizio Riguzzi; Robert A Kowalski; Torbjörn Lager; Fariba Sadri; Miguel Calejo;
PUBLICAÇÃO: 2019, FONTE: TPLP, VOLUME: 19, NÚMERO: 2
AUTORES: Jan Wielemaker; Fabrizio Riguzzi; Robert A Kowalski; Torbjörn Lager; Fariba Sadri; Miguel Calejo;
PUBLICAÇÃO: 2019, FONTE: TPLP, VOLUME: 19, NÚMERO: 2
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP5
TÃTULO: Using SWISH to realise interactive web based tutorials for logic based languages PDF
AUTORES: Jan Wielemaker; Fabrizio Riguzzi; Bob Kowalski; Torbjörn Lager; Fariba Sadri; Miguel Calejo;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1808.08042
AUTORES: Jan Wielemaker; Fabrizio Riguzzi; Bob Kowalski; Torbjörn Lager; Fariba Sadri; Miguel Calejo;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1808.08042
INDEXADO EM: DBLP 
arXiv
DBLP arXiv NO MEU: DBLP
DBLP6
TÃTULO: Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog PDF
AUTORES: Benjamin N Grosof; Janine Bloomfield; Paul Fodor; Michael Kifer; Isaac Grosof; Miguel Calejo; Terrance Swift;
PUBLICAÇÃO: 2015, FONTE: 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
AUTORES: Benjamin N Grosof; Janine Bloomfield; Paul Fodor; Michael Kifer; Isaac Grosof; Miguel Calejo; Terrance Swift;
PUBLICAÇÃO: 2015, FONTE: 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
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP7
TÃTULO: DECLARATIVE SOURCE DEBUGGING
AUTORES: CALEJO, M; PEREIRA, LM ;
PUBLICAÇÃO: 1991, FONTE: 5TH PORTUGUESE CONF ON ARTIFICIAL INTELLIGENCE in EPIA 91, VOLUME: 541
AUTORES: CALEJO, M; PEREIRA, LM ;
PUBLICAÇÃO: 1991, FONTE: 5TH PORTUGUESE CONF ON ARTIFICIAL INTELLIGENCE in EPIA 91, VOLUME: 541
INDEXADO EM: 
WOS DBLP
WOS DBLP NO MEU: DBLP
DBLP8
TÃTULO: DECLARATIVE SOURCE DEBUGGING
AUTORES: CALEJO, M; PEREIRA, LM ;
PUBLICAÇÃO: 1991, FONTE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541
AUTORES: CALEJO, M; PEREIRA, LM ;
PUBLICAÇÃO: 1991, FONTE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541
INDEXADO EM: WOS
WOS9
TÃTULO: Declarative source debugging
AUTORES: Miguel Calejo; Luís Moniz Pereira;
PUBLICAÇÃO: 1991, FONTE: EPIA 91 - Lecture Notes in Computer Science
AUTORES: Miguel Calejo; Luís Moniz Pereira;
PUBLICAÇÃO: 1991, FONTE: EPIA 91 - Lecture Notes in Computer Science
INDEXADO EM: 
CrossRef
CrossRef10
TÃTULO: Algorithmic debugging of prolog side-effects
AUTORES: Pereira, LM; Calejo, M;
PUBLICAÇÃO: 1989, FONTE: 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
AUTORES: Pereira, LM; Calejo, M;
PUBLICAÇÃO: 1989, FONTE: 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
INDEXADO EM: 
Scopus
Scopus