Login / Signup
Using Terminological Logics in a Problem Solver.
William R. Swartout
Published in:
Description Logics (1991)
Keyphrases
</>
knowledge base
modal logic
expressive power
knowledge representation
inference rules
nonmonotonic logics
constraint solver
classical logic
conditional logic
epistemic logic
databases
neural network
first order logic
proof theory
propositional calculus
propositional dynamic logic