
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
V.s. Subrahmanian, "Nonmonotonic Logic Programming," IEEE Transactions on Knowledge and Data Engineering, vol. 11, no. 1, pp. 143152, January/February, 1999.  
BibTex  x  
@article{ 10.1109/69.755623, author = {V.s. Subrahmanian}, title = {Nonmonotonic Logic Programming}, journal ={IEEE Transactions on Knowledge and Data Engineering}, volume = {11}, number = {1}, issn = {10414347}, year = {1999}, pages = {143152}, doi = {http://doi.ieeecomputersociety.org/10.1109/69.755623}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Knowledge and Data Engineering TI  Nonmonotonic Logic Programming IS  1 SN  10414347 SP143 EP152 EPD  143152 A1  V.s. Subrahmanian, PY  1999 KW  Nonmonotonic reasoning KW  logic programming KW  deductive databases KW  negation KW  incomplete information. VL  11 JA  IEEE Transactions on Knowledge and Data Engineering ER   
Abstract—This paper provides a survey of the state of the art in nonmonotonic logic programming. In particular, we survey advances in the declarative semantics of logic programs, in query processing procedures for nonmonotonic logic programs, and in recent extensions of the nonmonotonic logic programming paradigm.
[1] J.J. Alferes and L.M. Pereira, "Reasoning With Logic Programming," Springer Lecture Notes in Artificial Intelligence 1,111, 1996.
[2] K. Apt, H.A. Blair, and A. Walker, "Towards a Theory of Declarative Knowledge," Foundations of Deductive Databases and Logic Programming, J. Minker, ed., pp. 89148. Morgan Kaufmann, 1988.
[3] C. Baral and V.S. Subrahmanian, "Dualities Between Alternative Semantics for Logic Programming and NonMonotonic Reasoning," J. Automated Reasoning, vol. 10, pp. 399420, 1993.
[4] C. Bell, A. Nerode, R. Ng, and V.S. Subrahmanian, "Implementing Deductive Databases by Linear Programming," Proc. ACM SIGACT/SIGART/SIGMOD Symp. Principles of Database Systems, pp. 283292, 1992. Available as Univ. of Maryland Technical Report CSTR2747, 1991.
[5] C. Bell, A. Nerode, R. Ng, and V.S. Subrahmanian, "Computation and Implementation of Nonmonotonic Deductive Databases," J. ACM, vol. 41, no. 6, pp. 1,1781,215, 1994.
[6] K. Berman, J. Schlipf, and J. Franco, "Computing the Well Founded Semantics Faster," Proc. Third Int'l Conf. on Logic Programming and Nonmonotonic Reasoning, Springer Lecture Notes in Artificial Intelligence 928, pp. 113126, 1995.
[7] S. Jajodia, P. Samarati, V.S. Subrahmanian, and E. Bertino, “A Unified Framework for Enforcing Multiple Access Control Policies,” Proc. ACM SIGMOD Int'l Conf. Management of Data, pp. 474–485, May 1997.
[8] H.A. Blair and V.S. Subrahmanian, “Paraconsistent Logic Programming,” Theoretical Computer Science, vol. 68, pp. 135154, 1989.
[9] F. Buccafurri, N. Leone, and P. Rullo, "Stable Models and Their Computation for Logic Programming with Inheritance and True Negation," J. Logic Programming, vol. 27, no. 1, pp. 543, Apr. 1996.
[10] L. Cavedon and J.W. Lloyd, "Completeness Theorem for SLDNF Resolution," J. Logic Programming, vol. 7, no. 3, pp. 177191, Nov. 1989.
[11] L. Cavedon, "Cyclic Logic Programs and the Completeness of SLDNFResolution," Theoretical Computer Science, vol. 86, no. 1, pp. 8192, Aug. 1991.
[12] D. Chan, "Constructive Negation Based on the Completed Database," Proc. Fifth Int'l Conf./Symp. on Logic Programming, pp. 111125, MIT Press, 1988.
[13] W. Chen, "Query Evaluation of Alternating Fixpoint Logic," ACM Trans. Database Systems, vol. 20, no. 3, pp. 239287, 1995.
[14] W. Chen, T. Swift, and D.S. Warren, "Efficient TopDown Computation of Queries Under the WellFounded Semantics,"1 J. Logic Programming, vol. 24, no. 3, pp. 161199, Sept. 1995.
[15] W. Chen and D.S. Warren, "Computation of Stable Models and its Integration with Logical Query Processing," IEEE Trans. Knowledge and Data Eng., vol. 8, no. 5, pp. 742757, Oct. 1996.
[16] W. Chen and D.S. Warren, "Tabled Evaluation with Delaying for General Logic Programs," J. ACM, vol. 43, no. 1, pp. 2074, Jan. 1996.
[17] K.L. Clark, "Negation as Failure," Logic and Database, H. Gallaire and J. Minker, eds., Plenum Press, 1997.
[18] S. Costantini, "Contributions to the Stable Model Semantics of Logic Programs with Negation," Theoretical Computer Science, vol. 150, no. 2, pp. 231255; preliminary version, Proc. LPNMR, L.M. Pereira and A. Nerode, eds., Lisbon, MIT Press, June 1994.
[19] J. Cuadrado and S. Pimentel, "A Truth Maintenance System Based on Stable Models," Proc. 1989 North Am. Conf. Logic Programming, pp. 274290, 1989.
[20] Proc. Fourth Int'l Conf. Logic Programming and NonMonotonic Reasoning, Lecture Notes in Artificial Intelligence 1,265, J. Dix, U. Furbach, and A. Nerode, eds., SpringerVerlag, 1997.
[21] J. Dix and M. Müller, "Implementing Semantics of Disjunctive Logic Programs Using Fringes and Abstract Properties," Proc. LPNMR, L.M. Pereira and A. Nerode, eds., pp. 4359, 1993.
[22] J. Dix and F. Stolzenburg, "Computation of NonGround Disjunctive WellFounded Semantics with Constraint Logic Programming," J. Dix, L.M. Pereira, and T.C. Przymusinski, eds, Proc. WS NonMonotonic Extensions of Logic Programming (during JICSLP), pp. 143160, CSReport 17/96, Univ. of Koblenz, 1996.
[23] J. Doyle, "A Truth Maintenance System," Artificial Intelligence, vol. 12, pp. 231272, 1979.
[24] W. Drabent, "SLS Resolution Without Floundering, Proc. Second Int'l Workshop on Logic Programming and Nonmonotonic Reasoning, pp. 8297, MIT Press, 1993.
[25] T. Eiter, J. Lu, and V.S. Subrahmanian, "Computing NonGround Representations of Stable Models," Proc. Fourth Int'l Conf. Logic Programming and NonMonotonic Reasoning, pp. 198217, Lecture Notes in Artificial Intelligence 1,265, J. Dix, U. Furbach, and A. Nerode, eds., SpringerVerlag, 1997.
[26] T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello, “A Deductive System for NonMonotonic Reasoning,” Proc. Int'l Conf. Logic Programming and Nonmonotonic Reasoning, pp. 363374, 1997.
[27] T. Eiter and G. Gottlob, "Complexity Aspects of Various Semantics for Disjunctive Databases," Proc. 12th ACM SIGACT SIGMODSIGART Symp. Principles of Database Systems (PODS93), pp. 158167, June 1993.
[28] T. Eiter, G. Gottlob, and H. Mannila, "Adding Disjunction to Datalog," Proc. 13th ACM SIGACT SIGMODSIGART Symp. Principles of Database Systems (PODS94), pp. 267278, May 1994.
[29] T. Eiter and G. Gottlob, "The Complexity of LogicBased Abduction," J. ACM, vol. 42, no. 1, pp. 342, Jan. 1995.
[30] T. Eiter, V.S. Subrahmanian, and G. Pick, "Heterogeneous Active Agents," Univ. of Maryland Technical Report CSTR3880, Mar. 1998; submitted for journal publication.
[31] J. Fernandez, J. Lobo, J. Minker, and V.S. Subrahmanian, "Disjunctive LP + Integrity Constraints = Stable Model Semantics," Annals of Math. and Artificial Intelligence, vol. 8, pp. 449474, 1993.
[32] M.C. Fitting, "A KripkeKleene Semantics for Logic Programming," J. Logic Programming, vol. 4, pp. 295312, 1985.
[33] H. Gallaire and J. Minker, Logic and Databases, Plenum Press, New York, 1976.
[34] M. Gelfond and V. Lifschitz, "The Stable Model Semantics for Logic Programming," Proc. Fifth Int'l Conf. and Symp. Logic Programming, R.A. Kowalski and K.A. Bowen, eds., pp. 1,0701,080, 1988.
[35] M. Gelfond and V. Lifschitz (1990), “Logic Programs with Classical Negation,” Proc. of the 7th Intl. Conf. on Logic Programming, pp. 579597, MIT Press.
[36] L. Giordano, A. Martelli, and M.L. Sapino, "Extending Negation as Failure by Abduction: A ThreeValued Stable Model Semantics," J. Logic Programming, vol. 26, no. 1, pp. 3167, Jan. 1996.
[37] G. Gottlob, "Complexity Results for Nonmonotonic Logics," J. Logic and Computation, vol. 2, no. 3, pp. 397425, June 1992.
[38] G. Gottlob, "The Complexity of Default Reasoning Under the Stationary Fixed Point Semantics," Information and Computation, vol. 121, no. 1, pp. 8192, Aug. 1995.
[39] G. Gottlob, "Translating Default Logic into Standard Autoepistemic Logic," J. ACM, vol. 42, no. 4, pp. 711740, July 1995.
[40] G. Gottlob, S. Marcus, A. Nerode, G. Salzer, and V.S. Subrahmanian, "A NonGround Realization of the Stable and WellFounded Semantics," Theoretical Computer Science, vol. 166, pp. 221262, 1996.
[41] R.G. Jeroslow, "Computationoriented reductions of predicate to propositional logic," Decision Support Systems, vol. 4, pp. 183197, 1988.
[42] R.E. Jeroslow, LogicBased Decision Support: Mixed Integer Model Formulation, NorthHolland, 1989.
[43] V. Kagan, A. Nerode, and V.S. Subrahmanian, "Computing Definite Logic Programs by Partial Instantiation," Annals Pure and Applied Logic, vol. 67, pp. 161182, 1994.
[44] V. Kagan,A. Nerode,, and V.S. Subrahmanian,“Computing minimal models by partial instantiation,” 1993, accepted for publication in Theoretical Computer Science.
[45] A.C. Kakas, R.A. Kowalski, and F. Toni, "Abductive Logic Programming," J. Logic and Computation, vol. 2, no. 6, pp. 719770, Dec. 1992.
[46] A.C. Kakas and C. Mourlas, "ACLP: Flexible Solutions to Complex Problems," Proc. Fourth Int'l Conf. Logic Programming and NonMonotonic Reasoning, Lecture Notes in Artificial Intelligence 1,265, pp. 387398, J. Dix, U. Furbach, and A. Nerode, eds., SpringerVerlag, 1997.
[47] P.T. Kandzia, "NonMonotonic Reasoning in FLORID," Proc. Fourth Int'l Conf. Logic Programming and NonMonotonic Reasoning, Lecture Notes in Artificial Intelligence 1,265, pp. 399409, J. Dix, U. Furbach, and A. Nerode, eds., SpringerVerlag, 1997.
[48] D. Kemp, P.J. Stuckey, and D. Srivastava, "Magic Sets and BottomUp Evaluation of WellFounded Models," Proc. 1991 Int'l Logic Programming Symp., pp. 337351, V. Saraswat and K. Ueda, eds., MIT Press, 1991.
[49] J. Lu, A. Nerode, and V.S. Subrahmanian, "Hybrid Knowledge Bases," IEEE Trans. Knowledge and Data Eng., vol. 8, no. 5, pp. 773785, Oct. 1996.
[50] N. Leone and P. Rullo,“Safe computation of the wellfounded semantics of DATALOG queries,” Information Systems, vol. 17, no. 1, 1992.
[51] N. Leone, M. Romeo, P. Rullo, and D. Sacca, "Effective Implementation of Negation in Database Logic Query Languages," LOGIDATA+: Deductive Databases with Complex Objects, Lecture Notes in Computer Science 701, pp. 159175, Springer, 1993.
[52] V. Lifschitz, N. McCain, T.C. Przymusinski, and R.F. Stark, "Loop Checking and the Well Founded Semantics, Proc. Third Int'l Conf. on Logic Programming and Nonmonotonic Reasoning, pp. 127142, Springer Lecture Notes in Artificial Intelligence 928, 1995.
[53] J.W. Lloyd, Foundations of Logic Programming, Springer, 1987.
[54] J. Lobo, J. Minker, and A. Rajasekar, Foundations of Disjunctive Logic Programming. Cambridge, Mass.: MIT Press, 1992.
[55] W. Marek, A. Nerode, and J. Remmel, "A Theory of Nonmonotonic Rule Systems," vol. I, Annals Math. and Artificial Intelligence, 1991.
[56] W. Marek, A. Nerode, and J. Remmel, "The Stable Models of a Predicate Logic Program," J. Logic Programming, vol. 21, no. 3, 1994.
[57] W. Marek, A. Nerode, and J. Remmel, "On Logical Constraints in Logic Programming," Proc. LPNMR, W. Marek, A. Nerode, and${\rm M.\ Truszczy {\acute n} ski},$eds., pp. 4456, Lecture Notes in Computer Science 928, 1995.
[58] W. Marek, A. Nerode, and M. ${\rm Truszczy {\acute n} ski}$, Proc. Third Int'l Conf. on Logic Programming and Nonmonotonic Reasoning, Springer Lecture Notes in Artificial Intelligence 928, 1995.
[59] W. Marek and V.S. Subrahmanian, "The Relationship Between Stable, Supported, Default and AutoEpistemic Semantics for General Logic Programs," Theoretical Computer Science, vol. 103, pp. 365386, 1992.
[60] W. Marek, G.G. Schwarz, and M. ${\rm Truszczy {\acute n} ski}$, "Modal NonMonotonic Logics: Ranges, Characterization, Computation," J. ACM, vol. 40, no. 4, pp. 963990, Sept. 1993.
[61] W. Marek and M. ${\rm Truszczy {\acute n} ski}$, Nonmonotonic Logic: Context Dependent Reasoning, Springer Verlag, Berlin, 1993.
[62] J. Minker,“On indefinite databases and the closed world assumption,” Proc. Automated Deduction Conf., pp. 292308, 1982.
[63] Foundations of Deductive Databases and Logic Programming, J. Minker, ed., Morgan Kaufman, 1988.
[64] J. Minker, "An Overview of Nonmonotonic Reasoning and Logic Programming," J. Logic Programming, vol. 17, nos. 2/34, pp. 95126, Nov. 1993.
[65] R.C. Moore, "Semantical Considerations on Nonmonotonic Logic," Artificial Intelligence, vol. 25, pp. 7594, 1985.
[66] A. Nerode, W. Marek, and V.S. Subrahmanian, Proc. First Int'l Workshop on Logic Programming and Nonmonotonic Reasoning, MIT Press, 1991.
[67] G. Neugebauer and D. Schaffer, "GLUE: Opening the World to Theorem Provers," Proc. Fourth Int'l Conf. Logic Programming and NonMonotonic Reasoning, pp. 420429, Lecture Notes in Artificial Intelligence 1,265, J. Dix, U. Furbach, and A. Nerode, eds., SpringerVerlag, 1997.
[68] I. Niemel and P. Simons, "Smodels—An Implementation of the Stable Model and WellFounded Semantics for Normal LP," Proc. Fourth Int'l Conf. Logic Programming and NonMonotonic Reasoning, pp. 410419, Lecture Notes in Artificial Intelligence 1,265, J. Dix, U. Furbach, and A. Nerode, eds., SpringerVerlag, 1997.
[69] Y. Peng and J. Reggia, "A Connectionist Model for Diagnostic Problem Solving," IEEE Trans. Systems, Man, and Cybernetics, vol. 19, no. 2, pp. 285298, 1989.
[70] L.M. Pereira and A. Nerode, Proc. Second Int'l Workshop on Logic Programming and Nonmonotonic Reasoning, MIT Press, 1993.
[71] T.C. Przymusinski, "On the Declarative Semantics of Deductive Databases and Logic Programs," J. Minker, ed., Foundations of Deductive Databases and Logic Programming, pp. 193216. Morgan Kaufmann, 1988.
[72] P. Rao, K. Sagonas, T. Swift, D. Warren, and J. Freire, "XSB: A System for Efficiently Computing WFS," Proc. Fourth Int'l Conf. Logic Programming and NonMonotonic Reasoning, pp. 430440, Lecture Notes in Artificial Intelligence 1,265, J. Dix, U. Furbach, and A. Nerode, eds., SpringerVerlag, 1997.
[73] R. Reiter, "On Closed World Databases," Logic and Databases, Plenum Press, New York, pp. 5578, 1977.
[74] R. Reiter, "A Logic for Default Reasoning," Artificial Intelligence, vol. 13, pp. 81132, 1980.
[75] D. Saccà and C. Zaniolo, "Stable Models and Nondeterminism for Logic Programs with Negation," ACM SIGACTSIGMODSIGART Symp. Principles of Database Systems, pp. 205217, 1990.
[76] T. Schaub and P. Nicolas, "An Implementation Platform for QueryAnswering: XRAY," Proc. Fourth Int'l Conf. Logic Programming and NonMonotonic Reasoning, pp. 441452, Lecture Notes in Artificial Intelligence 1,265, J. Dix, U. Furbach, and A. Nerode, eds., SpringerVerlag, 1997.
[77] J. Shoenfield, Math. Logic, AddisonWesley, 1967.
[78] V.S. Subrahmanian, D. Nau, and C. Vago, "WFS + Branch and Bound = Stable Models," IEEE Trans. Knowledge and Data Eng., vol. 7, no. 3, pp. 362377, 1994.
[79] A. Tarski, "A Lattice Theoretical Fixpoint Theorem and its Applications," Pacific J. Math., vol. 5, pp. 285309, 1955.
[80] J.J.P. Tsai, T. Weigert, and H. Jang, "A Hybrid Knowledge Representation as a Basis of Requirements Specification and Specification Analysis," IEEE Trans. Software Eng., pp. 1,0761,100, vol. 18, no. 12, Dec. 1992.
[81] A. van Gelder, "The Alternating Fixpoint of Logic Programs with Negation," Proc. ACM Symp. Principles of Database Systems, pp. 110, 1989.
[82] A. van Gelder,K. Ross, and J.S. Schlipf,"The wellfounded semantics for general logic programs," J. ACM, vol. 38, no. 3, pp. 620650, July 1991.
[83] U. Zukowski and B. Freitag, "A Deductive System for NonMonotonic Reasoning," Proc. Fourth Int'l Conf. Logic Programming and NonMonotonic Reasoning, pp. 375386, Lecture Notes in Artificial Intelligence 1,265, J. Dix, U. Furbach, and A. Nerode, eds., SpringerVerlag, 1997.