Sign in
An efficient relational deductive system for propositional non-classical logics.
Andrea Formisano
Marianna Nicolosi Asmundo
Published in:
J. Appl. Non Class. Logics (2006)
Keyphrases
</>
statistical relational learning
relational databases
database language
deductive reasoning
relational learning
relational data
multi relational
data model
database schema
machine learning
computationally efficient
explanation based learning
multi valued
classical logic
relational domains
abductive inference