Expand description
Propositional language for ASPIC+.
A Literal is either a positive atom (Atom("bird")) or its negation
(Neg("bird")). Contrariness is symmetric literal negation.
Enumsยง
- Literal
- A propositional literal: an atom or its negation.