Login / Signup
Interpolation of Benchmark Problems in Defeasible Reasoning.
Gerard Vreeswijk
Published in:
WOCFAI (1995)
Keyphrases
</>
benchmark problems
defeasible reasoning
defeasible logic
legal reasoning
simulated annealing
nonmonotonic reasoning
formal semantics
test problems
conditional logic
optimization problems
argumentation systems
job shop scheduling problem
object oriented
belief revision
argumentation frameworks