net.sf.tweety.logics.rdl.reasoner (Tweety (Reiter's Default Logic Library) 1.11 API)

Class Summary
Class Description

NaiveDefaultReasoner
Implements a naive reasoner for default logic based on exhaustive application of defaults in process trees.

Class Summary
Class	Description
NaiveDefaultReasoner	Implements a naive reasoner for default logic based on exhaustive application of defaults in process trees.

Package net.sf.tweety.logics.rdl.reasoner