A Proof Procedure For Temporal Logic Programming.
Manolis GergatsoulisChristos NomikosPublished in: Int. J. Found. Comput. Sci. (2004)
Keyphrases
- logic programming
- proof procedure
- logic programs
- theorem proving
- model theoretic
- deductive databases
- answer set programming
- propositional logic
- nonmonotonic reasoning
- first order logic
- knowledge base
- default logic
- knowledge representation
- knowledge representation and reasoning
- answer sets
- probabilistic reasoning
- inductive logic programming
- programming language
- linear logic