Login / Signup
An Informal Discussion of Issues in Mechanically-Assisted Reasoning.
Matt Kaufmann
Published in:
TPHOLs (1991)
Keyphrases
</>
key issues
knowledge base
database
knowledge representation
reasoning process
website
reasoning systems
resource bounded
cognitive architectures
database systems
domain knowledge
social media
semantic web
content analysis
meta level
uncertain information