Bibliography [Abiteboul and Kanellakis, 1989] Serge Abiteboul and Paris Kanellakis
Total Page:16
File Type:pdf, Size:1020Kb
507 Bibliography [Abiteboul and Kanellakis, 1989] Serge Abiteboul and Paris Kanellakis. Object identity as a query language primitive. In Proc. of the ACM SIGMOD Int. Conf. on Management of Data, pages 159–173, 1989. [Abiteboul et al., 1995] Serge Abiteboul, Richard Hull, and Victor Vianu. Foundations of Databases. Addison Wesley Publ. Co., Reading, Massachussetts, 1995. [Abiteboul et al., 1997] Serge Abiteboul, Dallan Quass, Jason McHugh, Jennifer Widom, and Janet L. Wiener. The Lorel query language for semistructured data. Int. J. on Digital Libraries, 1(1):68–88, 1997. [Abiteboul et al., 2000] Serge Abiteboul, Peter Buneman, and Dan Suciu. Data on the Web: from Relations to Semistructured Data and XML. Morgan Kaufmann, Los Altos, 2000. [Abiteboul, 1997] Serge Abiteboul. Querying semi-structured data. In Proc. of the 6th Int. Conf. on Database Theory (ICDT’97), pages 1–18, 1997. [Abrahams et al., 1996] Merryll K. Abrahams, Deborah L. McGuinness, Rich Thomason, Lori Alperin Resnick, Peter F. Patel-Schneider, Violetta Cavalli-Sforza, and Cristina Conati. NeoClassic tutorial: Version 1.0. Technical report, Artificial Intelligence Prin- ciples Research Department, AT&T Labs Research and University of Pittsburgh, 1996. Available as http://www.bell-labs.com/project/classic/papers/NeoTut/NeoTut. html. [Abrett and Burstein, 1987] Glen Abrett and Mark H. Burstein. The KREME knowledge editing environment. Int. J. of Man-Machine Studies, 27(2):103–126, 1987. [Abrial, 1974] J. R. Abrial. Data semantics. In J. W. Klimbie and K. L. Koffeman, editors, Data Base Management, pages 1–59. North-Holland Publ. Co., Amsterdam, 1974. [Achilles et al., 1991] E. Achilles, B. Hollunder, A. Laux, and J. P. Mohren. : Knowl- edge Representation and Inference System – User guide. Technical ReportKRIS D91-14, Deutsches Forschungszentrum f¨urK¨unstliche Intelligenz (DFKI), 1991. [Agoncillo et al., 1999] A. V. Agoncillo, M. J. L. V. Jr, and C. Rosse. Influence of the digital anatomist foundational model on traditional representations of anatomical concepts. J. of the American Medical Informatics Association, pages 2–6, 1999. Annual Symposium Issue. [A¨ıt-Kaciand Nasr, 1986] H. A¨ıt-Kaciand R. Nasr. LOGIN: A logic programming language with built-in inheritance. J. of Logic Programming, 3:185–215, 1986. [Albano et al., 1991] Antonio Albano, Giorgio Ghelli, and Renzo Orsini. A relationship mechanism for strongly typed Object-Oriented database programming languages. In Proc. of the 17th Int. Conf. on Very Large Data Bases (VLDB’91), pages 565–575, Barcelona (Spain), 1991. [Albano et al., 1993] Antonio Albano, Roberto Bergamini, Giorgio Ghelli, and Renzo Orsini. An object data model with roles. In Proc. of the 19th Int. Conf. on Very Large Data Bases (VLDB’93), pages 39–51, 1993. [Allen, 1983] James F. Allen. Maintaining knowledge about temporal intervals. Communi- cations of the ACM, 26(11):832–843, 1983. [Allen, 1991] James F. Allen. The RHET system. SIGART Bull., 2(3):1–7, 1991. [Allen, 1993] James F. Allen. Natural language, knowledge representation, and logical form. In M. Bates and R. Weischedel, editors, Challenges in Natural Language Processing. Cambridge University Press, 1993. [Allgayer et al., 1989] J. Allgayer, R. Jansen-Winkeln, C. Reddig, and N. Reithinger. Bidi- rectional use of knowledge in the multi-modal NL access system XTRA. In Proc. of the 508 10th Int. Joint Conf. on Artificial Intelligence (IJCAI’87), 1989. [Allgayer, 1990] J¨urgenAllgayer. SB-ONE+: Dealing with sets efficiently. In Proc. of the 9th Eur. Conf. on Artificial Intelligence (ECAI’90), pages 13–18, 1990. [Amarger et al., 1991] S. Amarger, D. Dubois, and H. Prade. Constraint propagation with imprecise conditional probabilities. In Proc. of the 7th Annual Conf. on Uncertainty in Artificial Intelligence (UAI’91), pages 26–34. Morgan Kaufmann, Los Altos, 1991. [Andr´eand Rist, 1995] Elisabeth Andr´eand Thomas Rist. Generating coherent presenta- tions employing textual and visual material. Artificial Intelligence Rev., 9(2/3):147–165, 1995. [Andr´e et al., 1996] E. Andr´e,J. M¨uller,and T. Rist. WIP/PPP: Automatic generation of personalized multimedia presentations. In Proc. of the 4th ACM Int. Multimedia Conference (Multimedia’96), pages 407–408, 1996. [Andr´eka et al., 1996] Hajnal Andr´eka, Johan van Benthem, and Istva´anN´emeti. Modal languages and bounded fragments of predicate logic. Technical Report ML-96-03, ILLC, University of Amsterdam, 1996. [Anwar et al., 1992] T. W. Anwar, H. Beck, and S. Navathe. Knowledge mining by imprecise querying: A classification-based approach. In Proc. of the 8th IEEE Int. Conf. on Data Engineering (ICDE’92), pages 622–630, 1992. [Areces and de Rijke, 1998] Carlos Areces and Marteen de Rijke. Expressiveness revisited. In Proc. of the 1998 Description Logic Workshop (DL’98). CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-11/, 1998. [Areces et al., 2000] Carlos Areces, Patrick Blackburn, and Maarten Marx. The computa- tional complexity of hybrid temporal logics. J. of the Interest Group in Pure and Applied Logic, 8(5), 2000. [Areces, 2000] Carlos Areces. Logic Engineering. The Case of Description and Hybrid Logics. PhD thesis, ILLC, University of Amsterdam, 2000. ILLC Dissertation Series 2000–5. [Arens et al., 1993] Y. Arens, C. Y. Chee, C. Hsu, and C. A. Knoblock. Retrieving and integrating data from multiple information sources. J. of Intelligent and Cooperative Information Systems, 2(2):127–158, 1993. [Arens et al., 1996] Y. Arens, C. A. Knoblock, and W. Shen. Query reformulation for dy- namic information integration. J. of Intelligent Information Systems, 6:99–130, 1996. [Artale and Franconi, 1994] Alessandro Artale and Enrico Franconi. A computational ac- count for a description logic of time and action. In J. Doyle, E. Sandewall, and P. Torasso, editors, Proc. of the 4th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR’94), pages 3–14, Bonn (Germany), 1994. Morgan Kaufmann, Los Altos. [Artale and Franconi, 1998] Alessandro Artale and Enrico Franconi. A temporal description logic for reasoning about actions and plans. J. of Artificial Intelligence Research, 9:463– 506, 1998. [Artale and Franconi, 1999] Alessandro Artale and Enrico Franconi. Temporal ER modeling with description logics. In Proc. of the 18th Int. Conf. on Conceptual Modeling (ER’99), volume 1728 of Lecture Notes in Computer Science, pages 81–95. Springer, 1999. [Artale and Franconi, 2000] Alessandro Artale and Enrico Franconi. A survey of temporal extensions of description logics. Ann. of Mathematics and Artificial Intelligence, 1–4:171– 210, 2000. [Artale and Franconi, 2001] Alessandro Artale and Enrico Franconi. Temporal description logics. In D. Gabbay, M. Fisher, and L. Vila, editors, Handbook of Time and Temporal Reasoning in Artificial Intelligence. The MIT Press, 2001. [Artale et al., 1996a] Alessandro Artale, Francesca Cesarini, and Giovanni Soda. Describing 509 database objects in a concept language environment. IEEE Trans. on Knowledge and Data Engineering, 8(2):345–351, 1996. [Artale et al., 1996b] Alessandro Artale, Enrico Franconi, Nicola Guarino, and Luca Pazzi. Part-whole relations in object-centered systems: An overview. Data and Knowledge Engineering, 20:347–383, 1996. [Artale et al., 2001] Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, and Michael Zakharyaschev. The (US) temporal description logic. In Proc. of the 2001 Description Logic WorkshopDLR (DL 2001). CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-49/, 2001. [Baader and Hanschke, 1991a] Franz Baader and Philipp Hanschke. A schema for integrat- ing concrete domains into concept languages. In Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI’91), pages 452–457, 1991. [Baader and Hanschke, 1991b] Franz Baader and Philipp Hanschke. A scheme for integrat- ing concrete domains into concept languages. Technical Report RR-91-10, Deutsches Forschungszentrum f¨urK¨unstliche Intelligenz (DFKI), 1991. [Baader and Hanschke, 1992] Franz Baader and Philipp Hanschke. Extensions of concept languages for a mechanical engineering application. In Proc. of the 16th German Work- shop on Artificial Intelligence (GWAI’92), volume 671 of Lecture Notes in Computer Science, pages 132–143. Springer, 1992. [Baader and Hollunder, 1991a] Franz Baader and Bernhard Hollunder. : nowledge epresentation and nference ystem. SIGART Bull., 2(3):8–14, 1991.KRIS K R [Baader and Hollunder, 1991bI ] FranzS Baader and Bernhard Hollunder. A terminological knowledge representation system with complete inference algorithm. In Proc. of the Workshop on Processing Declarative Knowledge (PDK’91), volume 567 of Lecture Notes in Artificial Intelligence, pages 67–86. Springer, 1991. [Baader and Hollunder, 1992] Franz Baader and Bernhard Hollunder. Embedding defaults into terminological knowledge representation formalisms. In Proc. of the 3rd Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR’92), pages 306–317. Morgan Kaufmann, Los Altos, 1992. [Baader and Hollunder, 1993] Franz Baader and Bernhard Hollunder. How to prefer more specific defaults in terminological default logic. In Proc. of the 13th Int. Joint Conf. on Artificial Intelligence (IJCAI’93), pages 669–674. Morgan Kaufmann, Los Altos, 1993. [Baader and Hollunder, 1995a] Franz Baader and Bernhard Hollunder. Embedding defaults into terminological knowledge representation formalisms. J. of Automated Reasoning, 14:149–180, 1995. [Baader and Hollunder, 1995b] Franz Baader and Bernhard Hollunder.