Backward chaining evaluation in stratified disjunctive theories

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Backward chaining evaluation in stratified disjunctive theories

Full text

Pdf (1.43 MB)

Source

Symposium on Principles of Database Systems archive
Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems table of contents

Nashville, Tennessee, United States

Pages: 183 - 195

Year of Publication: 1990

ISBN:0-89791-352-3

Author

Véronique Royer

ONERA-CERT Computer Science Dep., 2 av. E. Belin BP4025, 31055 Toulouse, France

Sponsors

SIGART: ACM Special Interest Group on Artificial Intelligence
SIGMOD: ACM Special Interest Group on Management of Data
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 18, Citation Count: 1

Additional Information:

references cited by index terms 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/298514.298562 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.

	ABW86	K.Apt, H.Blair, A.WalKer " Towards a theory of declarative knowledge " Proc. Workshop on Foundations of Deductive Data Bases, 1986
	BS85	Genevieve Bossu , Pierre Siegel, Saturation, nonmonotonic reasoning and the closed-world assumption, Artificial Intelligence, v.25 n.1, p.13-63, Jan. 1985 [doi>10.1016/0004-3702(85)90040-2]
	BM86	Francois Bancilhon , David Maier , Yehoshua Sagiv , Jeffrey D Ullman, Magic sets and other strange ways to implement logic programs (extended abstract), Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems, p.1-15, March 24-26, 1986, Cambridge, Massachusetts, United States [doi>10.1145/6012.15399]
	Bry88	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]
	CL73	Chin-Liang Chang , Richard C. Lee , Richard Char-Tung Lee, Symbolic Logic and Mechanical Theorem Proving, Academic Press, Inc., Orlando, FL, 1997
	Dem89	It. Demolombe "An efficient strategy for non-Horn deductive data base", Proc. IFIP 1989, San Francisco.
	GPP89	Michael Gelfond , H. Przymusinska , Teodor C. Przymusinski, On the relationship between circumscription and negation as failure, Artificial Intelligence, v.38 n.1, p.75-94, Feb. 1989 [doi>10.1016/0004-3702(89)90068-4]
	Ker88	Kerisit j.M. "La M~thode Alexandre" une M~thode de D~duction" Th~se Universit~ Paris 7, 1988
	KVE76	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]
	Lif85	Vladimir Lifschitz, Closed-world databases and circumscription, Artificial Intelligence, v.27 n.2, p.229-235, Nov. 1985 [doi>10.1016/0004-3702(85)90055-4]
	LKR86	J Rohmer , R Lescoeur , J M Kerisit, The Alexander method-a technique for the processing of recursive axioms in deductive databases, New Generation Computing, v.4 n.3, p.273-285, 1986 [doi>10.1007/BF03037407]
	MaC80	J. Mac Carthy "Circumscription: a form of Non-Monotonic Reasoning" Artificial Intelligence 13 1980
	Min82	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
	MR87	J.MinKer, A.Rajasekar "A fixpoint semantics for non-Horn logic programs Technical Report UMIACS-TR-87-24 University of Maryland, IACS 1987
	MR88	Jack Minker , Arcot Rajasekar, Procedural Interpretation of Non-Horn Logic Programs, Proceedings of the 9th International Conference on Automated Deduction, p.278-293, May 23-26, 1988
	Prz86	T.Przymusinski " On the declarative semantics of stratified deductive data bases " Proc. Foundations of Deductive Data Bases and Logic Programming, Washington 1986
	Roy89	V.Royer "Modeling preference choices in incomplete deductive data bases", Proc. IFIP 1989, San Francisco
	Roy90	V. Royer "Backward chaining evaluation in stratified disjunctive data bases" Technical Report Esprit Project ESTEAM 316, final deliverable, Jan. 1990.