( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Understanding Rulelog Computations in Silk.

, , , , , , , , и . CoRR, (2013)

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.

Miguel Beato

Miguel Cardozo

Miguel Cruset

Miguel Astner

Miguel Coelho

 

Другие публикации лиц с тем же именем

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