On the informal semantics of knowledge representation languages and the case of Logic Programming (invited talk).
Marc DeneckerPublished in: CILC (2020)
Keyphrases
- logic programming
- invited talk
- representing knowledge
- knowledge representation languages
- logic programs
- knowledge representation
- logic programming language
- knowledge base
- deductive databases
- reasoning tasks
- answer set programming
- nonmonotonic reasoning
- programming language
- description logics
- default logic
- stable models
- selected papers
- database
- semantics of logic programs
- probabilistic reasoning
- answer sets
- data integration
- knowledge discovery and data mining
- artificial intelligence
- databases