Integration of Functions in the Fixpoint Semantics of Rule-Based Systems.

Erik Lambrichts Peter Nees Jan Paredaens Peter Peelman Letizia Tanca

Published in: MFDBS (1989)

Keyphrases

rule based systems
fixpoint semantics
rule base
expert systems
knowledge representation
fixpoint
rule based expert systems
logic programs
knowledge based systems
deductive databases
genetic algorithm
description logics
data integration
model theoretic