Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation.
Angelos CharalambidisZoltán ÉsikPanos RondogiannisPublished in: CoRR (2014)
Keyphrases
- logic programming
- logic programs
- higher order
- semantics for logic programs
- reasoning tasks
- logic programming language
- stable models
- deductive databases
- answer sets
- declarative semantics
- answer set programming
- normal logic programs
- default reasoning
- fuzzy linguistic
- knowledge representation language
- stable model semantics
- answer set semantics
- constraint logic programming
- knowledge base
- probabilistic reasoning
- propositional logic
- programming language
- general purpose
- knowledge representation