Towards a Logic for Performance and Mobility.
Rocco De NicolaJoost-Pieter KatoenDiego LatellaMieke MassinkPublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- modal logic
- classical logic
- mobility patterns
- mobile agents
- asynchronous circuits
- logic programming
- automated reasoning
- deontic logic
- epistemic logic
- probabilistic logic
- sound and complete axiomatization
- logic synthesis
- abductive reasoning
- formal theory
- database
- multi valued
- information systems
- information retrieval
- databases