Stable models in generalized possibilistic logic

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2012, Pages 519-529

  Dubois, Didier ^a   Prade, Henri ^a   Schockaert, Steven ^b  

^a UNIVERSITÉ PAUL SABATIER   (France)

^b CARDIFF UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; SEMANTICS;

EQUILIBRIUM LOGIC; POSSIBILISTIC LOGIC; POSSIBILITY DISTRIBUTIONS; POSSIBLE WORLDS; QUALITATIVE SCALE; REASONING UNDER UNCERTAINTY; SOUNDNESS AND COMPLETENESS; STABLE MODEL SEMANTICS;

COMPUTER CIRCUITS;

EID: 84866896611     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. Banerjee, M., and Dubois, D. 2009. A simple modal logic for reasoning about revealed beliefs. In Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty. 805-816.
2. Bauters, K.; Schockaert, S.; De Cock, M.; and Vermeir, D. 2010. Possibilistic answer set programming revisited. In Proceedings of the 26th Conference on Uncertainty in Artificial Intelligence.
3. Bauters, K.; Schockaert, S.; De Cock, M.; and Vermeir, D. 2011. Weak and strong disjunction in possibilistic asp. In Proceedings of the Fifth International Conference on Scalable Uncertainty Management. 475-488.
4. Blamey, S. 1988. Partial logic. In Gabbay, D., and Guentner, F., eds., Handbook of Philosophical Logic, Volume 5. Kluwer Academic Publishers. 261-353.
5. Chagrov, A., and Zakharyaschev, M. 1997. Modal Logic. Oxford University Press.
6. Dubois, D., and Prade, H. 2007. Toward multiple-agent extensions of possibilistic logic. In Proceedings of the IEEE International Conference on Fuzzy Systems, 187-192.
7. Dubois, D., and Prade, H. 2011. Generalized possibilistic logic. In Proceedings of the Fifth International Conference on Scalable Uncertainty Management. 428-432.
8. Dubois, D.; Lang, J.; and Prade, H. 1994. Possibilistic logic. In D. Gabbay, C. Hogger J. Robinson, D. N., ed., Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3. Oxford University Press. 439-513.
9. Dubois, D.; Prade, H.; and Schockaert, S. 2011. Rules and meta-rules in the framework of possibility theory and possibilistic logic. Scientia Iranica 18:566-573.
10. Eiter, T., and Gottlob, G. 1993. Complexity results for disjunctive logic programming and application to nonmonotonic logics. In Proceedings of the International Logic Programming Symposium, 266-278.
11. Gelfond, M., and Lifschitz, V. 1988. The stable model semantics for logic programming. In Proceedings of the Fifth International Conference and Symposium on Logic Programming, 1081-1086.
12. Lifschitz, V., and Schwarz, G. 1993. Extended logic programs as autoepistemic theories. In Proceedings of the Second International Workshop on Logic Programming and Non-Monotonic Reasoning, 101-114.
13. Lifschitz, V.; Pearce, D.; and Valverde, A. 2001. Strongly equivalent logic programs. ACM Transactions on Computational Logic 2(4):526-541.
14. Lifschitz, V. 2008. Twelve definitions of a stable model. In Proceedings of the 24th International Conference on Logic Programming, 37-51. Berlin, Heidelberg: Springer-Verlag.
15. Loyer, Y., and Straccia, U. 2006. Epistemic foundation of stable model semantics. Theory and Practice of Logic Programming 6:355-393.
16. Moore, R. C. 1985. Semantical considerations on nonmonotonic logic. Artificial Intelligence 25(1):75-94.
17. Nicolas, P.; Garcia, L.; Stéphan, I.; and Lefèvre, C. 2006. Possibilistic uncertainty handling for answer set programming. Annals of Mathematics and Artificial Intelligence 47(1-2):139-181.
18. Pearce, D. 1997. A new logical characterisation of stable models and answer sets. In Proceedings of the Second International Workshop on Non-Monotonic Extensions of Logic Programming, 57-70.
19. Pearce, D. 2006. Equilibrium logic. Annals of Mathematics and Artificial Intelligence 47:3-41.