Axiomatic and Tableau-Based Reasoning for Kt(H, R).
Renate A. SchmidtJohn G. StellDavid E. RydeheardPublished in: Advances in Modal Logic (2014)
Keyphrases
- description logics
- axiomatic characterization
- decision theory
- neural network
- automated theorem proving
- decision making
- training data
- multi agent
- relational databases
- special case
- proof procedure
- information retrieval
- real time
- knowledge base
- computer science
- knowledge representation
- input image
- computer vision
- learning algorithm
- set theory