A Systematic Approach to Define Semantics for Prioritised Logic Programs.
Renan CordeiroGuilherme FernandesJoão F. L. AlcântaraHenrique VianaPublished in: BRACIS (1) (2021)
Keyphrases
- logic programs
- logic programming
- stable models
- stable model semantics
- model theoretic
- fixpoint semantics
- logic program updates
- normal logic programs
- declarative semantics
- answer set semantics
- strong equivalence
- answer sets
- fixpoint
- answer set programming
- computational properties
- semantics for logic programs
- logic programming language
- semantics of logic programs
- deductive databases
- inductive logic programming
- description logic programs
- update operators
- autoepistemic logic
- reasoning tasks
- nonmonotonic reasoning
- prolog programs
- partial deduction
- fixed point semantics
- minimal models
- argumentation semantics
- open world
- semantic information
- knowledge base
- default theories
- classical logic
- default reasoning
- knowledge representation