Declarative Logic Programming. Michael Kifer
Читать онлайн книгу.
Lausen and B. Ludäascher. 1995. Updates by reasoning about states. In Eder J., Kalinichenko L.A. (editors) East/West Database Workshop. Workshops in Computing. Springer, London. 41
S. Lee and J. Han. 1988. Semantic query optimization in recursive databases. In Proc. of the Fourth International Conference on Data Engineering, pp. 444–451. IEEE Computer Society. DOI: 10.1109/ICDE.1988.105490. 32
N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, S. Perri, and F. Scarcello. July 2006. The DLV system for knowledge representation and reasoning. ACM Trans. on Computational Logic, 7(3):499–562. DOI: 10.1145/1149114.1149117. 83
A. Y. Levy and Y. Sagiv. 1995. Semantic query optimization in datalog programs (extended abstract). In Proc. of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS ’95, pp. 163–173. ACM. DOI: 10.1145/212433.220207. 32
Y. A. Liu and S. D. Stoller. 2009. From Datalog rules to efficient programs with time and space guarantees. ACM Trans. Prog. Lang. Syst., 31(6):1–38. DOI: 10.1145/1552309.1552311. 49, 52, 535
Y. A. Liu and S. D. Stoller. Jan. 2018. Founded semantics and constraint semantics of logic rules. In International Symposium on Logical Foundations of Computer Science, vol. 10703 of Lecture Notes in Computer Science, pp. 221–241. Springer. DOI: 10.1007/978-3-319-72056-2_14. 22
J. W. Lloyd. 1993. Foundations of Logic Programming, 2nd. Springer-Verlag New York, Inc., Secaucus, NJ. 9, 11
J. W. Lloyd, L. Sonenberg, and R. W. Topor. 1987. Integrity constraint checking in stratified databases. Journal of Logic Programming, 4(4):331–343. DOI: 10.1016/0743-1066(87)90009-4. 30
B. T. Loo, T. Condie, J. M. Hellerstein, P. Maniatis, T. Roscoe, and I. Stoica. 2005. Implementing declarative overlays. In Proc. of the Twentieth ACM Symposium on Operating Systems Principles, SOSP ’05, pp. 75–90. ACM. DOI: 10.1145/1095809.1095818. 81
B. T. Loo, T. Condie, M. Garofalakis, D. E. Gay, J. M. Hellerstein, P. Maniatis, R. Ramakrishnan, T. Roscoe, and I. Stoica. 2006. Declarative networking: Language, execution and optimization. In Proc. of the 2006 ACM SIGMOD International Conference on Management of Data, SIGMOD ’06, pp. 97–108. ACM. DOI: 10.1145/1142473.1142485. 80, 81
B. T. Loo, T. Condie, M. Garofalakis, D. E. Gay, J. M. Hellerstein, P. Maniatis, R. Ramakrishnan, T. Roscoe, and I. Stoica. Nov. 2009. Declarative networking. Commun. ACM, 52(11):87–95. DOI: 10.1145/1592761.1592785. 80
D. Maier. Aug. 1986a. A logic for objects. In Workshop on Foundations of Deductive Databases and Logic Programming, pp. 6–26. Washington D.C. 33, 34
D. Maier. 1986b. Databases in the Fifth Generation project: Is Prolog a database language? In G. Ariav and J. Clifford, editors, New Directions for Database Systems, pp. 18–34. Ablex Publishing Corporation. 12
D. Maier and D. S. Warren. 1981. Incorporating computed relations in relational databases. In Proc. of the 1981 ACM SIGMOD International Conference on Management of Data, SIGMOD ’81, pp. 176–187. ACM. DOI: 10.1145/582318.582345. 23
D. Maier and D. S. Warren. 1988. Computing with Logic: Logic Programming with Prolog. Benjamin/Cummings. 15
D. Maier, A. O. Mendelzon, and Y. Sagiv. 1979. Testing implications of data dependencies. Trans. Database Syst., 4(4):455–469. DOI: 10.1145/320107.320115. 27
F. Maier, D. Nute, W. D. Potter, J. Wang, M. J. Twery, H. M. Rauscher, P. Knopp, S. Thomasma, M. Dass, and H. Uchiyama. 2002. PROLOG/RDBMS integration in the NED intelligent information system. In On the Move to Meaningful Internet Systems, 2002—DOA/CoopIS/ODBASE Proc. of the Confederated International Conferences DOA, CoopIS and ODBASE, p. 528. DOI: 10.1007/3-540-36124-3_35. 63
V. W. Marek and M. Truszczyński. 1999. Stable models and an alternative logic programming paradigm. In K. R. Apt, V. W. Marek, M. Truszczynski, and D. S. Warren, editors, The Logic Programming Paradigm: A 25-Year Perspective, pp. 375–398. Springer, Berlin, Heidelberg. DOI: 10.1007/978-3-642-60085-2_17. 22
D. Martinenghi, H. Christiansen, and H. Decker. 2006. Integrity checking and maintenance in relational and deductive databases and beyond. In Z. Ma, editor, Intelligent Databases: Technologies and Applications, pp. 238–285. Idea Group Publishing. DOI: 10.4018/978-1-59904-120-9.ch010. 30, 31
MathGen, 2000. Mathematics Genealogy Project. Available at: http://genealogy.math.ndsu.nodak.edu/. Last accessed 1 August 2016. 84
F. G. McCabe. 1992. Logic and Objects. Prentice Hall International, London, England. 33
J. M. McCarthy and P. J. Hayes. 1969. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence, vol. 4, pp. 463–502. Edinburgh University Press. Reprinted in Readings in Artificial Intelligence, 1981, Tioga Publishing Co. DOI: 10.1016/B978-0-934613-03-3.50033-7. 40
D. A. Miller and G. Nadathur. July 1986. Higher-order logic programming. In International Conference on Logic Programming, vol. 225 of Lecture Notes in Computer Science, pp. 448–462. Springer-Verlag. 38
J. Minker. 1977. An experimental relational data base system based on logic. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pp. 107-147, Plenum Press, New York. DOI: 10.1007/978-1-4684-3384-5_5. 13
J. Minker. Mar. 1994. Overview of disjunctive logic programming. Annals of Mathematics and Artificial Intelligence, 12(1): 1–24. DOI: 10.1007/BF01530759. 22
J. Minker and D. Seipel. 2002. Disjunctive logic programming: A survey and assessment. In Computational Logic: Logic Programming and Beyond, pp. 171–197. Springer. DOI: 10.1007/3-540-45628-7_18. 22
J. Minker, D. Seipel, and C. Zaniolo. 2014. Logic and databases: A history of deductive databases. In J. H. Siekmann, editor, Computational Logic, vol. 9 of Handbook of the History of Logic, pp. 571–627. Elsevier. DOI: 10.1016/B978-0-444-51624-4.50013-7. 13, 15
M. Minsky. 1975. A framework for representing knowledge. In P. Winston, editor, The Psychology of Computer Vision, pp. 211–277. McGraw-Hill, New York. 14, 35
S. Morishita. 1993. An alternating fixpoint tailored to magic programs. In Proc. of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS ’93, pp. 123–134. ACM. DOI: 10.1145/153850.153861. 69
K. A. Morris, J. D. Ullman, and A. Van Gelder. 1986. Design overview of the NAIL! system. In Proc. of the Third International Conference on Logic Programming, pp. 554–568. Springer-Verlag, London, UK. DOI: 10.1007/3-540-16492-8_104. 68
C. Moss. 1994. Prolog++: The Power of Object-Oriented and Logic Programming. Addison-Wesley. 33
B. Motik, I. Horrocks, R. Rosati, and U. Sattler. Nov. 2006. Can OWL and logic programming live together happily ever after? In International Semantic Web Conference (ISWC2006), pp. 501–514. DOI: 10.1007/11926078_36. 78
T. Moto-oka and H. S. Stone. Mar. 1984. Fifth-generation computer systems: A Japanese project. Computer, 17(3):6–13. DOI: 10.1109/MC.1984.1659076. 12, 48
P. Moura. July 2000. Logtalk documentation. Technical Report DMI-2000/1, University of Beira Interior, Portugal. Available at: http://logtalk.org/papers/trdmi20001us.pdf. 33
P. Moura, P. Crocker, and P. Nunes. Jan. 2008. High-level multi-threading programming in logtalk. In Practical Aspects of Declarative Languages (PADL), vol. 4902 of Lecture Notes in Computer Science. Springer. DOI: 10.1007/978-3-540-77442-6_18. 33
I. S. Mumick and H. Pirahesh. May 1994. Implementation of Magic-sets in a relational database system. SIGMOD Rec., 23(2):103–114. DOI: 10.1145/191839.191860. 73
S. Naqvi and R. Krishnamurthy. Mar. 1988. Database updates in logic programming. In ACM Symposium on Principles of Database Systems, pp. 251–262.