Login / Signup
A Logic of Expertise.
Joseph Singleton
Published in:
CoRR (2021)
Keyphrases
</>
expert systems
classical logic
modal logic
asynchronous circuits
neural network
logic programming
database
artificial intelligence
automated reasoning
multi valued
sound and complete axiomatization
linear temporal logic
deep knowledge
domain expertise
probabilistic logic
case study
databases