Extending the theory of Owicki and Gries with a logic of progress
Brijesh DongolDoug GoldsonPublished in: CoRR (2005)
Keyphrases
- formal theory
- computer algebra
- theoretical framework
- knowledge representation
- commonsense reasoning
- logical framework
- deductive reasoning
- boolean algebra
- logic programming
- probability theory
- database
- multi valued
- set theory
- finite model theory
- proof theoretic
- modal operators
- predicate logic
- modal logic
- computational model
- learning algorithm
- genetic algorithm
- machine learning
- databases
- data sets