Author:
Salazar Rubén Octavio Vélez,Ramírez José Arrazola,Ruiz Ivan Martínez
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Baral, C.: Knowledge representation, reasoning and declarative problem solving. Cambridge University Press (2003)
2. da Costa, N.C.A.: On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic 15(4), 497–510 (1974)
3. Dubois, D., Lang, J., Prade, H.: Possibilistic logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, pp. 439–513. Oxford University Press, Inc., New York (1994)
4. Erdogan, S.T., Lifschitz, V.: Definitions in answer set programming. In: Lifschitz, V., Niemelä, I. (eds.) Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), pp. 114–126 (2004)
5. Estrada-Estrada, O.H., Arrazola-Ramírez, J.R.E., Osorio-Galindo, M.J.: Possibilistic intermediate logic. Int. J. Adv. Intell. Paradigms 4(2), 149–167 (2012)