Logical English for Law and Education

Robert Kowalski,Jacinto Dávila, Galileo Sartor,Miguel Calejo

Lecture Notes in Computer Science（2023）

引用 6|浏览3

暂无评分

摘要

In this paper we present the key features of Logical English as syntactic sugar for logic programming languages such as pure Prolog, ASP and s(CASP); and we highlight two application areas, coding legal rules, and teaching logic as a computer language for children.

查看译文

关键词

logical english,law,education

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要