Hierarchical Representation of Legal Knowledge with Metaprogramming in Logic.
Jonas BarklundAndreas HamfeltPublished in: J. Log. Program. (1994)
Keyphrases
- hierarchical representation
- legal knowledge
- object centered
- legal texts
- knowledge base
- coarse to fine
- multiresolution
- knowledge representation
- legal ontologies
- predicate logic
- asynchronous circuits
- modal logic
- logic programming
- classical logic
- genetic algorithm
- sound and complete axiomatization
- view dependent
- digital circuits
- set theory
- epistemic logic
- deontic logic
- automated reasoning
- proof theory
- wavelet transform
- reinforcement learning
- artificial intelligence
- neural network
- data sets