Central Government Pension Rules as a Logic Program.
K. K. BajajR. K. DubashRobert A. KowalskiPublished in: KBCS (1989)
Keyphrases
- logic programs
- normal logic programs
- extended logic programs
- logic programming
- background knowledge
- answer sets
- answer set semantics
- counter examples
- stable models
- declarative semantics
- strong equivalence
- answer set programming
- horn clauses
- fixpoint semantics
- fixpoint
- existentially quantified
- computational properties
- inductive logic programming
- general logic programs
- logic program updates
- prolog programs
- conflict resolution
- incomplete information
- nonmonotonic reasoning
- loop formulas
- defeasible logic
- operational semantics
- semantics for logic programs