Skip to main content

argumentation/aspic/
mod.rs

1//! ASPIC+ structured argumentation (Modgil & Prakken 2014).
2
3pub mod argument;
4pub mod attacks;
5pub mod defeat;
6pub mod kb;
7pub mod language;
8pub mod postulates;
9pub mod rules;
10
11pub use argument::{Argument, ArgumentId, Origin, construct_arguments};
12pub use attacks::{Attack, AttackKind, compute_attacks};
13pub use defeat::{BuildOutput, DefeatOrdering, StructuredSystem};
14pub use kb::{KnowledgeBase, Premise};
15pub use language::Literal;
16pub use postulates::{PostulateReport, PostulateViolation};
17pub use rules::{Rule, RuleId, RuleKind};