The well-founded semantics for general logic programs

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

The well-founded semantics for general logic programs

Full text

Pdf (2.10 MB)

Source

Journal of the ACM (JACM) archive
Volume 38 , Issue 3 (July 1991) table of contents

Pages: 619 - 649

Year of Publication: 1991

ISSN:0004-5411

Authors

Allen Van Gelder	Univ. of California at Santa Cruz, Santa Cruz
Kenneth A. Ross	Sanford Univ., Stanford, CA
John S. Schlipf	Univ. of Cincinnati, Cincinnati, OH

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 12, Downloads (12 Months): 107, Citation Count: 196

Additional Information:

references cited by index terms review collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/116825.116838 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	K. R. Apt , H. A. Blair , A. Walker, Towards a theory of declarative knowledge, Foundations of deductive databases and logic programming, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1988
	2	Krzysztof R. Apt , M. H. van Emden, Contributions to the Theory of Logic Programming, Journal of the ACM (JACM), v.29 n.3, p.841-862, July 1982 [doi>10.1145/322326.322339]
	3	F. Bry, Logic programming as constructivism: a formalization and its application to databases, Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.34-50, March 1989, Philadelphia, Pennsylvania, United States [doi>10.1145/73721.73725]
	4	CHANDRA, A., AND HAREL, D. Structure and complexity of relational queries. J. Comput. Syst. Sci. 25, 1 (I982), 99-128.
	5	CHANDRA, A., AND HAREL, D. Horn clause queries and generalizations. J. Logic Prog. 2, 1 (1985), 1 - 15.
	6	CLARK, K.L. Negation as failure. In H. Gallaire and J. Minker, eds., Logic and Databases. Plenum Press, New York, 1978, pp. 293-322.
	7	DUMMETT, M. A.E. Elements of Intuitionism. Clarendon Press, Oxford, England, 1977.
	8	DUNG, PH. M., AND KANCHANASUT, K. A natural semantics for logic programs with negation. Tech. Rep. Asian Institute of Technology, Bangkok 10501, Thailand, 1989. (manuscript).
	9	FITTINC, M. A Kripke-Kleene semantics for logic programs. J. Logic Progr. 2, 4 (1985), 295-312.
	10	GELFOND, M. On stratified autoepistemic theories. In Proceedings of the 6th National Conference on Artificial Intelligence. Morgan-Kaufmann, San Mateo, Calif., 1987, pp. 207-211.
	11	GELFOND, M, AND LIFSCHITZ, V. The stable model semantics for logic programming. In Proceedings of the 5th International Conference and Symposium on Logic Programming (Seattle, Wash.). IEEE, New York, 1988, pp. 1070-1080.
	12	GUREVrCrI, Y., AND SHELAH, S. Fixed-point extensions of first order logic. Ann. Pure Appl. Logic 32 (1986), 265-280.
	13	HANKS, S., AND MCDERMOTT, D. Default reasoning, nonmonotonic logics, and the frame problem. In Proceedings of 5th National Conference on Artificial intelligence. Morgan- Kaufmann, San Mateo, Calif., 1986, pp. 328-333.
	14	Neil Immerman, Relational queries computable in polynomial time, Information and Control, v.68 n.1-3, p.86-104, Jan/Feb/March 1986 [doi>10.1016/S0019-9958(86)80029-8]
	15	JAFFAR, J., LASSEZ, J.-L., AND LLOYD, J. Completeness of the negation-as-failure rule. In Proceedings of the International Joint Conference on Artificial Intelligence. Morgan- Kaufmann, San Mateo, Calif., 1983, pp. 500-506.
	16	Phokion G. Kolaitis, The expressive power of stratified logic programs, Information and Computation, v.90 n.1, p.50-66, Jan. 1991 [doi>10.1016/0890-5401(91)90059-B]
	17	Kenneth Kunen, Negation in logic programming, Journal of Logic Programming, v.4 n.4, p.289-308, December 1, 1987 [doi>10.1016/0743-1066(87)90007-0]
	18	KUNEN, K. Some remarks on the completed database. Tech. Rep. 775. Univ. of Wisconsin, Madison, Wisc., 1988. (Abstract appeared in Proceedings of the 5th International Conference and Symposium on Logic Programming (Seattle, Wash., Aug.) 1988).
	19	V. Lifschitz, On the declarative semantics of logic programs with negation, Foundations of deductive databases and logic programming, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1988
	20	J. W. Lloyd, Foundations of logic programming; (2nd extended ed.), Springer-Verlag New York, Inc., New York, NY, 1987
	21	LLOYD, J, W., AND TOPOR, R. W. Making Prolog more expressive. J. Logic Prog. 1. 3 (1984), 225-240.
	22	M. J. Maher, Equivalences of logic programs, Foundations of deductive databases and logic programming, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1988
	23	MAREK, W. Stable theories in autoepistemic logic. Tech. Rep., Univ. Kentucky, Lexington, Ky., 1986.
	24	MAREK, A., AND TRUSZCZYNSKI, M. Autoepistemic logic. Tech. Rep., Umv. Kentucky, Lexington, Ky., 1988.
	25	Jack Minker, On Indefinite Databases and the Closed World Assumption, Proceedings of the 6th Conference on Automated Deduction, p.292-308, June 07-09, 1982
	26	Robert C. Moore, Semantical considerations on nonmonotonic logic, Artificial Intelligence, v.25 n.1, p.75-94, Jan. 1985 [doi>10.1016/0004-3702(85)90042-6]
	27	MORRIS, K. Talk at Workshop XP8.3i, Oregon Graduate Center, July 1987.
	28	Katherine Morris , Jeffrey D Ullman , Allen Van Gelder, Design overview of the NAIL] system, Proceedings on Third international conference on logic programming, p.554-568, September 1986, London, United Kingdom
	29	Yiannis N Moschovakis, Elementary induction on abstract structures (Studies in logic and the foundations of mathematics), American Elsevier Pub. Co, 1974
	30	PRZYMUSINSKA, H, AND PRZYMUSINSKI, T. C. Weakly perfect model semantics for logic programs. In Proceedings of the 5th International Conference and Symposium on Logic Programming (Seattle, Wash.), 1988, pp. 1106-1120.
	31	T. C. Przymusinski, On the declarative semantics of deductive databases and logic programs, Foundations of deductive databases and logic programming, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1988
	32	T. C. Przymusinski, Every logic program has a natural stratification and an iterated least fixed point model, Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.11-21, March 1989, Philadelphia, Pennsylvania, United States [doi>10.1145/73721.73723]
	33	REITER, R. On closed world databases. In H. Gallaire and J. Minker, Logic and Databases. Plenum Press, New York, 1978, pp. 55-76.
	34	K. A. Ross, A procedural semantics for well founded negation in logic programs, Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.22-33, March 1989, Philadelphia, Pennsylvania, United States [doi>10.1145/73721.73724]
	35	Kenneth A. Ross , Rodney W. Topor, Inferring negative information from disjunctive databases, Journal of Automated Reasoning, v.4 n.4, p.397-424, Dec. 1988 [doi>10.1007/BF00297247]
	36	SCHLIPF, J. S. Negation by securable failure in logic programming. Unpubhshed manuscript, 1987.
	37	John C. Shepherdson, Negation as failure. II, Journal of Logic Programming, v.2 n.3, p.185-202, Oct. 1985 [doi>10.1016/0743-1066(85)90018-4]
	38	J. C. Shepherdson, Negation in logic programming, Foundations of deductive databases and logic programming, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1988
	39	M. H. Van Emden , R. A. Kowalski, The Semantics of Predicate Logic as a Programming Language, Journal of the ACM (JACM), v.23 n.4, p.733-742, Oct. 1976 [doi>10.1145/321978.321991]
	40	A. V. Gelder, Negation as failure using tight derivations for general logic programs, Foundations of deductive databases and logic programming, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1988
	41	Allen Van Gelder, Modeling simultaneous events with default reasoning and tight derivations, Journal of Logic Programming, v.8 n.1-2, p.41-52, Jan./Mar. 1990 [doi>10.1016/0743-1066(90)90050-F]
	42	Allen Van Gelder, The alternating fixpoint of logic programs with negation, Journal of Computer and System Sciences, v.47 n.1, p.185-221, Aug. 1993
	43	Moshe Y. Vardi, The complexity of relational query languages (Extended Abstract), Proceedings of the fourteenth annual ACM symposium on Theory of computing, p.137-146, May 05-07, 1982, San Francisco, California, United States [doi>10.1145/800070.802186]

