Dealing with Incoherence in ASP: Split Semi-Equilibrium Semantics.
Giovanni AmendolaPublished in: DWAI@AI*IA (2014)
Keyphrases
- answer set programming
- default theories
- formal semantics
- web applications
- logic programming
- game theory
- semantic information
- update semantics
- databases
- cooperative
- artificial intelligence
- sufficient conditions
- worst case
- database systems
- variational inequalities
- semantic representation
- information systems
- nonmonotonic logics