A Fixpoint Semantics of Horn Sentences Based on Substitution Sets.

Susumu Yamasaki Mikio Yoshida Shuji Doshita

Published in: Theor. Comput. Sci. (1987)

Keyphrases

fixpoint semantics
natural language
np hard
logic programs
horn clauses
fixpoint
artificial intelligence
deductive databases
propositional logic
datalog programs
closed world assumption
databases
lower bound
model theoretic