Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic.

Petr Cintula Petr Hájek

Published in: J. Log. Comput. (2009)

Keyphrases

modal logic
computational issues
truth values
worst case
order sorted
computational cost
data sets
neural network
information systems
efficient implementation
key issues
space complexity
database
knowledge base
automated reasoning