Monadic extensions of institutions.

Patrik Eklund Robert Helgesson

Published in: Fuzzy Sets Syst. (2010)

Keyphrases

deductive databases
datalog queries
default logic
datalog programs
information systems
efficient implementation
real time
information technology
default theories