Declarative Logic Programming - Michael Kifer ACM Books

Скачать книгу

semantics in DATALOG. ACM Trans. on Information Systems, 3(2):141–164. DOI: 10.1145/3914.3982. 16

      E. Hajiyev, M. Verbaere, and O. de Moor. 2006. CodeQuest: Scalable source code queries with Datalog. In Proc. of the 20th European Conference on Object-Oriented Programming, ECOOP’06, pp. 2–27. Springer-Verlag, Berlin, Heidelberg. DOI: 10.1007/11785477_2. 79

      D. Harel. 1979. First-Order Dynamic Logic, vol. 68 of Lecture Notes in Computer Science. Springer-Verlag. DOI: 10.1007/3-540-09237-4. 39

      D. Harel, D. Kozen, and R. Parikh. Oct. 1982. Process Logic: Expressiveness, decidability, completeness. Journal of Computer and System Sciences, 25(2):144–170. DOI: 10.1016/0022-0000(82)90003-4. 39

      P. J. Hayes. 1977. In defence of logic. In Proc. of the 5th International Joint Conference on Artificial Intelligence, Vol. 1, IJCAI’77, pp. 559–565. Morgan Kaufmann Publishers Inc., San Francisco, CA. 14

      P. J. Hayes. 1980. The logic of frames. In Frame Conceptions and Text Understanding, pp. 46–61. Walter de Gruyter, Berlin. DOI: 10.1016/B978-0-934613-03-3.50034-9. 14

      A. Heuer and P. Sander. 1989. Semantics and evaluation of rules over complex objects. In International Conference on Deductive and Object-Oriented Databases, pp. 439–458. DOI: 10.1016/B978-0-444-88433-6.50033-2. 33

      M. A. W. Houtsma and P. M. G. Apers. 1992. Algebraic optimization of recursive queries. Data & Knowledge Engineering, 7(4):299–325. DOI: 10.1016/0169-023X(92)90029-B. 63

      N. Immerman. 1982. Relational queries computable in polynomial time (extended abstract). In Proceedings of the Fourteenth Annual ACM Symposium on Theory of Computing, STOC ’82, pp. 147–152. ACM. DOI: 10.1145/800070.802187. 77

      Y. E. Ioannidis, J. Chen, M. A. Friedman, and M. M. Tsangaris. 1988. Bermuda—an architectural perspective on interfacing Prolog to a database machine. In Expert Database Conference, pp. 229–255. 63

      Z. G. Ives, T. J. Green, G. Karvounarakis, N. E. Taylor, V. Tannen, P. P. Talukdar, M. Jacob, and F. Pereira. Sept. 2008. The ORCHESTRA collaborative data sharing system. SIGMOD Rec., 37(3):26–32. DOI: 10.1145/1462571.1462577. 83

      D. S. Johnson and A. Klug. 1984. Testing containment of conjunctive queries under functional and inclusion dependencies. Journal of Computer and System Sciences, 28: 167–189. DOI: 10.1016/0022-0000(84)90081-3. 27, 28, 32

      N. D. Jones, C. K. Gomard, and P. Sestoft. 1993. Partial Evaluation and Automatic Program Generation. Prentice-Hall, Inc., Upper Saddle River, NJ. 51

      C. Kellogg, P. Klahr, and L. Travis. 1977. Deductive planning and pathfinding for relational data bases. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pp. 179-200, Plenum Press, New York. DOI: 10.1007/978-1-4684-3384-5_7. 13, 63

      D. B. Kemp and P. J. Stuckey. Oct. 1991. Semantics of logic programs with aggregates. In Proc. of International Symposium on Logic Programming, pp. 387–401. MIT Press. 24

      L. Kerschberg. 1990. Expert database systems: Knowledge/data management environments for intelligent information systems. Information Systems, 15(1):151–160. DOI: 10.1016/0306-4379(90)90021-G. 14

      G. Kiernan, C. de Maindreville, and E. Simon. 1990. Making deductive databases a practical technology: A step forward. In Proc. of the 1990 ACM SIGMOD International Conference on Management of Data, SIGMOD ’90, pp. 237–246. ACM. DOI: 10.1145/93605.98733. 73

      W. Kießling, H. Schmidt, W. Strauß, and G. Dünzinger. Apr. 1994. DECLARE and SDS: Early efforts to commercialize deductive database technology. The VLDB Journal, 3(2):211–243. 72

      M. Kifer, 2015. Knowledge representation & reasoning with Flora-2. The Flora-2 Web Site. Available at: http://flora.sourceforge.net. 34, 38, 46, 91

      M. Kifer and G. Lausen. 1989. F-Logic: A higher-order language for reasoning about objects, inheritance and schema. In ACM SIGMOD Conference on Management of Data, pp. 134–146. ACM. DOI: 10.1145/66926.66939. 33, 34

      M. Kifer and A. Li. Sept. 1988. On the semantics of rule based expert systems with uncertainty. In International Conference on Database Theory, vol. 326 of Lecture Notes in Computer Science, pp. 186–202. Springer-Verlag. DOI: 10.1007/3-540-50171-1_6. 14

      M. Kifer and E. L. Lozinskii. Feb. 1987. Implementing logic programs as a database system. In IEEE 3rd International Conference on Data Engineering, pp. 375–385. DOI: 10.1109/ICDE.1987.7272403. 51

      M. Kifer and E. L. Lozinskii. 1988. SYGRAF: Implementing logic programs in a database style. IEEE Trans. on Software Engineering, 14(7):922–935. DOI: 10.1109/32.42735. 51

      M. Kifer and E. L. Lozinskii. Sept. 1990. On compile-time query optimization in deductive databases by means of static filtering. ACM Trans. on Database Systems, 15(3):385–426. DOI: 10.1145/88636.87121. 51

      M. Kifer and J. Wu. Mar. 1989. A logic for object-oriented logic programming (Maier’s Ologic revisited). In ACM Symposium on Principles of Database Systems, pp. 379–393. ACM. DOI: 10.1145/73721.73758. 33, 34

      M. Kifer and J. Wu. Aug. 1993. A logic for programming with complex objects. Journal of Computer and System Sciences, 47(1):77–120. 34

      M. Kifer, G. Lausen, and J. Wu. July 1995. Logical foundations of object-oriented and framebased languages. Journal of ACM, 42: 741–843. DOI: 10.1145/210332.210335. 33, 34, 35

      R. A. Kowalski. June 1974. Predicate logic as programming language. In Proceedings of the IFIP Congress, vol. 74, pp. 569–544. 11

      R. A. Kowalski. Jan. 1988. The early years of logic programming. Commun. ACM, 31(1):38–43. DOI: 10.1145/35043.35046. 11

      R. A. Kowalski. 2014. Logic programming. In J. Siekmann, editor, Computational Logic, vol. 9 of History of Logic. D. Gabbay and J. Woods, editors, pp. 523–569. Elsevier. 12

      R. A. Kowalski and F. Sadri. 2012. A logic-based framework for reactive systems. In Rules on the Web: Research and Applications, RuleML 2012, vol. 7438 of Lecture Notes in Computer Science, pp. 1–15. Springer. DOI: 10.1007/978-3-642-32689-9_1. 43

      R. A. Kowalski and M. Sergot. 1986. A logic-based calculus of events. New Generation Computing, 4: 67–95. DOI: 10.1007/BF03037383. 41

      R. A. Kowalski, F. Sadri, and P. Soper. 1987. Integrity checking in deductive databases. In Proc. of the 13th International Conference on Very Large Data Bases, VLDB ’87, pp. 61–69. Morgan Kaufmann Publishers Inc., San Francisco, CA. 29, 31

      L. V. S. Lakshmanan and R. Missaoui. 1992. On semantic query optimization in deductive databases. In Proc. of the Eighth International Conference on Data Engineering, pp. 368–375. IEEE Computer Society. DOI: 10.1109/ICDE.1992.213173. 32

      L. V. S. Lakshmanan, I. N. Subramanian, and F. Sadri. 1996. A declarative language for querying and restructuring the Web. In Proc. of the 6th International Workshop on Research Issues in Data Engineering (RIDE ’96) Interoperability of Nontraditional Database Systems, RIDE ’96, pp. 12–21. IEEE Computer Society. DOI: 10.1109/RIDE.1996.492238. 36, 73

      M. S. Lam, J. Whaley, V. B. Livshits, M. C. Martin, D. Avots, M. Carbin, and C. Unkel. 2005. Context-sensitive program analysis as database queries. In Proc. of the Twenty-fourth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS ’05, pp. 1–12. ACM. DOI: 10.1145/1065167.1065169. 79, 80

      M. S. Lam, S. Guo, and J. Seo. 2013. SociaLite: Datalog extensions for efficient social network analysis. In Proc. of the 2013 IEEE International Conference on Data Engineering (ICDE 2013), ICDE ’13, pp. 278–289. IEEE Computer Society. DOI: 10.1109/ICDE.2013.6544832. 82

      O. Lassila and R. R. Swick. Feb. 1999. Resource description framework (RDF) model and syntax specification. Technical report, W3C. Available at: http://www.w3.org/TR/1999/REC-rdf-syntax-19990222/.

Скачать книгу