Login / Signup
On a Three-Valued Logic to Reason with Prototypes and Counterexamples and a Similarity-Based Generalization.
Soma Dutta
Francesc Esteva
Lluís Godo
Published in:
CAEPIA (2016)
Keyphrases
</>
nonmonotonic logics
modal logic
epistemic logic
logic programming
classical logic
neural network
training set
computational properties
nonmonotonic reasoning
proof theory
formal theory
defeasible logic
automated reasoning
database
default logic
information retrieval
machine learning
data sets