New Dimensions on Translations Between Logics.

Walter Alexandre Carnielli Marcelo E. Coniglio Itala M. Loffredo D'Ottaviano

Published in: Logica Universalis (2009)

Keyphrases

expressive power
modal logic
machine translation
neural network
expert systems
proof theory
truth values
conditional logic
classical logic
model checking
database
website
information systems
social networks
artificial intelligence
genetic algorithm
data sets