Combining Algebraizable Logics.

A. Jánossy Ágnes Kurucz A. E. Eiben

Published in: Notre Dame J. Formal Log. (1996)

Keyphrases

expressive power
modal logic
information systems
database
artificial intelligence
knowledge base
bayesian networks
propositional logic