A Fixed-Point Theorem for Recursive-Enumerable Languages and Some Considerations About Fixed-Point Semantics of Monadic Programs.
Sorin IstrailPublished in: ICALP (1979)
Keyphrases
- fixed point theorem
- datalog programs
- fixed point
- fixpoint
- fixed point semantics
- boundary value problem
- boundary conditions
- logic programs
- inductive inference
- expressive power
- recursive functions
- deductive databases
- continuous functions
- stable models
- recursive queries
- differential equations
- answer sets
- multiscale
- hypothesis space
- semantics for logic programs
- sensitivity analysis
- dynamical systems
- pairwise