Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs.
George PeterkaTadao MurataPublished in: IEEE Trans. Software Eng. (1989)
Keyphrases
- logic programs
- proof procedure
- model theoretic
- abductive logic programming
- petri net
- question answering
- theorem proving
- logic programming
- fixpoint
- propositional logic
- first order logic
- answer sets
- background knowledge
- answer set programming
- inductive logic programming
- predicate calculus
- horn clauses
- computational properties
- inference rules
- answer set semantics
- information retrieval
- deductive databases
- natural language processing
- belief revision
- n gram