Fundamenta Informaticae > 2006 > Vol. 71, nr 4 > 419-441
Source
Abstract
Identifiers
journal ISSN : | 0169-2968 |
journal e-ISSN : | 1875-8681 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] Akama, S.: Tableaux for logic programming with strong negation, Lecture Notes in Computer Science, 1227, 1997, 31-42.
-
[2] Alcântara, J., Damásio, C. V., and Pereira, L. M.: Paraconsistent logic programs, Lecture Notes in Computer Science, 2424, 2002, 345-356.
-
[3] Alcântara, J., Damásio, C. V., and Pereira, L. M.: A declarative characterisation of disjunctive paraconsistent answer sets, Proceedings of the 16-th European Conference on Artificial Intelligence, ECAI'2004, Valencia, Spain, 2004, pp. 951-952, IOS Press.