Software Tool Support for Modular Reasoning in Modal Logics of Actions.
Samuel BalcoSabine FrittellaGiuseppe GrecoAlexander KurzAlessandra PalmigianoPublished in: ITP (2018)
Keyphrases
- tool support
- modal logic
- software development
- software tools
- situation calculus
- decision procedures
- software projects
- reasoning about actions
- temporal logic
- inference rules
- software engineering
- automated reasoning
- reasoning tasks
- test suite
- classical logic
- requirements engineering
- software systems
- nonmonotonic logics
- design decisions
- default logic
- source code
- knowledge base
- epistemic logic
- trade off
- action theories
- autoepistemic logic
- default reasoning
- theorem proving
- kripke models
- legal reasoning
- project management
- conjunctive queries
- development process
- case study