An abstract monadic semantics for value recursion.
Eugenio MoggiAmr SabryPublished in: RAIRO Theor. Informatics Appl. (2004)
Keyphrases
- deductive databases
- datalog programs
- model theoretic
- logic programming
- propositional dynamic logic
- formal semantics
- complex objects
- active rules
- fixpoint
- datalog queries
- semantic information
- stable models
- integrity constraints
- data sets
- query evaluation
- valued logic
- graphical representation
- conceptual model
- expressive power
- logic programs
- fuzzy logic
- knowledge representation
- data model
- database systems
- neural network