A New Time Extension to phi-Calculus based on Time Consuming Transition Semantics.
Marco FischerAndré WindischStefan FörsterBurkhard BalserDieter MonjauPublished in: FDL (2003)
Keyphrases
- proof theoretic
- tableau calculus
- formal language
- algebraic structure
- logic programming
- abstract argumentation frameworks
- error prone
- relational calculus
- formal semantics
- semantic information
- argumentation semantics
- model theoretic
- linear time temporal logic
- database query languages
- transition model
- databases
- computational properties
- argumentation frameworks
- conceptual model
- knowledge base
- neural network