Classical predicative logic-enriched type theories.
Robin AdamsZhaohui LuoPublished in: Ann. Pure Appl. Log. (2010)
Keyphrases
- learning algorithm
- probability theory
- classical first order logic
- defeasible logic
- quantum computation
- logic programming
- real time
- first order logic
- cognitive psychology
- classical logic
- automated reasoning
- databases
- theoretical framework
- logic programs
- logical framework
- knowledge base
- information retrieval
- neural network
- modal operators
- data sets