Tool support for reasoning in display calculi.
Samuel BalcoSabine FrittellaGiuseppe GrecoAlexander KurzAlessandra PalmigianoPublished in: CoRR (2016)
Keyphrases
- tool support
- reasoning problems
- software development
- software tools
- vague concepts
- design decisions
- software projects
- requirements engineering
- software engineering
- qualitative spatial reasoning
- fuzzy logic
- test suite
- reasoning tasks
- knowledge representation
- multi agent
- case study
- description logics
- logic programs
- maximal tractable