Possibilistic stable model computing

CEUR Workshop Proceedings

Volumn 142, Issue , 2005, Pages 203-215

  Nicolas, Pascal ^a   Lefèvre, Claire ^a  

^a UNIVERSITÉ D'ANGERS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWER SET PROGRAMMING; DEGREE OF CERTAINTY; LOGIC PROGRAMS; NECESSITY MEASURES; NON-MONOTONIC REASONING; POSSIBILISTIC; STABLE MODEL; STABLE MODEL SEMANTICS;

ARTIFICIAL INTELLIGENCE; SEMANTICS;

LOGIC PROGRAMMING;

EID: 84879895539     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (8)

1. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 9(3-4) (1991) 363-385
2. Dubois, D., Lang, J., Prade, H.: Possibilistic logic. In Gabbay, D., Hogger, C., Robinson, J., eds.: Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 3. Oxford University Press (1995) 439-513
3. Zadeh, L.: Fuzzy sets as a basis for a theory of possibility. In: Fuzzy Sets and Systems. Volume 1. Elsevier Science (1978) 3-28
4. Dubois, D., Prade, H.: Possibility theory: qualitative and quantitative aspects. In Smets, P., ed.: Handbook of Defeasible Reasoning and Uncertainty Management Systems. Volume 1. Kluwer Academic Press (1998) 169-226
5. Nicolas, P., Garcia, L., Stéphan, I.: Possibilistic stable models. In: International Joint Conference on Artificial Intelligence, Edinburgh, Scotland (2005)
6. Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The dlv system for knowledge representation and reasoning. ACM Transactions on Computational Logic (to appear in 2005)
7. Syrjänen, T., Niemelä, I.: The Smodels systems. In: International Conference on Logic Programming and NonMonotonic Reasoning, Vienna, Austria, SpringerVerlag (2001) 434-438
8. Lierler, Y., Maratea, M.: Cmodels-2: Sat-based answer set solver enhanced to non-tight programs. In: International Conference on Logic Programming and NonMonotonic Reasoning. Volume 2923 of LNCS., Springer-Verlag (2004) 346-350