Login / Signup
The Use of Different Representation Technique in Validation & Verification of Legal KB-System.
Marnix C. M. Weusten
Published in:
ICLP Workshop: Legal Application of Logic Programming (1994)
Keyphrases
</>
knowledge base
website
model checking
formal verification
databases
formal methods
information systems
face recognition
object recognition
expert systems
proceedings of the th international conference
feature representation
representation scheme
general knowledge