On meet-combination of logics.

Amílcar Sernadas Cristina Sernadas João Rasga

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

Keyphrases

multimedia
expressive power
inference rules
propositional calculus
database
real time
artificial intelligence
website
three dimensional
database systems
relational databases
artificial neural networks
modal logic
combining multiple