I tried using the web application ' Logical Constitution ' that describes the text of the Constitution of Japan, which is the highest law of Japan , using logic programming and displays the ...

This chapter contains sections titled: Introduction, Maude and Concurrent Rewriting, Rewriting Logic, A Logical Theory of Concurrent Objects, Simple Maude, More Examples, Maude and MaudeLog as ...

<para>This poster introduces a language to program a reactive and rational agent such as that described in [2], [3] and [1]. The new programming language, called OPENLOG, has its semantics described ...

The data analysis has taken, as its theoretical basis, Papert’s constructionism (1997, 2007), Mortari (2001), and Pozo’s characterization of learning (2002). At the end of the analytic process, we ...

Preparing for MBA, Banking or other competitive exams that have logical reasoning as a subject? Here is something to help you: ...

A city in Kumamoto prefecture has launched a successful initiative to teach programming to 6th graders using Nintendo Switch consoles.