A Logic Language with Stable Model Semantics for Social Reasoning.
Francesco BuccafurriGianluca CaminitiRosario LaurendiPublished in: ICLP (2008)
Keyphrases
- stable model semantics
- disjunctive logic programs
- derivation rules
- logic programming
- proof theory
- logic programs
- closed world
- answer set programming
- intuitionistic logic
- open world
- computational properties
- stable models
- reasoning tasks
- disjunctive logic programming
- automated reasoning
- reasoning problems
- classical logic
- programming language
- declarative programming
- modulo theories
- social networks
- default reasoning
- polynomial hierarchy
- default logic
- knowledge representation
- knowledge representation and reasoning
- deductive databases
- normal logic programs
- modal logic
- knowledge base
- general purpose
- expressive power
- nonmonotonic reasoning
- answer sets
- decision procedures
- operational semantics
- natural language
- high level
- metadata
- probabilistic reasoning