Acyclic Disjunctive Logic Programs with Abductive Procedures as Proof Procedure.
Phan Minh DungPublished in: FGCS (1992)
Keyphrases
- proof procedure
- abductive logic programming
- theorem proving
- propositional logic
- logic programs
- first order logic
- minimal models
- predicate calculus
- disjunctive logic programming
- answer set programming
- model theoretic
- logic programming
- np hard
- np complete
- theorem prover
- stable model semantics
- default logic
- automated reasoning
- answer sets
- propositional satisfiability
- belief revision
- artificial intelligence
- inference rules
- answer set semantics
- deductive databases
- expressive power
- query processing