Logic Programming and Reasoning with Incomplete Information.
Michael GelfondPublished in: Ann. Math. Artif. Intell. (1994)
Keyphrases
- incomplete information
- logic programming
- knowledge representation and reasoning
- reasoning tasks
- open world
- knowledge base
- knowledge representation
- logic programs
- reasoning about actions
- probabilistic reasoning
- answer set programming
- uncertain information
- nonmonotonic reasoning
- extended logic programs
- deductive databases
- query answering
- programming language
- logic programming language
- classical logic
- answer sets
- autonomous agents
- default reasoning
- default logic
- first order logic
- stable models
- fixpoint
- possibility theory
- general purpose
- reasoning systems
- dynamic environments
- expert systems
- disjunctive logic programming
- multi agent