Computability at Logic Colloquium 2009.
Alexandra A. SoskovaS. Barry CooperAndrea SorbiPublished in: J. Log. Comput. (2012)
Keyphrases
- computational properties
- modal logic
- predicate logic
- multi valued
- data sets
- databases
- proof theory
- set theory
- classical logic
- probabilistic logic
- artificial neural networks
- logic programming
- logical framework
- data model
- information systems
- search engine
- asynchronous circuits
- real world
- delay insensitive
- linear temporal logic