A logic foundation for a general-purpose history querying tool.
Reinout StevensCoen De RooverCarlos NogueraAndy KellensViviane JonckersPublished in: Sci. Comput. Program. (2014)
Keyphrases
- general purpose
- special purpose
- databases
- domain specific
- modal logic
- programming language
- neural network
- automated reasoning
- deontic logic
- data structure
- logic programming
- software tools
- proof theory
- query language
- set theory
- computational properties
- classical logic
- logical framework
- multi valued
- database
- description logics
- relational databases