Towards a Theory of Mechanizable Theories: I, FOL Contexts: The Extensional View.
Carolyn L. TalcottRichard W. WeyhrauchPublished in: ECAI (1990)
Keyphrases
- theoretical framework
- general theory
- design theory
- first order logic
- domain theory
- formal theory
- computational models
- causal reasoning
- cognitive theory
- neural network
- theoretical models
- formal models
- cognitive psychology
- decision theory
- theorem proving
- knowledge representation
- relational databases
- mathematical models
- information theory
- theoretical foundation
- dl lite
- information systems
- propositional theories
- learning algorithm