Expressing preferences in logic programming using an infinite-valued logic.
Panos RondogiannisAntonis TroumpoukisPublished in: PPDP (2015)
Keyphrases
- logic programming
- classical logic
- valued logic
- logic programs
- knowledge representation
- stable models
- nonmonotonic reasoning
- answer set programming
- knowledge base
- answer sets
- logic programming language
- programming language
- deductive databases
- inductive logic programming
- default logic
- decision making
- fixpoint
- first order logic
- background knowledge
- probabilistic reasoning
- fuzzy logic
- automated reasoning
- propositional logic
- graphical models
- datalog programs
- databases
- database
- general purpose
- multi agent systems
- natural language
- truth values