Login / Signup
About Algebras, Fixpoints and Semantics.
Irène Guessarian
Published in:
AMAST (1991)
Keyphrases
</>
fixpoint semantics
logic programs
model theoretic
formal semantics
autoepistemic logic
deductive databases
fixpoint
speech acts
logic programming
semantic information
nonmonotonic reasoning
stable models
default reasoning
spatial reasoning
data sets
conceptual graphs
integrity constraints
genetic algorithm