Description: A forward-chaining reasoning engine for defeasible logic, a less expressive but more efficient nonmonotonic logic.
Open forum for all scientific topics! Excellent source of information to study. This forum is place to talk with interesting people