Contextual Semantics: From Quantum Mechanics to Logic, Databases, Constraints, and Complexity.
Samson AbramskyPublished in: Bull. EATCS (2014)
Keyphrases
- quantum mechanics
- databases
- derivation rules
- logic programming
- proof theory
- constraint language
- null values
- relational databases
- particle swarm optimisation
- data model
- rewrite systems
- quantum computing
- modal logic
- quantum probability
- propositional dynamic logic
- human decision making
- evolutionary algorithm
- artificial intelligence
- logic programs
- multi objective
- multi agent