Hierarchical representation of legal knowledge with metaprogramming in logic (Q4289932)
From MaRDI portal
scientific article; zbMATH DE number 558584
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hierarchical representation of legal knowledge with metaprogramming in logic |
scientific article; zbMATH DE number 558584 |
Statements
Hierarchical representation of legal knowledge with metaprogramming in logic (English)
0 references
2 January 1995
0 references
metalevel computation
0 references
metaprogramming
0 references
legal knowledge
0 references
representation language
0 references
multilevel metalogic programming language
0 references
