Package org.tweetyproject.arg.eaf.examples

package org.tweetyproject.arg.eaf.examples

Classes

Class	Description
EAFAgreementReasonerExample	Demonstrates the usage of the EAFAgreementReasoner to reason over multiple Epistemic Argumentation Frameworks (EAFs) that share the same underlying Dung theory.
EafPreferenceRepresentationExample	Demonstrates how epistemic preferences can be encoded within an EpistemicArgumentationFramework using logical implication and justification state preferences.
EafReasonerExample	Demonstrates the use of EpistemicArgumentationFramework (EAF) with various logical constraints and how they affect argument justification under different semantics.
EafTheoryGeneratorExample	Demonstrates the generation and export of EAFs using various generation strategies.