C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A finitary outer measure logic.
Stefano Baratella
Published in:
J. Log. Comput. (2023)
Keyphrases
</>
similarity measure
classical logic
logic programming
neural network
finite state
learning algorithm
state space
modal logic
evaluation measures
defeasible logic
sound and complete axiomatization