A Declarative Semantics of Flat Guarded Horn Clauses for Programs with Perpetual Processes.
Masaki MurakamiPublished in: Theor. Comput. Sci. (1990)
Keyphrases
- horn clauses
- declarative semantics
- logic programs
- fixpoint
- logic programming
- logic programming language
- fixpoint semantics
- answer sets
- inductive logic programming
- deductive databases
- inference rules
- stable models
- answer set programming
- first order logic
- background knowledge
- database queries
- function symbols
- domain knowledge
- operational semantics
- natural language processing
- partial order
- knowledge representation and reasoning
- knowledge representation