Understanding Promise Theory Using Rewriting Logic.
Kyrre M. BegnumMark BurgessPublished in: AIMS (2007)
Keyphrases
- formal theory
- set theory
- computer algebra
- theoretical framework
- proof theoretic
- modal logic
- deductive reasoning
- general theory
- commonsense reasoning
- theoretical basis
- multi valued
- classical logic
- asynchronous circuits
- proof theory
- finite model theory
- description logics
- probability theory
- conjunctive queries
- computational model