CITED BY 198

	Mengchi Liu, Extending Datalog with Declarative Updates, Journal of Intelligent Information Systems, v.20 n.2, p.107-129, March 2003
	Marc Denecker , Eugenia Ternovska, A logic of nonmonotone inductive definitions, ACM Transactions on Computational Logic (TOCL), v.9 n.2, p.1-52, March 2008
	Weidong Chen , David S. Warren, Query evaluation under the well-founded semantics, Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.168-179, May 25-28, 1993, Washington, D.C., United States
	Elisa Bertino , Elena Ferrari , Vijay Atluri, The specification and enforcement of authorization constraints in workflow management systems, ACM Transactions on Information and System Security (TISSEC), v.2 n.1, p.65-104, Feb. 1999
	Mengchi Liu, Deductive database languages: problems and solutions, ACM Computing Surveys (CSUR), v.31 n.1, p.27-62, March 1999
	Thomas Eiter , Georg Gottlob, Complexity aspects of various semantics for disjunctive databases, Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.158-167, May 25-28, 1993, Washington, D.C., United States
	Weidong Chen , David S. Warren, Tabled evaluation with delaying for general logic programs, Journal of the ACM (JACM), v.43 n.1, p.20-74, Jan. 1996
	Kenneth A. Ross, Modular stratification and magic sets for DATALOG programs with negation, Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.161-171, April 02-04, 1990, Nashville, Tennessee, United States
	Elisa Bertino , Claudio Bettini , Elena Ferrari , Pierangela Samarati, An access control model supporting periodicity constraints and temporal reasoning, ACM Transactions on Database Systems (TODS), v.23 n.3, p.231-285, Sept. 1998
	Sei Chun , Huizhu Lu , Jonghoon Chun, Succinct model semantics: a simple model for inclusive interpretations, Proceedings of the 1998 ACM symposium on Applied Computing, p.39-44, February 27-March 01, 1998, Atlanta, Georgia, United States
	Michael Kifer , Georg Lausen , James Wu, Logical foundations of object-oriented and frame-based languages, Journal of the ACM (JACM), v.42 n.4, p.741-843, July 1995
	Serge Abiteboul , Georg Lausen , Heinz Uphoff , Emmanuel Waller, Methods and rules, ACM SIGMOD Record, v.22 n.2, p.32-41, June 1, 1993
	L. Thorne McCarty, Some arguments about legal arguments, Proceedings of the 6th international conference on Artificial intelligence and law, p.215-224, June 30-July 03, 1997, Melbourne, Australia
	Sumit Ganguly , Sergio Greco , Carlo Zaniolo, Minimum and maximum predicates in logic programming, Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.154-163, May 29-31, 1991, Denver, Colorado, United States
	Victor Vianu, A Web Odyssey: from Codd to XML, Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.1-15, May 2001, Santa Barbara, California, United States
	Marco Schaerf, Negation and minimality in non-horn databases, Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.147-157, May 25-28, 1993, Washington, D.C., United States
	Georg Gottlob , Erich Grädel , Helmut Veith, Datalog LITE: a deductive query language with linear time model checking, ACM Transactions on Computational Logic (TOCL), v.3 n.1, p.42-79, January 2002
	Catriel Beeri , Raghu Ramakrishnan , Divesh Srivastava , S. Sudarshan, The valid model semantics for logic programs, Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.91-104, June 02-05, 1992, San Diego, California, United States
	Allen Van Gelder, The well-founded semantics of aggregation, Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.127-138, June 02-05, 1992, San Diego, California, United States
	Kannan Govindarajan , Bharat Jayaraman , Surya Mantha, Optimization and relaxation in constraint logic languages, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.91-103, January 21-24, 1996, St. Petersburg Beach, Florida, United States
	Konstantinos Sagonas , Terrance Swift , David S. Warren, XSB as an efficient deductive database engine, ACM SIGMOD Record, v.23 n.2, p.442-453, June 1994
	Patrik Simons , Ilkka Niemelá , Timo Soininen, Extending and implementing the stable model semantics, Artificial Intelligence, v.138 n.1-2, p.181-234, June 2002
	Benjamin N. Grosof , Yannis Labrou , Hoi Y. Chan, A declarative approach to business rules in contracts: courteous logic programs in XML, Proceedings of the 1st ACM conference on Electronic commerce, p.68-77, November 03-05, 1999, Denver, Colorado, United States
	Vinod Anupam , Richard Hull , Bharat Kumar, Personalizing E-commerce applications with on-line heuristic decision making, Proceedings of the 10th international conference on World Wide Web, p.296-307, May 01-05, 2001, Hong Kong, Hong Kong
	Steve Barker, Protecting deductive databases from unauthorized retrieval and update requests, Data & Knowledge Engineering, v.43 n.3, p.293-315, December 2002
	John Grant , Jack Minker, The impact of logic programming on databases, Communications of the ACM, v.35 n.3, p.66-81, March 1992
	Jennifer Seitzer , James P. Buckley , Yi Pan, INDED: A Distributed Knowledge-Based Learning System, IEEE Intelligent Systems, v.15 n.5, p.38-46, September 2000
	Filippo Furfaro , Sergio Greco , Sumit Ganguly , Carlo Zaniolo, Pushing extrema aggregates to optimize logic queries, Information Systems, v.27 n.5, p.321-343, July 2002
	Kenneth A. Ross , Yehoshua Sagiv, Monotonic aggregation in deductive databases, Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.114-126, June 02-05, 1992, San Diego, California, United States
	Christos H. Papadimitriou , Mihalis Yannakakis, Tie-breaking semantics and structural totality, Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.16-22, June 02-05, 1992, San Diego, California, United States
	Georg Gottlob , Erich Grädel , Helmut Veith, Linear time datalog and branching time logic, Logic-based artificial intelligence, Kluwer Academic Publishers, Norwell, MA, 2000
	Logic programming and knowledge representation-the A-prolog perspective, Artificial Intelligence, v.138 n.1-2, p.3-38, June 2002
	Haixun Wang , Carlo Zaniolo, Nonmonotonic reasoning in LDL++, Logic-based artificial intelligence, Kluwer Academic Publishers, Norwell, MA, 2000
	Marc Denecker , Maurice Bruynooghe , Victor Marek, Logic programming revisited: logic programs as inductive definitions, ACM Transactions on Computational Logic (TOCL), v.2 n.4, p.623-654, Oct. 2001
	Evgeny Dantsin , Thomas Eiter , Georg Gottlob , Andrei Voronkov, Complexity and expressive power of logic programming, ACM Computing Surveys (CSUR), v.33 n.3, p.374-425, September 2001
	Victor Vianu, A Web odyssey: from codd to XML, ACM SIGMOD Record, v.32 n.2, June 2003
	Marco Cadoli , Thomas Eiter , Georg Gottlob, Default Logic as a Query Language, IEEE Transactions on Knowledge and Data Engineering, v.9 n.3, p.448-463, May 1997
	Thomas Eiter , Georg Gottlob , Heikki Mannila, Adding disjunction to datalog (extended abstract), Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.267-278, May 24-27, 1994, Minneapolis, Minnesota, United States
	Marc Denecker , Victor W. Marek , Mirosław Truszczyński, Uniform semantic treatment of default and autoepistemic logics, Artificial Intelligence, v.143 n.1, p.79-122, January 2003
	Thomas Eiter , Wolfgang Faber , Nicola Leone , Gerald Pfeifer, Declarative problem-solving using the DLV system, Logic-based artificial intelligence, Kluwer Academic Publishers, Norwell, MA, 2000
	Nikolay Pelov , Maurice Bruynooghe, Extending constraint logic programming with open functions, Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming, p.235-244, September 20-23, 2000, Montreal, Quebec, Canada
	Carlos Iván Chesñevar , Jürgen Dix , Frieder Stolzenburg , Guillermo Ricardo Simari, Relating defeasible and normal logic programming through transformation properties, Theoretical Computer Science, v.290 n.1, p.499-529, 1 January 2003
	Stefania Costantini , Ottavio D'Antona , Alessandro Provetti, On the equivalence and range of applicability of graph-based representations of logic programs, Information Processing Letters, v.84 n.5, p.241-249, 16 December 2002
	Kotagiri Ramamohanarao , James Harland, An introduction to deductive database languages and systems, The VLDB Journal — The International Journal on Very Large Data Bases, v.3 n.2, April 1994
	Weidong Chen, Query evaluation in deductive databases with alternating fixpoint semantics, ACM Transactions on Database Systems (TODS), v.20 n.3, p.239-287, Sept. 1995
	Constructing interpretations of deductive databases using reduction and dynamic stratification, Data Engineering, v.38 n.2, p.173-197, 08/01/2001
	Carlo Zaniolo, Data and knowledge in database systems: deductive databases, Handbook of data mining and knowledge discovery, Oxford University Press, Inc., New York, NY, 2002
	Jürgen Dix , Ulrich Furbach , Ilkka Niemelä, Nonmonotonic reasoning: towards efficient calculi and implementations, Handbook of automated reasoning, Elsevier Science Publishers B. V., Amsterdam, The Netherlands, 2001
	Teruhiro Shimura , Jorge Lobo , Tadao Murata, An Extended Petri Net Model for Normal Logic Programs, IEEE Transactions on Knowledge and Data Engineering, v.7 n.1, p.150-162, February 1995
	Susumu Yamasaki , Yoshinori Kurose, A sound and complete procedure for a general logic program in non- floundering derivations with respect to the 3-valued stable model semantics, Theoretical Computer Science, v.266 n.1-2, p.489-512, 09/06/2001
	Yann Loyer , Nicolas Spyratos , Daniel Stamate, Parametrized semantics of logic programs: a unifying framework, Theoretical Computer Science, v.308 n.1-3, p.429-447, 3 November 2003
	Pascal Hitzler , Anthony Karel Seda, Generalized metrics and uniquely determined logic programs, Theoretical Computer Science, v.305 n.1-3, p.187-219, 18 August 2003
	Wolfgang May , Bertram Ludäscher, Understanding the global semantics of referential actions using logic rules, ACM Transactions on Database Systems (TODS), v.27 n.4, p.343-397, December 2002
	Elisa Bertino , Claudio Bettini , Elena Ferrari , Pierangela Samarati, A Temporal Access Control Mechanism for Database Systems, IEEE Transactions on Knowledge and Data Engineering, v.8 n.1, p.67-80, February 1996
	Andreas Behrend, Soft stratification for magic set based query evaluation in deductive databases, Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.102-110, June 09-11, 2003, San Diego, California
	Trevor Bench-Capon , Giovanni Sartor, A model of legal reasoning with cases incorporating theories and values, Artificial Intelligence, v.150 n.1-2, p.97-143, November 2003
	Amarnath Gupta , Bertram Ludäscher , Jeffrey S. Grethe , Maryann E. Martone, Towards a formalization of disease-specific ontologies for neuroinformatics, Neural Networks, v.16 n.9, p.1277-1292, November 2003
	Yingzhou Zhang , Baowen Xu, A survey of semantic description frameworks for programming languages, ACM SIGPLAN Notices, v.39 n.3, March 2004
	Sergio Greco, Dynamic Programming in Datalog with Aggregates, IEEE Transactions on Knowledge and Data Engineering, v.11 n.2, p.265-283, March 1999
	Thomas Eiter , Georg Gottlob , Heikki Mannila, Disjunctive datalog, ACM Transactions on Database Systems (TODS), v.22 n.3, p.364-418, Sept. 1997
	John R. Fisher, Logic program based action specifications, Proceedings of the 1995 ACM symposium on Applied computing, p.248-252, February 26-28, 1995, Nashville, Tennessee, United States
	Kenneth A. Ross, Structural totality and constraint stratification, Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.184-195, May 22-25, 1995, San Jose, California, United States
	Jan Chomicki , Jorge Lobo , Shamim Naqvi, Conflict Resolution Using Logic Programming, IEEE Transactions on Knowledge and Data Engineering, v.15 n.1, p.244-249, January 2003
	L. Li, High-Level Petri Net Model of Logic Program with Negation, IEEE Transactions on Knowledge and Data Engineering, v.6 n.3, p.382-395, June 1994
	Francesco Buccafurri , Nicola Leone , Pasquale Rullo, Enhancing Disjunctive Datalog by Constraints, IEEE Transactions on Knowledge and Data Engineering, v.12 n.5, p.845-860, September 2000
	Sei Chun , Jonghoon Chun, Providing semantics for indefinite deductive databases, Proceedings of the seventh international conference on Information and knowledge management, p.441-448, November 02-07, 1998, Bethesda, Maryland, United States
	Sergio Greco , Carlo Zaniolo , Sumit Ganguly, Greedy by choice, Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.105-113, June 02-05, 1992, San Diego, California, United States
	J. -H. You , X. Wang , L. -Y. Yuan, Nonmonotonic Reasoning as Prioritized Argumentation, IEEE Transactions on Knowledge and Data Engineering, v.13 n.6, p.968-979, November 2001
	Catriel Beeri, New data models and languages—the challenge, Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.1-15, June 02-05, 1992, San Diego, California, United States
	David B. Kemp , Kotagiri Ramamohanarao, Efficient Recursive Aggregation and Negation in Deductive Databases, IEEE Transactions on Knowledge and Data Engineering, v.10 n.5, p.727-745, September 1998
	Weidong Chen, Programming with Logical Queries, Bulk Updates, and Hypothetical Reasoning, IEEE Transactions on Knowledge and Data Engineering, v.9 n.4, p.587-599, July 1997
	Yann Loyer , Nicolas Spyratos , Daniel Stamate, Hypothesis-based semantics of logic programs in multivalued logics, ACM Transactions on Computational Logic (TOCL), v.5 n.3, p.508-527, July 2004
	Stefan Brass , Jürgen Dix , Teodor C. Przymusinski, Super logic programs, ACM Transactions on Computational Logic (TOCL), v.5 n.1, p.129-176, January 2004
	Marc Denecker , Victor W. Marek , Mirosław Truszczyński, Ultimate approximation and its application in nonmonotonic knowledge representation systems, Information and Computation, v.192 n.1, p.84-121, 1 July 2004
	Evelina Lamma , Fabrizio Riguzzi , Luís Moniz Pereira, Strategies in Combined Learning via Logic Programs, Machine Learning, v.38 n.1-2, p.63-87, Jan.&slash;Feb. 2000
	Jia Liang Han, Program Partition and Logic Program Analysis, IEEE Transactions on Software Engineering, v.21 n.12, p.959-968, December 1995
	Kewen Wang , Lizhu Zhou, Comparisons and computation of well-founded semantics for disjunctive logic programs, ACM Transactions on Computational Logic (TOCL), v.6 n.2, p.295-327, April 2005
	R. Ramesh , Weidong Chen, Implementation of Tabled Evaluation with Delaying in Prolog, IEEE Transactions on Knowledge and Data Engineering, v.9 n.4, p.559-574, July 1997
	Weidong Chen , David Scott Warren, Computation of Stable Models and Its Integration with Logical Query Processing, IEEE Transactions on Knowledge and Data Engineering, v.8 n.5, p.742-757, October 1996
	Evelina Lamma , Fabrizio Riguzzi , Luís Moniz Pereira, Belief revision via Lamarckian evolution, New Generation Computing, v.21 n.3, p.247-275, March 2003
	V. s. Subrahmanian, Nonmonotonic Logic Programming, IEEE Transactions on Knowledge and Data Engineering, v.11 n.1, p.143-152, January 1999
	K. Wang , L. Y. Yuan, First-Order Logic Characterization of Program Properties, IEEE Transactions on Knowledge and Data Engineering, v.6 n.4, p.518-533, August 1994
	Bard Bloom , Wan Fokkink , Rob J. van Glabbeek, Precongruence formats for decorated trace semantics, ACM Transactions on Computational Logic (TOCL), v.5 n.1, p.26-78, January 2004
	Panos Rondogiannis , William W. Wadge, Minimum model semantics for logic programs with negation-as-failure, ACM Transactions on Computational Logic (TOCL), v.6 n.2, p.441-467, April 2005
	Stefano Basta , Sergio Flesca , Sergio Greco, Functional queries in datalog, New Generation Computing, v.20 n.4, p.339-371, October 2002
	Chitta Baral , Michael Gelfond, Reasoning agents in dynamic domains, Logic-based artificial intelligence, Kluwer Academic Publishers, Norwell, MA, 2000
	Mengchi Liu , Gillian Dobbie , Tok Wang Ling, A logical foundation for deductive object-oriented databases, ACM Transactions on Database Systems (TODS), v.27 n.1, p.117-151, March 2002
	Marcello Balduccini , Enrico Pontelli , Omar Elkhatib , Hung Le, Issues in parallel execution of non-monotonic reasoning systems, Parallel Computing, v.31 n.6, p.608-647, June 2005
	P. M. Dung , R. A. Kowalski , F. Toni, Dialectic proof procedures for assumption-based, admissible argumentation, Artificial Intelligence, v.170 n.2, p.114-159, February 2006
	Nicola Leone , Gerald Pfeifer , Wolfgang Faber , Thomas Eiter , Georg Gottlob , Simona Perri , Francesco Scarcello, The DLV system for knowledge representation and reasoning, ACM Transactions on Computational Logic (TOCL), v.7 n.3, p.499-562, July 2006
	Baoqiu Cui , Terrance Swift, Preference logic grammars: fixed point semantics and application to data standardization, Artificial Intelligence, v.138 n.1-2, p.117-147, June 2002
	Yann Loyer , Umberto Straccia, Any-world assumptions in logic programming, Theoretical Computer Science, v.342 n.2-3, p.351-381, 7 September 2005
	Pedro Cabalar , Sergei Odintsov , David Pearce , Agustín Valverde, Partial equilibrium logic, Annals of Mathematics and Artificial Intelligence, v.50 n.3-4, p.305-331, August 2007
	Davy Nieuwenborgh , Martine Cock , Dirk Vermeir, An introduction to fuzzy answer set programming, Annals of Mathematics and Artificial Intelligence, v.50 n.3-4, p.363-388, August 2007
	Kenneth A. Ross, Modular stratification and magic sets for Datalog programs with negation, Journal of the ACM (JACM), v.41 n.6, p.1216-1266, Nov. 1994
	Konstantinos Sagonas , Terrance Swift, An abstract machine for tabled execution of fixed-order stratified logic programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.20 n.3, p.586-634, May 1998
	Tal Cohen , Joseph (Yossi) Gil , Itay Maman, JTL: the Java tools language, ACM SIGPLAN Notices, v.41 n.10, October 2006
	Francesco Ricca , Wolfgang Faber , Nicola Leone, A backjumping technique for disjunctive logic programming, AI Communications, v.19 n.2, p.155-172, January 2006
	Daniele Gorla , Matthew Hennessy , Vladimiro Sassone, Inferring dynamic credentials for rôle-based trust management, Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming, July 10-12, 2006, Venice, Italy
	Peter F. Patel-Schneider , Ian Horrocks, Position paper: a comparison of two modelling paradigms in the Semantic Web, Proceedings of the 15th international conference on World Wide Web, May 23-26, 2006, Edinburgh, Scotland
	Janice Warner , Vijayalakshmi Atluri, Inter-instance authorization constraints for secure workflow management, Proceedings of the eleventh ACM symposium on Access control models and technologies, June 07-09, 2006, Lake Tahoe, California, USA
	Joost Vennekens , David Gilis , Marc Denecker, Splitting an operator: Algebraic modularity results for logics with fixpoint semantics, ACM Transactions on Computational Logic (TOCL), v.7 n.4, p.765-797, October 2006
	Thomas Eiter , Georg Gottlob, Reasoning under minimal upper bounds in propositional logic, Theoretical Computer Science, v.369 n.1, p.82-115, 15 December 2006
	Aleksander Pivk , Philipp Cimiano , York Sure , Matjaz Gams , Vladislav Rajkovič , Rudi Studer, Transforming arbitrary tables into logical form with TARTAR, Data & Knowledge Engineering, v.60 n.3, p.567-595, March, 2007
	Simon Schenk , Steffen Staab, Networked graphs: a declarative mechanism for SPARQL rules, SPARQL views and RDF data integration on the web, Proceeding of the 17th international conference on World Wide Web, April 21-25, 2008, Beijing, China
	Marc Denecker , Eugenia Ternovska, Inductive situation calculus, Artificial Intelligence, v.171 n.5-6, p.332-360, April, 2007
	Thomas Lukasiewicz, Probabilistic description logic programs, International Journal of Approximate Reasoning, v.45 n.2, p.288-307, July, 2007
	Grigoris Antoniou , David Billington , Guido Governatori , Michael J. Maher, Embedding defeasible logic into logic programming, Theory and Practice of Logic Programming, v.6 n.6, p.703-735, November 2006
	Susumu Yamasaki, Logic programming with default, weak and strict negations, Theory and Practice of Logic Programming, v.6 n.6, p.737-749, November 2006
	Nikolay Pelov , Marc Denecker , Maurice Bruynooghe, Well-founded and stable semantics of logic programs with aggregates, Theory and Practice of Logic Programming, v.7 n.3, p.301-353, May 2007
	Włodzimierz Drabent , Mirosława Miłkowska, Proving correctness and completeness of normal programs – a declarative approach, Theory and Practice of Logic Programming, v.5 n.6, p.669-711, November 2005
	Stefania Costantini , Alessandro Provetti, Normal forms for answer sets programming, Theory and Practice of Logic Programming, v.5 n.6, p.747-760, November 2005
	Yann Loyer , Umberto Straccia, Epistemic foundation of stable model semantics, Theory and Practice of Logic Programming, v.6 n.4, p.355-393, July 2006
	Anastasia Analyti , Ioannis Pachoulakis, Logic Programming Representation of the Compound Term Composition Algebra, Fundamenta Informaticae, v.73 n.3, p.321-360, August 2006
	Ofer Arieli, Paraconsistent Declarative Semantics for Extended Logic Programs, Annals of Mathematics and Artificial Intelligence, v.36 n.4, p.381-417, December 2002
	José Júlio Alferes , Luís Moniz Pereira , Terrance Swift, Abduction in well-founded semantics and generalized stable models via tabled dual programs, Theory and Practice of Logic Programming, v.4 n.4, p.383-428, July 2004
	Katsumi Inoue , Chiaki Sakama, Computing extended abduction through transaction programs, Annals of Mathematics and Artificial Intelligence, v.25 n.3-4, p.339-367, 1999
	Carolina Ruiz , Jack Minker, Logic knowledge bases with two default rules, Annals of Mathematics and Artificial Intelligence, v.22 n.3-4, p.333-361, 1998
	Thomas Eiter , Domenico Saccà , Nicola Leone, On the partial semantics for disjunctive deductive databases, Annals of Mathematics and Artificial Intelligence, v.19 n.1-2, p.59-96, 1997
	Fosca Giannotti , Sergio Greco , Domenico Saccà , Carlo Zaniolo, Programming with non-determinism in deductive databases, Annals of Mathematics and Artificial Intelligence, v.19 n.1-2, p.97-125, 1997
	Sergio Greco , Domenico Saccà, "Possible is certain'' is desirable and can be expressive, Annals of Mathematics and Artificial Intelligence, v.19 n.1-2, p.147-168, 1997
	Victor Vianu, Rule-based languages, Annals of Mathematics and Artificial Intelligence, v.19 n.1-2, p.215-259, 1997
	Michael Gelfond , Alfredo Gabaldon, Building a knowledge base: an example, Annals of Mathematics and Artificial Intelligence, v.25 n.3-4, p.165-199, 1999
	Terrance Swift, Tabling for non-monotonic programming, Annals of Mathematics and Artificial Intelligence, v.25 n.3-4, p.201-240, 1999
	Weidong Chen , Julie Yu-Chih Liu, A procedural semantics for stratified database updates, Annals of Mathematics and Artificial Intelligence, v.21 n.2-4, p.187-220, 1997
	Ilkka Niemelä, Logic programs with stable model semantics as a constraint programming paradigm, Annals of Mathematics and Artificial Intelligence, v.25 n.3-4, p.241-273, 1999
	Chris Giannella , John Schlipf, An empirical study of the 4-valued Kripke-Kleene and 4-valued well-founded semantics in random propositional logic programs, Annals of Mathematics and Artificial Intelligence, v.25 n.3-4, p.275-309, 1999
	Renwei Li , Luís Moniz Pereira, Representing and reasoning about concurrent actions with abductive logic programs, Annals of Mathematics and Artificial Intelligence, v.21 n.2-4, p.245-303, 1997
	Kathrin Konczak , Thomas Linke , Torsten Schaub, Graphs and colorings for answer set programming, Theory and Practice of Logic Programming, v.6 n.1-2, p.61-106, January 2006
	Stefania Costantini, On the existence of stable models of non-stratified logic programs, Theory and Practice of Logic Programming, v.6 n.1-2, p.169-212, January 2006
	Chandrabose Aravindan , Jürgen Dix , Ilkka Niemelä, DisLoP: a research project on Disjunctive Logic Programming, AI Communications, v.10 n.3,4, p.151-165, December 1997
	Francesco Calimeri , Wolfgang Faber , Gerald Pfeifer , Nicola Leone, Pruning Operators for Disjunctive Logic Programming Systems, Fundamenta Informaticae, v.71 n.2,3, p.183-214, August 2006
	Suryanarayana M. Sripada , Beat Wüthrich, Cumulative Updates, Proceedings of the 20th International Conference on Very Large Data Bases, p.534-545, September 12-15, 1994
	Sergio Greco, Binding Propagation in Disjunctive Databases, Proceedings of the 24rd International Conference on Very Large Data Bases, p.287-298, August 24-27, 1998
	Elisa Bertino , Claudio Bettini , Elena Ferrari , Pierangela Samarati, Supporting Periodic Authorizations and Temporal Reasoning in Database Access Control, Proceedings of the 22th International Conference on Very Large Data Bases, p.472-483, September 03-06, 1996
	Mihalis Yannakakis, Perspectives on database theory, ACM SIGACT News, v.27 n.3, p.25-49, Sept. 1996
	Pascal Hitzler , Matthias Wendt, A uniform approach to logic programming semantics, Theory and Practice of Logic Programming, v.5 n.1-2, p.93-121, January 2005
	Ralf Schweimeier , Michael Schroeder, A parameterised hierarchy of argumentation semantics for extended logic programming and its application to the well-founded semantics, Theory and Practice of Logic Programming, v.5 n.1-2, p.207-242, January 2005
	Michael J. Maher, Propositional defeasible logic has linear complexity, Theory and Practice of Logic Programming, v.1 n.6, p.691-711, November 2001
	Chitta Baral , Alessandro Provetti , Tran Cao Son, Introduction to the special issue on Programming with answer sets, Theory and Practice of Logic Programming, v.3 n.4, p.387-391, July 2003
	Yi-Dong Shen , Li-Yan Yuan , Jia-Huai You, SLT-Resolution for the Well-Founded Semantics, Journal of Automated Reasoning, v.28 n.1, p.53-97, January 2002
	Sergio Greco , Carlo Zaniolo, Greedy algorithms in Datalog, Theory and Practice of Logic Programming, v.1 n.4, p.381-407, July 2001
	Victor W. Marek , Jeffrey B. Remmel, On the expressibility of stable logic programming, Theory and Practice of Logic Programming, v.3 n.4, p.551-567, July 2003
	Hudson Turner, Order-consistent programs are cautiously monotonic, Theory and Practice of Logic Programming, v.1 n.4, p.487-495, July 2001
	John Grant , Jack Minker, A logic-based approach to data integration, Theory and Practice of Logic Programming, v.2 n.3, p.323-368, May 2002
	P. A. Bonatti, Resolution for Skeptical Stable Model Semantics, Journal of Automated Reasoning, v.27 n.4, p.391-421, November 2001
	Thomas Eiter , Michael Fink , Giuliana Sabbatini , Hans Tompits, On properties of update sequences based on causal rejection, Theory and Practice of Logic Programming, v.2 n.6, p.711-767, November 2002
	Stefan Brass , Jürgen Dix , Burkhard Freitag , Ulrich Zukowski, Transformation-based bottom-up computation of the well-founded model, Theory and Practice of Logic Programming, v.1 n.5, p.497-538, September 2001
	Sergio Flesca , Sergio Greco, Declarative semantics for active rules, Theory and Practice of Logic Programming, v.1 n.1, p.43-69, January 2001
	Zbigniew Lonc , Mirosław Truszczyński, On the problem of computing the well-founded semantics, Theory and Practice of Logic Programming, v.1 n.5, p.591-609, September 2001
	Mirosław Truszczyński, Computing large and small stable models, Theory and Practice of Logic Programming, v.2 n.1, p.1-23, January 2002
	José Júlio Alferes , Luís Moniz Pereira , Teodor C. Przymusinski, ‘Classical’ Negation in Nonmonotonic Reasoning and Logic Programming, Journal of Automated Reasoning, v.20 n.1-2, p.107-142, April 1998
	Stefan Brass , Jürgen Dix, Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA, Journal of Automated Reasoning, v.20 n.1-2, p.143-165, April 1998
	Grigoris Antoniou , Antonis Bikakis, DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web, IEEE Transactions on Knowledge and Data Engineering, v.19 n.2, p.233-245, February 2007
	Christos Nomikos , Panos Rondogiannis, Locally stratified Boolean grammars, Information and Computation, v.206 n.9-10, p.1219-1233, September, 2008
	H. A. Blair , V. W. Marek , J. B. Remmel, Set based logic programming, Annals of Mathematics and Artificial Intelligence, v.52 n.1, p.81-105, January 2008
	Thomas Eiter , Giovambattista Ianni , Thomas Lukasiewicz , Roman Schindlauer , Hans Tompits, Combining answer set programming with description logics for the Semantic Web, Artificial Intelligence, v.172 n.12-13, p.1495-1539, August, 2008
	Peter F. Patel-Schneider , Ian Horrocks, A comparison of two modelling paradigms in the Semantic Web, Web Semantics: Science, Services and Agents on the World Wide Web, v.5 n.4, p.240-250, December, 2007
	Sandra de Amo , Mônica Sakuray Pais, A paraconsistent logic programming approach for querying inconsistent databases, International Journal of Approximate Reasoning, v.46 n.2, p.366-386, October, 2007
	Grigoris Antoniou , Antonis Bikakis , Anna Karamolegou , Nikos Papachristodoulou , Manolis Stratakis, A context-aware meeting alert using semantic web and rule technology, International Journal of Metadata, Semantics and Ontologies, v.2 n.3, p.147-156, March 2007
	Filippo Furfaro , Sergio Greco , Cristian Molinaro, A three-valued semantics for querying and repairing inconsistent databases, Annals of Mathematics and Artificial Intelligence, v.51 n.2-4, p.167-193, December 2007
	Victor W. Marek , Jeffrey B. Remmel, Compactness Properties for Stable Semantics of Logic Programs, Fundamenta Informaticae, v.81 n.1-3, p.211-239, January 2007
	Navin Viswanath, Explicit and default negation in databases and logic programs, Proceedings of the 2nd SIGMOD PhD workshop on Innovative database research, June 13-13, 2008, Vancouver, Canada
	Jos de Bruijn , Stijn Heymans, On the Relationship between Description Logic-based and F-Logic-based Ontologies, Fundamenta Informaticae, v.82 n.3, p.213-236, August 2008
	Thomas Lukasiewicz, Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web, Fundamenta Informaticae, v.82 n.3, p.289-310, August 2008
	Juan carlos Nieves , Ulises CortÉs , Mauricio Osorio, Preferred extensions as stable models*, Theory and Practice of Logic Programming, v.8 n.4, p.527-543, July 2008
	Yi-Dong Shen, Reasoning with recursive loops under the PLP framework, ACM Transactions on Computational Logic (TOCL), v.9 n.4, p.1-31, August 2008
	Enrico Pontelli , Tran cao Son , Omar Elkhatib, Justifications for logic programs under answer set semantics, Theory and Practice of Logic Programming, v.9 n.1, p.1-56, January 2009
	C. A. Johnson, Computing Only Minimal Answers in Disjunctive Deductive Databases, Journal of Automated Reasoning, v.42 n.1, p.35-76, January 2009
	Taisuke Sato, A glimpse of symbolic-statistical modeling by PRISM, Journal of Intelligent Information Systems, v.31 n.2, p.161-176, October 2008
	Antonis Bikakis , Grigoris Antoniou, DR-Prolog: a system for reasoning with rules and ontologies on the semantic web, Proceedings of the 20th national conference on Artificial intelligence, p.1594-1595, July 09-13, 2005, Pittsburgh, Pennsylvania
	Matthias Klusch , Frank Kaufer, WSMO-MX: A hybrid Semantic Web service matchmaker, Web Intelligence and Agent Systems, v.7 n.1, p.23-42, January 2009
	Martin Caminada, Semi-Stable Semantics, Proceeding of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006, p.121-130, May 25, 2006
	Daniel Bryant , Paul Krause, A review of current defeasible reasoning implementations, The Knowledge Engineering Review, v.23 n.3, p.227-260, September 2008
	Fangzhen Lin , Xishun Zhao, On odd and even cycles in normal logic programs, Proceedings of the 19th national conference on Artifical intelligence, p.80-85, July 25-29, 2004, San Jose, California
	Senlin Liang , Paul Fodor , Hui Wan , Michael Kifer, OpenRuleBench: an analysis of the performance of rule engines, Proceedings of the 18th international conference on World wide web, April 20-24, 2009, Madrid, Spain
	Christos Nomikos , Panos Rondogiannis , William W. Wadge, Strong equivalence of logic programs under the infinite-valued semantics, Information Processing Letters, v.109 n.11, p.576-581, May, 2009
	Fabrizio Riguzzi, ALLPAD: approximate learning of logic programs with annotated disjunctions, Machine Learning, v.70 n.2-3, p.207-223, March 2008
	Claudia Zepeda , José Luis Carballido, P-stable models of strong kernel programs, Journal of Algorithms, v.64 n.1, p.41-50, January, 2009
	Martin Gebser , Joohyung Lee , Yuliya Lierler, Elementary sets for logic programs, Proceedings of the 21st national conference on Artificial intelligence, p.244-249, July 16-20, 2006, Boston, Massachusetts
	Vassilis Kountouriotis , Christos Nomikos , Panos Rondogiannis, Well-founded semantics for Boolean grammars, Information and Computation, v.207 n.9, p.945-967, September, 2009
	Martin Gebser , Benjamin Kaufmann , André Neumann , Torsten Schaub, Advanced Preprocessing for Answer Set Solving, Proceeding of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence, p.15-19, June 27, 2008
	Matthias Knorr , José Júlio Alferes , Pascal Hitzler, A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases, Proceeding of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence, p.99-103, June 27, 2008
	Thomas Eiter , Wolfgang Faber , Nicola Leone , Gerald Pfeifer , Axel Polleres, Answer set planning under action costs, Journal of Artificial Intelligence Research, v.19 n.1, p.25-71, July 2003
	Gerhard Brewka, Well-founded semantics for extended logic programs with dynamic preferences, Journal of Artificial Intelligence Research, v.4 n.1, p.19-36, Jnauary 1996
	Anastasia Analyti , Grigoris Antoniou , Carlos Viegas Damásio , Gerd Wagner, Extended RDF as a semantic foundation of rule markup languages, Journal of Artificial Intelligence Research, v.32 n.1, p.37-94, May 2008
	Gerhard Brewka , Floris Roelofsen , Luciano Serafini, Contextual default reasoning, Proceedings of the 20th international joint conference on Artifical intelligence, p.268-273, January 06-12, 2007, Hyderabad, India
	Xianchang Wang , Jia-Huai You , Li Yan Yuan, A default interpretation of defeasible network, Proceedings of the 15th international joint conference on Artifical intelligence, p.156-161, August 23-29, 1997, Nagoya, Japan
	Martin Gebser , Benjamin Kaufmann , André Neumann , Torsten Schaub, Conflict-driven answer set solving, Proceedings of the 20th international joint conference on Artifical intelligence, p.386-392, January 06-12, 2007, Hyderabad, India
	Murray Patterson , Yongmei Liu , Eugenia Ternovska , Arvind Gupta, Grounding for model expansion in k-guarded formulas with inductive definitions, Proceedings of the 20th international joint conference on Artifical intelligence, p.161-166, January 06-12, 2007, Hyderabad, India
	Luis Moniz Pereira , Joaquim N. Aparicio , Jose J. Alferes, Derivation procedures for extended stable models, Proceedings of the 12th international joint conference on Artificial intelligence, p.863-868, August 24-30, 1991, Sydney, New South Wales, Australia
	Antonis C. Kakas , Bert Van Nuffelen , Marc Denecker, A-system: problem solving through abduction, Proceedings of the 17th international joint conference on Artificial intelligence, p.591-596, August 04-10, 2001, Seattle, WA, USA
	Floris Roelofsen , Luciano Serafini, Minimal and absent information in contexts, Proceedings of the 19th international joint conference on Artificial intelligence, p.558-563, July 30-August 05, 2005, Edinburgh, Scotland
	Taisuke Sato , Yoshitaka Kameya , Neng-Fa Zhou, Generative modeling with failure in PRISM, Proceedings of the 19th international joint conference on Artificial intelligence, p.847-852, July 30-August 05, 2005, Edinburgh, Scotland
	Francesco Calimeri , Wolfgang Fabery , Nicola Leone , Simona Perri, Declarative and computational properties of logic programs with aggregates, Proceedings of the 19th international joint conference on Artificial intelligence, p.406-411, July 30-August 05, 2005, Edinburgh, Scotland
	Joohyung Lee, A model-theoretic counterpart of loop formulas, Proceedings of the 19th international joint conference on Artificial intelligence, p.503-508, July 30-August 05, 2005, Edinburgh, Scotland
	Joost Vennekens , Marc Denecker , Maurice Bruynooghe, Cp-logic: A language of causal probabilistic events and its relation to logic programming, Theory and Practice of Logic Programming, v.9 n.3, p.245-308, May 2009
	David Pearce , Hans Tompits , Stefan Woltran, Characterising equilibrium logic and nested logic programs: Reductions and complexity1,2, Theory and Practice of Logic Programming, v.9 n.5, p.565-616, September 2009

INDEX TERMS

Primary Classification:
I. Computing Methodologies
I.2 ARTIFICIAL INTELLIGENCE
I.2.3 Deduction and Theorem Proving
Subjects: Logic programming

General Terms:
Design, Theory

Keywords:
fixpoints, negation as failure, stable models, three-valued logic, unfounded sets, well-founded models

REVIEW

"Chris Nikolopoulos : Reviewer"

A general logic program is a Horn clause logic program with negations. Two approaches have been tried to extend logic programs with negation: the program completion approach (the closed world assumption and SLDNF resolution augmented with nega more...

Collaborative Colleagues:

Allen Van Gelder: colleagues

Kenneth A. Ross: colleagues

John S. Schlipf: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player