A modal extension of logic programming: Modularity, beliefs and hypothetical reasoning

Journal of Logic and Computation

Volumn 8, Issue 5, 1998, Pages 597-635

  Baldoni, Matteo ^a   Giordano, Laura ^a   Martelli, Alberto ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

Hypothetical reasoning; Knowledge and beliefs; Logic programming; Modal logic; Modularity

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; PROGRAMMING THEORY;

HYPOTHETICAL REASONING; MODAL LOGIC; MODULARITY;

LOGIC PROGRAMMING;

EID: 0032182055     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/8.5.597     Document Type: Article

References (53)

1. M. Abadi and Z. Manna. Temporal logic programming. Journal of Symbolic Computation, 8, 277-295, 1989.
2. S. Akama. A proposal of modal logic programming. In Proceedings of the 6th Canadian Conference on Artificial Intelligence, pp. 99-102, 1986.
3. Y. Auffray and P. Enjalbert. Modal theorem proving: an equational viewpoint. Journal of Logic and Computation, 2, 247-297, 1992.
4. P. Balbiani, A. Herzig, and M. Lima Marques. TIM: The Toulouse inference machine for non-classical logic programming. In Proceedings of the International Workshop on Processing Declarative Knowledge, PDK'91, volume 567 of Lecture Notes in Artificial Intelligence, pp. 366-382. Springer Verlag, 1991.
5. P. Balbiani, L. Farinas del. Cerro, and A. Herzig. Declarative semantics for modal logic programs. In Proceedings of the International Confonference on Fifth Generation Computer Systems, FGCS'88, pp. 507-514, Tokyo, 1988.
6. M. Baldoni, L. Giordano, and A. Martelli. A multimodal logic to define modules in logic pro-gramming. In Proc. of the International Logic Programming Symposium, ILPS'93, Vancouver, D. Miller, ed. pp. 473-487, The MIT Press, Cambridge, MA, 1993.
7. M. Baldoni, L. Giordano, and A. Martelli. A framework for modal logic programming. In Proceedings of the Joint International Conference and Symposium on Logic Programming, JIC-SLP'96, Bonn, M. Maher, ed. pp. 52-66, The MIT Press, Cambridge, MA, 1996.
8. M. Baldoni, L. Giordano, and A. Martelli. Traslating a modal language with embedded implications into Horn clause logic. In Proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP'96, volume 1050 of Lecture Notes in Artificial Intelligence, pp. 19-33. Springer Verlag, 1996.
9. M. Baudinet. Temporal logic programming is complete and expressive. In Proceedings of the 16th ACM Symposium on Principle of Programming Languages, POPL'89, Austin, Texas, pp. 267-280, 1989.
10. K. A. Bowen and R. A. Kowalski. Amalgamating language and metalanguage in logic program-ming. In Logic Programming, K. Clark and S. Tarnlund, eds., pp. 153-172. Academic Press, 1982.
11. A. Brogi, E. Lamma, and P. Mello. Inherritance and hypothetical reasoning in logic programming. In Proceedings of the European Conference on Artificial Intelligence, ECAI'90, pp. 105-110, Stockholm, 1990.
12. A. Brogi, P. Mancarella, D. Pedreschi, and F. Turini. Meta for modularising logic programming. In Proceedings of the META '92, Stockholm, 1992.
13. A. Brogi, P. Mancarella, P. Pedreschi, and F. Turini. Modular logic programming. ACM Transactions on Programming Languages and Systems, 16, 1361-1398, 1994.
14. M. Bugliesi. A declarative view of inheritance in logic programming. In Proc. of the Join International Conference and Symposium on Logic Programming, JICSLP'92, Washington, K. Apt, ed. pp. 113-127, The MIT Press, Cambridge, MA, 1992.
15. M. Bugliesi, E. Lamma, and P. Mello. Modularity in logic programming. Journal of Logic Programming, 19 & 20, 443-502, 1994.
16. W. Chen. A theory of modules based on second order logic. In Proceedings of the Intenational Symposium on Logic Programming, ILPS'87, pp. 24-33, S. Francisco, 1987.
17. M. Cialdea and L. Fariñas del Cerro. A modal Herbrand's property. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 32, 523-530, 1986.
18. F. Debart, P. Enjalbert, and M. Lescot. Multimodal logic programming using equational and order-sorter logic. Theoretical Computer Science, 105, 141-166, 1992.
19. L. Farinas del Cerro. MOLOG: a system that extends Prolog with modal logic. New Generation Computing, 4, 35-50, 1986.
20. L. Fariñas del Cerro and A. Herzig. Modal deduction with applications in epistemic and temporal logics. In Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 4, D. M. Gabbay, C. J. Hogger, and J. A. Robinson, eds. pp. 499-594. Oxford Science Publications, 1995.
21. P. Enjalbert and L. Farinas del Cerro. Modal resolution in clausal form. Theoretical Computer Science, 65, 1-33, 1989.
22. M. Fisher and R. Owens. An Introduction to executable modal and temporal logics. In Proceedings of the IJCAI'93 Workshop on Executable Modal and Temporal Logics, volume 897 of Lecture Notes in Artificial Intelligence, pp. 1-20. Springer Verlag, 1993.
23. M. Fitting. Model existence theorems for modal and intuitionistic logics. Journal of Symbolic Logic, 38, 613-627, 1973.
24. M. Fitting. Proof Methods for Modal and Intuitionistic Logics, volume 169 of Synthese Library. D. Reidel, Dordrecht, Holland, 1983.
25. D. M. Gabbay. NProlog: an extension of Prolog with hypothetical implications. II. Journal of Logic Programming, 2, 251-283, 1985.
26. D. M. Gabbay. Modal and temporal logic programming. In Temporal Logics and Their Applications, A. Galton, ed. pp. 197-237. Academic Press, 1987.
27. D. M. Gabbay. Elements of Algoritmic Proof. In Handbook of Logic in Theoretical Computer Science. T. S. E. Maibaum, S. Abramsky and D. M. Gabbay, eds. Oxford University Press, 1992.
28. D. M. Gabbay and N. Reyle. NProlog: an extension of Prolog with hypothetical implications. I. Journal of Logic Programming, 4, 319-355, 1984.
29. J. W. Garson. Quantification in modal logic. In Handbook of Philosophical Logic, D. Gabbay and F. Guenthner, eds. pp. 249-307. Reidel, Dordrecht, 1984.
30. M. Genesereth and N. Nilsson. Logical Foundations of Artificial Intelligence. Morgan Kaufmann, 1987.
31. L. Giordano and A. Martelli. Structuring logic programs: a modal approach. Journal of Logic Programming, 21, 59-94, 1994.
32. L. Giordano, A. Martelli and G. F. Rossi. Extending Horn clause logic with implication goals. Theoretical Computer Science, 95, 43-74, 1992.
33. A. Goldberg and D. Robson. Smalltalk-80 The Language and its Implementation. Addison-Wesley Publishing Company, 1983.
34. J. Y. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54, 319-379, 1992.
35. J. Hodas and D. Miller. Logic programming in a fragment of intuitionistic linear logic. In Sixth Annual Symposium on Logic in Computer Science, pp. 32-42, G. Kahn, ed. Amsterdam, 1991.
36. G. E. Hughes and M. J. Cresswell. A New Introduction to Modal Logic. Routledge, 1996.
37. P. Mancarella and D. Pedreschi. An algebra of logic programs. In Proceedings of the Fifth International Conference of Logic Programming, ICLP'88, pp. 1006-1023, Seattle, 1988.
38. F. G. McCabe. Logic and Objects. International Series in Computer Science. Prentice-Hall, 1992.
39. L. T. McCarty. Clausal intuitionistic logic. I. fixed-point semantics. Journal of Logic Programming, 5, 1-31, 1988.
40. L. T. McCarty. Clausal intuitionistic logic. II. tableau proof procedure. Journal of Logic Programming, 5, 93-132, 1988.
41. D. Miller. A theory of modules for logic programming. In Proceedings of the IEEE Symposium on Logic Programming, pp. 106-114, September 1986.
42. D. Miller. A logical analysis of modules in logic programming. Journal of Logic Programming, 6, 79-108, 1989.
43. D. Miller. Lexical scoping as universal quantification. In Proceedings of the 6th Interantional Conference on Logic Programming, ICLP'89, pp. 268-283, Lisbon, 1989.
44. D. Miller, G. Nadathur, F. Pfenning and A. Scedrov. Uniform proofs as foundations for logic programming. Annals of Pure and Applied Logic, 51, 125-157, 1991.
45. L. Monteiro and A. Porto. Contextual logic programming. In Proceedings of the 6th International Conference of Logic Programming, ICLP'89, pp. 284-299, Lisbon, 1989.
46. M. A. Nait Abdallah. Ions and local definitions in logic programming. In Proceedings of the STACS'86, volume 210 of Lecture Notes in Computer Science, pp. 60-72. Springer Verlag, 1986.
47. A. Nonnengart. How to use modalities and sorts in Prolog. In Proceedings of the JELIA '94: Logics in Artificial Intelligence, volume 838 of Lecture Notes in Artificial Intelligence, C. MacNish, D. Pearce and L. M. Pereira, eds. pp. 365-378, York, UK, 1994. Springer Verlag.
48. H. J. Ohlbach. Semantics-based translation methods for modal logics. Journal of Logic and Computation, 1, 691-746, 1991.
49. R. A. O'Keefe. Towards an algebra for constructing logic programs. In Proceedings of the Symposium on Logic Programming, pp. 152-160, Boston, 1985.
50. N. Olivetti. Algorithmic Proof Theory for Non-Classical and Modal Logics. PhD thesis, Dipartimento di Informatica, Università degli Studi di Torino, 1995.
51. M. A. Orgun and W. Ma. An overview of temporal and modal logic programming. In Proceedings of the First International Conference on Temporal Logic, volume 827 of Lecture Notes in Artificial Intelligence, D. M. Gabbay and H. J. Ohlbach, eds. pp. 445-479. Springer Verlag, 1994.
52. M. A. Orgun and W. W. Wadge. Towards a unified theory of intensional logic programming. Journal of Logic Programming, 13, 413-440, 1992.
53. L. A. Wallen. Automated Deduction in Nonclassical Logics. The MIT Press, Cambridge, MA, 1990.