Knowledge Representation and Logic Programming.
Michael GelfondNicola LeonePublished in: Artif. Intell. (2002)
Keyphrases
- logic programming
- knowledge representation
- logic programs
- answer set programming
- knowledge base
- nonmonotonic reasoning
- representing knowledge
- knowledge representation language
- deductive databases
- logic programming language
- expert systems
- programming language
- default logic
- knowledge representation and reasoning
- rule based systems
- constraint logic programming
- artificial intelligence
- answer sets
- probabilistic reasoning
- computational logic
- databases
- knowledge based systems
- description logics
- knowledge structures
- first order logic
- semantic web
- natural language
- machine learning
- declarative semantics
- procedural semantics
- fuzzy linguistic
- automated reasoning
- representation language
- reasoning about actions
- database
- pseudo boolean constraints
- linear logic
- default theories
- stable models
- conceptual graphs
- inference engine
- high level