Model Checking Using Description Logic.
Shoham Ben-DavidRichard J. TreflerGrant E. WeddellPublished in: J. Log. Comput. (2010)
Keyphrases
- model checking
- description logics
- temporal logic
- knowledge base
- formal verification
- finite state
- snomed ct
- formal specification
- finite state machines
- knowledge representation
- reasoning tasks
- model checker
- formal methods
- pspace complete
- expert systems
- epistemic logic
- satisfiability problem
- fuzzy set theory
- machine learning