The Complexity of Resource-Bounded First-Order Classical Logic.
Jean GoubaultPublished in: STACS (1994)
Keyphrases
- classical logic
- resource bounded
- valued logic
- information gathering
- logic programming
- modal logic
- general logic programs
- meta level
- default logic
- autonomous agents
- worst case
- intuitionistic logic
- first order logic
- information fusion
- computational complexity
- neural network
- incomplete information
- general purpose
- knowledge base