Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations.
Donald SannellaAndrzej TarleckiPublished in: ICALP (1992)
Keyphrases
- model theoretic
- operational semantics
- fixpoint
- fixpoint semantics
- description logics
- deductive databases
- decision procedures
- formal specification
- proof theoretic
- finite state machines
- formal descriptions
- logic programs
- probabilistic reasoning
- artificial intelligence
- default reasoning
- formal semantics
- general purpose
- query evaluation
- programming language
- hidden markov models
- bayesian networks
- high level
- knowledge base
- databases