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