Annotated Logic Applications for Imperfect Information

Applied Intelligence

Volumn 9, Issue 2, 1998, Pages 163-172

  Carbogim, Daniela V ^a,b   Corrêa Da Silva, Flávio S ^a,b  

^a UNIVERSITY OF SÃO PAULO   (Brazil)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

Annotated logic programming; Automated reasoning; Imperfect information; Knowledge representation; Knowledge based systems

Indexed keywords

ARTIFICIAL INTELLIGENCE; CLASSIFICATION (OF INFORMATION); INFORMATION THEORY; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE REPRESENTATION;

ANNOTATED LOGIC PROGRAMMING; IMPERFECT INFORMATION;

LOGIC PROGRAMMING;

EID: 0032162377     PISSN: 0924669X     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008268003741     Document Type: Article

References (23)

1. J. M. Abe. Fundamentos da Lógica Anotada (Foundations of Annotated Logic) - in portuguese. PhD thesis, Universidade de São Paulo, 1992.
2. G. Bittencourt. Inteligência Artificial: Ferramentas e Teorias. 10a Escola de Computação, 1996.
3. H. A. Blair and V. S. Subrahmanian. Paraconsistent Foundations for Logic Programming. The Journal of Non-Classical Logic, 5(2), November 1988.
4. H. A. Blair and V. S. Subrahmanian. Paraconsistent Logic Programming. Theoretical Computer Science, 68:135-154, 1989.
5. D. V. Carbogim. Programação em Lógica Anotada: Teoria e Aplicações. Master's thesis, Instituto de Matemática e Estatística da Universidade de São Paulo, 1996.
6. F. S. Corrêa da Silva. On Reasoning With and Reasoning About Uncertainty in AI. In European Summer Meeting of the Association for Symbolic Logic (abstract published in The Bulletin of Symbolic Logic, v. 3(2):255-256), Spain, 1996.
7. N. C. A. da Costa, J. M. Abe, and V. S. Subrahmanian. Remarks on Annotated Logic. Zeitschr. f. Math. Logik und Grundlagen d. Math., 37:561-570, 1991.
8. N. C. A. da Costa, V. S. Subrahmanian, and C. Vago. The Paraconsistent Logics Pτ. Zeitschr. f. Math. Logik und Grundlagen d. Math., 37:139-148, 1991.
9. D. Dubois and H. Prade. Necessity Measures and the Resolution Principle. Technical Report 267, LSI - Universite Paul Sabatier, 1987.
10. M. Fitting. Bilattices and the Semantics of Logic Programming. The Journal of Logic Programming, 11:91-116, 1991.
11. M. Kifer and E. L. Lozinskii. A Logic for Reasoning with Inconsistency. Journal of Automated Reasoning, 9:179-215, 1992.
12. M. Kifer and V. S. Subrahmanian. On the Expressive Power of Annotated Logic Programs. In NACLP'89 - Proceedings of the 1989 North American Conference on Logic Programming, 1989.
13. M. Kifer and V. S. Subrahmanian. Theory of Generalized Annotated Logic Programs and its Applications. Journal of Logic Programming, 12:335-367, 1992.
14. M. Kifer and J. Wu. A Logic for Programming with Complex Objects. Journal of Computer and System Sciences, 47:77-120, 1993.
15. S. M. Leach and J. J. Lu. Query Processing in Annotated Logic Programming: Theory and Implementation. Journal of Intelligent Information Systems, pages 1-28, 1995.
16. J. J. Lu, L. J. Henschen, V. S. Subrahmanian, and N. C. A. da Costa. Reasoning in Paraconsistent Logics. In R. Boyer, editor, Automated Reasoning: Essays in Honor of Woody Bledsoe, pages 181-210. Kluwer Academic, 1991.
17. J. J. Lu, A. Nerode, J. Remmel, and V. S. Subrahmanian. Towards a Theory of Hybrid Knowledge Bases.
18. R. T. Ng and V. S. Subrahmanian. Probabilistic Logic Programming. Technical report, University of Maryland - Department of Computer Science, 1989.
19. R. Reiter. A Logic for Default Reasoning. Artificial Intelligence, 13:81-132, 1980.
20. th IEEE Symposium on Logic Programming, pages 173-182, San Francisco, September 1987.
21. V. S. Subrahmanian. Amalgamating Knowledge Bases. ACM Transactions on Database Systems, 19(2):291-331, 1994.
22. K. Thirunarayan. On the Relationship between Annotated Logic Programs and Nonmonotonic Formalisms. J. Expt. Theor. Artif. Intell., 7:391-406, 1995.
23. M. H. van Emden. Quantitative Deduction and its Fixpoint Theory. Journal of Logic Programming, 1:37-53, 1986.