( en | de | ru )

 

Disambiguation of "Calejo, Miguel"

Author of the publication

copydeleteadd this publication to your clipboard
Using SWISH to realise interactive web based tutorials for logic based languages.

, , , , , and . CoRR, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Miguel Beato

Miguel Cardozo

Miguel Astner

Miguel Cruset

Miguel Coelho

 

Other publications of authors with the same name

How to do it with LPS (Logic-Based Production System)., , and . RuleML+RR (Supplement), volume 1875 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)Advanced Knowledge Base Debugging for Rulelog., , , , , , , , and . RuleML (2), volume 1004 of CEUR Workshop Proceedings, CEUR-WS.org, (2013)A Framework for Prolog Debugging., and . ICLP/SLP, page 481-495. MIT Press, (1988)Declarative Source Debugging., and . EPIA, volume 541 of Lecture Notes in Computer Science, page 237-249. Springer, (1991)Algorithmic Debugging of Prolog Side-Effects., and . EPIA, volume 390 of Lecture Notes in Computer Science, page 151-162. Springer, (1989)Understanding Rulelog Computations in Silk., , , , , , , , and . CoRR, (2013)Pacioli: A PROLOG System for Financial Report Processing., and . Prolog: The Next 50 Years, volume 13900 of Lecture Notes in Computer Science, Springer, (2023)Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages., , , , , and . Theory Pract. Log. Program., 19 (2): 229-261 (2019)Logical English for Law and Education., , , and . Prolog: The Next 50 Years, volume 13900 of Lecture Notes in Computer Science, Springer, (2023)Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog., , , , , , and . Challenge+DC@RuleML, volume 1417 of CEUR Workshop Proceedings, CEUR-WS.org, (2015)