Formalization of CTL* in Calculus of Inductive Constructions.
Ming-Hsien TsaiBow-Yaw WangPublished in: ASIAN (2006)
Keyphrases
- transition systems
- model checking
- temporal logic
- knowledge representation
- inductive learning
- inductive logic programming
- temporal properties
- bounded model checking
- formal model
- machine learning
- inductive concept learning
- computation tree logic
- automated deduction
- formal specification
- minimal change
- computer algebra
- inductive reasoning
- linear temporal logic
- concept learning
- modal logic
- rule learning
- operational semantics
- concurrent systems
- multi agent
- deductive reasoning
- database systems
- learning algorithm
- data sets