Semantics for Specialising Attack Trees based on Linear Logic.
Ross HorneSjouke MauwAlwen TiuPublished in: Fundam. Informaticae (2017)
Keyphrases
- linear logic
- proof theoretic
- logic programming
- logical framework
- intuitionistic logic
- fixed point
- abstract argumentation
- decision trees
- cut elimination
- logic programs
- formal semantics
- inference rules
- sequent calculus
- knowledge representation
- reasoning tasks
- knowledge base
- nonmonotonic reasoning
- operational semantics
- belief revision