Legal modeling and automated reasoning with ON-LINE.

André Valente Joost Breuker Bob Brouwer

Published in: Int. J. Hum. Comput. Stud. (1999)

Keyphrases

automated reasoning
knowledge representation
reasoning systems
reasoning tasks
theorem proving
theorem prover
decision procedures
probabilistic reasoning
knowledge representation and reasoning
automated verification
machine learning
natural language
expert systems
first order logic
legal knowledge