Legal Reasoning Using Abductive Logic Programming.

Takashi Kanai Susumu Kunifuji

Published in: J. Adv. Comput. Intell. Intell. Informatics (1997)

Keyphrases

legal reasoning
abductive logic programming
logic programs
case based reasoning
defeasible reasoning
proof procedure
inference rules
logic programming
legal argument
legal cases
defeasible logic
artificial intelligence and law
theorem proving
fixpoint
answer set programming
object oriented
bayesian networks