From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief.
Thomas BolanderPublished in: IJCAI (2003)
Keyphrases
- logic programming
- knowledge representation
- knowledge base
- logic programs
- probabilistic knowledge
- answer set programming
- logic programming language
- reasoning tasks
- deductive databases
- domain knowledge
- programming language
- knowledge representation language
- nonmonotonic reasoning
- knowledge representation and reasoning
- answer sets
- computational logic
- classical logic
- constraint logic programming
- stable models
- ontological reasoning
- background knowledge
- declarative semantics
- extended logic programs
- expert systems
- description logics
- general purpose
- reasoning about actions
- autoepistemic logic
- probabilistic reasoning
- semantic information
- software engineering
- natural language