Feedback, trace and fixed-point semantics.

Piergiulio Katis Nicoletta Sabadini Robert F. C. Walters

Published in: RAIRO Theor. Informatics Appl. (2002)

Keyphrases

fixed point semantics
machine learning
artificial intelligence
database
knowledge base
logic programs
data exchange