Login / Signup
An axiomatization of Wansing's expansion of Nelson's logic.
Hitoshi Omori
Published in:
Reports Math. Log. (2015)
Keyphrases
</>
logic programming
classical logic
complete axiomatization
expert systems
defeasible logic
modal logic
multi valued
situation calculus
delay insensitive
linear logic
general theory
probabilistic logic
learning algorithm
logic programs
e learning
decision making
artificial intelligence