A Fixpoint Semantics of Event Systems with and without Fairness Assumptions

Héctor Ruíz Barradas Didier Bert

Published in: CoRR (2005)

Keyphrases

fixpoint semantics
logic programs
database
special case
query answering
deductive databases