Monadic Distributive Lattices and Monadic Augmented Kripke Frames.

Aldo V. Figallo Inés Pascual Alicia Ziliani

Published in: J. Multiple Valued Log. Soft Comput. (2014)

Keyphrases

distributive lattices
deductive databases
datalog queries
datalog programs
inference rules
logic programming
mathematical model
artificial intelligence
linear programming
model checking
boolean algebra