Expressible preferential logics.

Francicleber Martins Ferreira Ana Teresa C. Martins

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

Keyphrases

expressive power
transitive closure
tableau calculus
modal logic
first order logic
inference rules
database
propositional calculus
datalog queries
horn logic
propositional dynamic logic
proof theory
higher order
query language
special case
multi agent
bayesian networks
artificial intelligence