Login / Signup
On the Role of Aristotle's Connexive Axioms in Non-connexive Logics.
Nissim Francez
Published in:
FLAP (2021)
Keyphrases
</>
real time
databases
modal logic
database
knowledge base
first order logic
computational properties
neural network
evolutionary algorithm
inference rules
default logic
valued logic