Faithful Modeling of Product Lines with Kripke Structures and Modal Logic.
Zinovy DiskinAliakbar SafilianTom MaibaumShoham Ben-DavidPublished in: Sci. Ann. Comput. Sci. (2016)
Keyphrases
- modal logic
- temporal logic
- inference rules
- product lines
- classical logic
- epistemic logic
- product line
- nonmonotonic logics
- conditional logic
- model checking
- situation calculus
- artificial intelligence
- dynamic logic
- autoepistemic logic
- information systems
- databases
- object oriented
- cooperative
- management practices
- description logic alc
- kripke models