Economy and economics in the logic of theory change.
Hans RottPublished in: Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
- formal theory
- computer algebra
- proof theory
- theoretical basis
- modal logic
- commonsense reasoning
- logical framework
- theoretical framework
- computational model
- logic programming
- artificial intelligence
- game theory
- real time
- deductive reasoning
- computational intelligence
- low carbon
- proof theoretic
- asynchronous circuits
- computational properties
- classical logic
- automated reasoning
- decision theory
- resource allocation