Embedding Defeasible Logic Programs into Generalized Logic Programs.
Martin BalázJozef FrtúsMartin HomolaJán SefránekGiorgos FlourisPublished in: WLP/WFLP (2014)
Keyphrases
- logic programs
- defeasible logic
- extended logic programs
- answer sets
- answer set semantics
- fixpoint
- stable models
- logic programming
- prolog programs
- normal logic programs
- stable model semantics
- nonmonotonic reasoning
- answer set programming
- partial deduction
- knowledge representation and reasoning
- recursive programs
- defeasible reasoning
- rule base
- answer set programs
- loop formulas
- functional programs
- business rules
- default logic
- deductive databases
- semantics of logic programs
- nonmonotonic logics
- horn clauses
- declarative programming
- semantics for logic programs