Defeasible Reasoning in OSCAR
arXiv:cs/0003012
Abstract
This is a system description for the OSCAR defeasible reasoner.
Nonmonotonic Reasoning Workshop, 2000
arXiv:cs/0003012
This is a system description for the OSCAR defeasible reasoner.
Nonmonotonic Reasoning Workshop, 2000