Querying with Łukasiewicz logic.
Stefano AguzzoliPietro CodaraTommaso FlaminioBrunella GerlaDiego ValotaPublished in: CoRR (2015)
Keyphrases
- query language
- databases
- classical logic
- modal logic
- logic programming
- sound and complete axiomatization
- digital circuits
- query processing
- multi agent systems
- probability theory
- multi valued
- information systems
- epistemic logic
- knowledge base
- efficient retrieval
- logical framework
- social networks
- formal theory
- asynchronous circuits
- logic synthesis
- database