A Declarative Semantics of Parallel Logic Programs with Perpetual Processes.
Masaki MurakamiPublished in: FGCS (1988)
Keyphrases
- logic programs
- declarative semantics
- logic programming
- deductive databases
- fixpoint
- stable models
- answer set programming
- logic programming language
- background knowledge
- answer sets
- inductive logic programming
- fixpoint semantics
- knowledge representation and reasoning
- general purpose
- horn clauses
- nonmonotonic reasoning
- propositional logic
- inference rules
- operational semantics
- partial order
- integrity constraints
- machine learning