Hierarchical representation of legal knowledge with metaprogramming in logic

DOI10.1016/0743-1066(94)90041-8zbMATH Open0803.68127OpenAlexW1984397382MaRDI QIDQ4289932FDOQ4289932

Authors: Jonas Barklund, Andreas Hamfelt 

Publication date: 2 January 1995

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0743-1066(94)90041-8

Recommendations

• A metalogic programming approach: language, semantics and applications
• SEMANTICS OF A METALOGIC PROGRAMMING LANGUAGE
• scientific article; zbMATH DE number 194215
• Logic programming and knowledge representation

zbMATH Keywords

metaprogrammingrepresentation languagelegal knowledgemetalevel computationmultilevel metalogic programming language

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17)

Cited In (2)

• Law and logic: a review from an argumentation perspective
• Implementation of choice of jurisdiction and law in private international law by PROLEG meta-interpreter

This page was built for publication: Hierarchical representation of legal knowledge with metaprogramming in logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4289932)