Reasoning with open logic programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2173 LNAI, Issue , 2001, Pages 147-159

  Bonatti, Piero A ^a  

^a UNIVERSITY OF MILAN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL PROOFS; INCOMPLETE KNOWLEDGE; NON-MONOTONIC INFERENCE; NONMONOTONIC; OPEN LOGIC; PROGRAMMING FRAMEWORK;

SPECIFICATIONS;

LOGIC PROGRAMMING;

EID: 39749091905     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45402-0_11     Document Type: Conference Paper

References (14)

1. G. Amati, L. Carlucci Aiello, D. Gabbay, and F. Pirri. A proof theoretical approach to default reasoning I: tableaux for default logic. J. Logic and Comput. 6, 2, 205-231.
2. E. Bertino, C. Bettini, E. Ferrari and P. Samarati. A temporal access control mechanism for database systems. IEEE Trans. on Knowledge and Data Engineering, 8(1):67-80, 1996.
3. P. A. Bonatti. Resolution for skeptical stable semantics. Journal of Automated Reasoning. To appear. Preliminary version in Proc. of LPNMR'97, LNAI 1265, Springer Verlag, 1997.
4. P. A. Bonatti, S. De Capitani Di Vimercate, P. Samarati. An algebra for composing access control policies. ACM Transactions on Information and System Security, 5(1), 2002, to appear. Preliminary version in Proc. of the 7th ACM Conference on Computer and Communication Security, CCS'2000, Atene, 2000.
5. P. A. Bonatti, N. Olivetti. Sequent calculi for propositional nonmonotonic logics. ACM Transactions on Computational Logic, to appear. Electronic version available at http://www.acm.org/tocl/accepted.html
6. A. Bossi, M. Gabbrielli, G. Levi, and M. C. Meo. Contributions to the Semantics of Open Logic Programs. In Proc. of the International Conference on Fifth Generation Computer Systems 1992, 570-580, 1992.
7. M. Denecker. A Terminological Interpretation of (Abductive) Logic Programming, Proc. of LPNMR95, Springer, 1995.
8. M. Gelfond, V. Lifschitz. The stable model semantics for logic programming. In Proc. of the 5th ICLP, pp. 1070-1080, MIT Press, 1988.
9. M. Gelfond, H. Przymusinska, "Reasoning in Open Domains", In Logic Programming and Nonmonotonic Reasoning, 397-413, MIT press, 1993.
10. J. Lloyd. Foundations of logic programming. Springer-Verlag, 1984.
11. R. Rosati. Towards first-order nonmonotonic reasoning. In Proc. of LPNMR'99, LNAI 1730, 332-346, Springer Verlag, Berlin, 1999.
12. P. Samarati S. Jajodia and V. S. Subrahmanian. A logical language for expressing authorizations. In Proc. IEEE Symp. on Security and Privacy, pages 94-107, Oakland, CA, 1997.
13. V. S. Subrahmanian, P. A. Bonatti, J. Dix, T. Eiter, S. Kraus, F. Ozcan, R. Ross. Heterogeneous Active Agents. MIT Press, 2000.
14. T. Y. C. Woo and S. S. Lam. Authorizations in distributed systems: A new approach. Journal of Computer Security, 2(2, 3), 1993.