Login / Signup
Let Us Investigate! Dynamic Conjecture-Making as the Formal Logic of Abduction.
Minghui Ma
Ahti-Veikko Pietarinen
Published in:
J. Philos. Log. (2018)
Keyphrases
</>
formal logic
predicate logic
logic programming
machine learning
knowledge acquisition