Querying with Łukasiewicz logic.

Stefano Aguzzoli Pietro Codara Diego Valota Tommaso Flaminio Brunella Gerla

Published in: FUZZ-IEEE (2015)

Keyphrases

logic programming
modal logic
databases
query language
neural network
database
automated reasoning
multi valued
proof theory
classical logic
machine learning
information systems
metadata
website
multimedia databases
nonmonotonic reasoning
epistemic logic
database querying