%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @string{info = {References for Knowledge Representation}} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @string{currentuser = {DIEGO}} @string{info01 = {Time-stamp: "2001-11-02 11:06:53 calvanes"}} @string{info02 = {Note sull'uso:}} @string{info03 = {- Prima di fare modifiche sostituire "NESSUNO" con il}} @string{info04 = { proprio nome e salvare}} @string{info05 = {- Finito l'editing sostituire il proprio nome con "NESSUNO"}} @string{info06 = { aggiornare il log e salvare}} @string{info07 = {- Se al momento di aprire il file si vede che e` gia` usato}} @string{info08 = { da qualcuno NON fare modifiche e NON SALVARE}} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @string{info10 = {For string definitions import as bibliography-file one of:}} @string{info11 = { - short-string.bib}} @string{info12 = { - medium-string.bib}} @string{info13 = { - long-string.bib}} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %aaaaaaaaaaaaaaaaaaaaaaaaa %aaaaaaaaaaaaaaaaaaaaaaaaa @TechReport{Aber96, author = "Johan {\AA}berg", title = "Creating a Description Logics Knowledge Base for World Wide Web Documents", institution = "Department of Computer and Information Science, Link{\"o}ping University, Sweden", number = "LiTH-IDA-Ex-9641", year = 1996 } @Article{Abit90, author = "Serge Abiteboul", title = "Towards a Deductive Object-Oriented Database Language", journal = DKE, volume = 5, pages = "263--287", year = 1990 } @InProceedings{Abit97, author = "Serge Abiteboul", title = "Querying Semi-Structured Data", booktitle = ICDT-97, year = 1997, pages = "1--18" } @InProceedings{Abit99, author = "Serge Abiteboul", title = "On views and {XML}", booktitle = PODS-99, pages = "1--9", year = 1999, } @Book{AbBS99, author = "Serge Abiteboul and Peter Buneman and Dan Suciu", title = "Data on the {W}eb: {F}rom Relations to Semistructured Data and {XML}", publisher = MK, year = 1999, } @Article{ACCMM97, author = "Serge Abiteboul and Sophie Cluet and Vassilis Christophides and Tova Milo and Guido Moerkotte, J{\'e}r{\^o}me Sim{\'e}on", title = "Querying Documents in Object Databases", journal = JODL, year = 1997, volume = 1, number = 1, pages = "5--19" } @InProceedings{AbCM97, author = "Serge Abiteboul and Sophie Cluet and Tova Milo", title = "Correspondence and Translation for Heterogeneous Data", booktitle = ICDT-97, pages = "351--363", year = 1997, } @Article{ACMM*99, author = "Serge Abiteboul and Sophie Cluet and Tova Milo and Pini Mogilevsky and J{\'e}r{\^o}me Sime{\'e}on and Sagit Zohar", title = "Tools for Data Translation and Integration", journal = IEEEBDE, volume = 22, number = 1, pages = "3--8", year = 1999, } @InProceedings{ACPS96, author = "S. Adali and K. S. Candan and Y. Papakonstantinou and V. S. Subrahmanian", title = "Query Caching and Optimization in Distributed Mediator Systems", booktitle = SIGMOD, year = 1996, pages = "137--148" } @InProceedings{AbBo91, author = "Serge Abiteboul and Anthony Bonner", title = "Objects and Views", booktitle = SIGMOD, year = "1991", pages = "238--247", address = "New York (NY, USA)", editor = "J. Clifford and R. King", } @InProceedings{AbCM93, author = "Serge Abiteboul and Sophie Cluet and Tova Milo", title = "Querying and Updating the File", pages = "73--84", booktitle = VLDB-93, year = 1993 } @InProceedings{AbDu98, author = "Serge Abiteboul and Oliver Duschka", title = "Complexity of Answering Queries Using Materialized Views", booktitle = PODS-98, year = 1998, pages = "254--265" } @Article{AbGr91, author = "Serge Abiteboul and St\'ephane Grumbach", title = "A Rule-Based Language with Functions and Sets", journal = TODS, year = 1991, volume = 16, number = 1, pages = "1--30" } @Article{AbHu87, author = "Serge Abiteboul and Richard Hull", title = "{IFO}: A Formal Semantic Database Model", journal = TODS, year = 1987, volume = 12, number = 4, pages = "297--314" } @Book{AbHV95, author = "Serge Abiteboul and Richard Hull and Victor Vianu", title = "Foundations of Databases", publisher = AW, year = "1995", } @InProceedings{AbKa89, author = "Serge Abiteboul and Paris Kanellakis", title = "Object Identity as a Query Language Primitive", booktitle = SIGMOD, year = "1989", pages = "159--173", } @TechReport{AKRW92, author = "S. Abiteboul and P. Kanellakis and S. Ramaswamy and E. Waller", title = "Method Schemas", institution = "Brown University", year = 1992, number = "CS-92-33", note = "An earlier version appeared in {\it Proc.\ of the 9th Symp.\ on Principles of Database Systems PODS-90}", } @Article{AQMWW97, author = "Serge Abiteboul and Dallan Quass and Jason McHugh and Jennifer Widom and Janet L. Wiener", title = "The {L}orel Query Language for Semistructured Data", journal = JODL, year = 1997, volume = 1, number = 1, pages = "68--88" } @InProceedings{AbVi91, author = "Serge Abiteboul and Victor Vianu", title = "Generic Computation and its Complexity", booktitle = STOC-91, year = 1991, pages = "209--219" } @InProceedings{AbVi97, author = "Serge Abiteboul and Victor Vianu", title = "Regular Path Queries with Constraints", booktitle = PODS-97, pages = "122--133", year = 1997 } @InCollection{Abri74, author = "J. R. Abrial", title = "Data Semantics", booktitle = "Data Base Management", editor = "J. W. Klimbie and K. L. Koffeman", publisher = NH, year = 1974, pages = "1--59", } @TechReport{Acze88, author = "Peter Aczel", title = "Non-Well-Founded Sets", institution = "CSLI/Stanford", number = "volume 14 of {\it CSLI Lecture Notes}", year = 1988 } @InProceedings{AfGK99, author = "Foto N. Afrati and Manolis Gergatsoulis and Theodoros Kavalieros", title = "Answering Queries Using Materialized Views with Disjunction", booktitle = ICDT-99, pages = "435--452", year = 1999, volume = 1540, series = LNCS, publisher = SV } @InProceedings{AKWS95, author = "Shailesh Agarwal and Arthur M. Keller and Gio Wiederhold and Krishna Saraswat", title = "Flexible Relation: {A}n Approach for Integrating Data from Multiple, Possibly Inconsistent Databases", booktitle = ICDE-95, year = 1995, pages = "495--504" } @Article{AhSU79, author = "A. V. Aho and Y. Sagiv and J. D. Ullman", title = "Efficient Optimization of a Class of Relational Expressions", journal = TODS, year = 1979, volume = 4, pages = "297--314" } @Article{AhSU79b, author = "A. V. Aho and Y. Sagiv and J. D. Ullman", title = "Equivalence among Relational Expressions", journal = SIAM-JOC, year = 1979, volume = 8, pages = "218--246" } @Article{AiLN89, author = "Luigia Aiello and Maurizio Lenzerini and Daniele Nardi", title = "La Rappresentazione della Conoscenza in Intelligenza Artificiale", journal = RI, year = 1989, pages = "93--110", volume = "XIX", number = 2 } @Article{AiNa86, author = "H. A{\"{\i}}t-Kaci and R. Nasr", title = "{LOGIN}: {A} Logic Programming Language with Built-in Inheritance", journal = JLP, pages = "185--215", year = 1986, volume = 3 } @InProceedings{AlGO91, author = "A. Albano and G. Ghelli and R. Orsini", title = "A Relationship Mechanism for Strongly Typed {O}bject-{O}riented Database Programming Languages", booktitle = VLDB-91, address = "Barcelona (Spain)", year = 1991, pages = "565--575" } @InProceedings{Albe96, author = "Joseph Albert", title = "Data Integration in the {RODIN} Multidatabase System", booktitle = CoopIS-96, year = 1996, pages = "48--57" } @Article{Alle83, author = "James F. Allen", title = "Maintaining Knowledge about Temporal Intervals", journal = CACM, volume = "26", number = "11", pages = "832--843", year = "1983", } @InCollection{Alle93b, author = "James F. Allen", title = "Natural Language, Knowledge Representation, and Logical Form", booktitle = "Challenges in Natural Language Processing", editor = "M. Bates and R. Weischedel", publisher = CUP, year = 1993, } @InProceedings{AJRR89, author = "J. Allgayer and R. Jansen-Winkeln and C. Reddig and N. Reithinger", title = "Bidirectional Use of Knowledge in the Multi-Modal {NL} Access System {XTRA}", year = 1989, booktitle = IJCAI-87, } @InProceedings{AmDP91, author = "S. Amarger and D. Dubois and H. Prade", title = "Constraint Propagation with Imprecise Conditional Probabilities", booktitle = "Proc.\ of the 7th Annual Conf.\ on Uncertainty in Artificial Intelligence (UAI'91)", pages = "26--34", publisher = MK, year = 1991, } @InProceedings{AnMR96, author = "E. Andr{\'e} and J. M{\"u}ller and T. Rist", title = "{WIP/PPP}: {A}utomatic Generation of Personalized Multimedia Presentations", booktitle = "Proc. of the 4th ACM Int.\ Multimedia Conference (Multimedia'96)", year = 1996, pages = "407-408", } @Article{AnRi95, author = "Elisabeth Andr{\'e} and Thomas Rist", title = "Generating Coherent Presentations Employing Textual and Visual Material", year = 1995, journal = AIR, volume = 9, number = "2/3", pages = "147-165", } @TechReport{AnBN96, author = "Hajnal Andr{\'e}ka and Johan van Benthem and Istva{\'a}n N{\'e}meti", title = "Modal Languages and Bounded Fragments of Predicate Logic", institution = "ILLC, University of Amsterdam", year = 1996, number = "ML-96-03", } @InProceedings{AnBN92, author = "T. W. Anwar and H. Beck and S. Navathe", title = "Knowledge Mining by Imprecise Querying: {A} Classification-Based Approach", booktitle = ICDE-92, year = 1992, pages = "622--630", } @PhdThesis{Arec00, author = "Carlos Areces", title = "Logic Engineering. {T}he Case of Description and Hybrid Logics", school = "Institute for Logic, Language and Computation", year = 2000, address = "University of Amsterdam", note = "ILLC Dissertation Series 2000--5", } @InProceedings{ArBM99, author = "Carlos Areces and Patrick Blackburn and Maarten Marx", title = "A Road-map on Complexity for Hybrid Logics", booktitle = CSL-99, year = 1999, pages = "307--321", series = LNCS, volume = 1683, publisher = SV, } @Article{ArBM00, author = "Carlos Areces and Patrick Blackburn and Maarten Marx", title = "The Computational Complexity of Hybrid Temporal Logics", journal = IGPL, year = 2000, volume = 8, number = 5, } @InProceedings{ArDe98, author = "Carlos Areces and Marteen {de Rijke}", title = "Expressiveness Revisited", booktitle = DL-98, year = 1998, publisher = "CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-11/", } @Article{ACHK93, author = "Y. Arens and C. Y. Chee and C. Hsu and C. A. Knoblock", title = "Retrieving and Integrating Data from Multiple Information Sources", journal = JICIS, year = 1993, volume = 2, number = 2, pages = "127--158" } @Article{ArKS96, author = "Y. Arens and C. A. Knoblock and W. Shen", title = "Query Reformulation for Dynamic Information Integration", journal = JIIS, year = 1996, volume = 6, pages = "99--130" } @Article{ArCS96, author = "Alessandro Artale and Francesca Cesarini and Giovanni Soda", title = "Describing Database Objects in a Concept Language Environment", journal = TKDE, year = 1996, volume = 8, number = 2, pages = "345--351" } @InProceedings{ArFr94, author = "Alessandro Artale and Enrico Franconi", title = "A Computational Account for a Description Logic of Time and Action", booktitle = KR-94, pages = "3--14", address = "Bonn (Germany)", editor = "J. Doyle and E. Sandewall and P. Torasso", publisher = MK, year = 1994 } @Article{ArFr98, author = "Alessandro Artale and Enrico Franconi", title = "A Temporal Description Logic for Reasoning about Actions and Plans", journal = JAIR, volume = 9, pages = "463--506", year = 1998, } @InCollection{ArFr01, author = "Alessandro Artale and Enrico Franconi", title = "Temporal Description Logics", booktitle = "Handbook of Time and Temporal Reasoning in Artificial Intelligence", publisher = MIT, year = 2001, editor = "D. Gabbay and M. Fisher and L. Vila", } @InProceedings{AFMW01, author = "Alessandro Artale and Enrico Franconi and Milenko Mosurovic and Frank Wolter and Michael Zakharyaschev", title = "The {$\mathcal{DLR}$(US)} Temporal Description Logic", booktitle = DL-01, year = 2001, } @InProceedings{ArFG96, author = "Alessandro Artale and Enrico Franconi and Nicola Guarino", title = "Open Problems with Part-Whole Relations", booktitle = DL-96, series = "AAAI Technical Report", number = "WS-96-05", publisher = AAAIP, year = 1996, pages = "70--73" } @Article{AFGP96, author = "Alessandro Artale and Enrico Franconi and Nicola Guarino and Luca Pazzi", title = "Part-Whole Relations in Object-Centered Systems: {A}n Overview", journal = DKE, year = 1996, volume = 20, pages = "347--383" } @InProceedings{AtSi81, author = "Giuseppe Attardi and Maria Simi", title = "Consistency and Completeness of {\sc omega}, a Logic for Knowledge Representation", booktitle = IJCAI-81, year = 1981, pages = "504--510", } @Book{AtDe93, author = "Paolo Atzeni and Valeria De Antonellis", title = "Relational Database Theory", publisher = BC, year = 1993, } @InProceedings{AtPa86, author = "P. Atzeni and D. S. {Parker Jr.}", title = "Formal Properties of Net-Based Knowledge Representation Schemes", booktitle = DE-86, address = "Los Angeles (USA)", year = 1986, pages = "700--706", } %bbbbbbbbbbbbbbbbbbbbbbbbb %bbbbbbbbbbbbbbbbbbbbbbbbb @TechReport{Baad90, author = "Franz Baader", title = "Terminological Cycles in {KL-ONE}-based Knowledge Representation Languages", institution = DFKI, address = "Kaiserslautern (Germany)", number = "RR-90-01", year = 1990, note = "An abridged version appeared in \begingroup\em " # AAAI-90 # "\endgroup, pp.~621--626", } @TechReport{Baad90b, author = "Franz Baader", title = "Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles", institution = DFKI, address = "Kaiserslautern (Germany)", number = "RR-90-13", year = 1990, note = "An abridged version appeared in \begingroup\em " # IJCAI-91 # "\endgroup, pp.~446--451", } @InProceedings{Baad90c, author = "Franz Baader", title = "Terminological Cycles in {KL-ONE}-based Knowledge Representation Languages", booktitle = AAAI-90, year = 1990, address = "Boston (Ma, USA)", pages = "621--626" } @InProceedings{Baad91, author = "Franz Baader", title = "Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles", booktitle = IJCAI-91, year = 1991 } @Article{Baad96, author = "Franz Baader", title = "A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages", journal = JLC, year = 1996, volume = 6, pages = "33-54" } @Article{Baad96b, author = "Franz Baader", title = "Using Automata Theory for Characterizing the Semantics of Terminological Cycles", journal = AMAI, year = 1996, volume = 18, pages = "175--219" } @Article{BaBH96, author = "Franz Baader and Martin Buchheit and Bernhard Hollunder", title = "Cardinality Restrictions on Concepts", journal = AIJ, volume = 88, number = "1--2", pages = "195--213", year = 1996, } @TechReport{BBJN95, author = "Franz Baader and Martin Buchheit and Manfred A. Jeusfeld and Werner Nutt (Eds.)", title = "{KRDB-95}: {R}easoning about Structured Objects: {K}nowledge Representation meets Databases", institution = DFKI, year = 1995, type = "{D}ocument", number = "D-95-12", series = "DFKI-Research-Report", address = "Saarbr{\"u}cken (Germany)" } @TechReport{BBHH91, author = "Franz Baader and Hans-J{\"u}rgen B{\"u}rkert and Jochen Heinsohn and Bernhard Hollunder and J{\"u}rgen M{\"u}ller and Bernard Nebel and Werner Nutt and Hans-J{\"u}rgen Profitlich", title = "Terminological Knowledge Representation: {A} Proposal for a Terminological Logic", year = 1991, institution = DFKI, address = "Kaiserslautern (Germany)", number = "TM-90-04", } @InProceedings{BBHN90, author = "Franz Baader and Hans-J{\"u}rgen B{\"u}rckert and Bernhard Hollunder and Werner Nutt and J{\"o}rg H. Siekmann", title = "Concept Logics", booktitle = "Computational Logics, Symposium Proceedings", year = 1990, pages = "177--201", editor = "John W. Lloyd", publisher = SV, } @Article{BBNNS93, author = "Franz Baader and Hans-J{\"u}rgen B{\"u}rckert and Bernhard Nebel and Werner Nutt and Gert Smolka", title = "On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations", journal = JLLI, volume = 2, pages = "1--18", year = 1993, } @InProceedings{BFHN*92, author = "Franz Baader and Enrico Franconi and Bernhard Hollunder and Bernhard Nebel and Hans-J{\"u}rgen Profitlich", title = "An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or: Making {KRIS} Get a Move on", booktitle = KR-92, pages = "270--281", year = 1992, } @Article{BFHN*94, author = "Franz Baader and Enrico Franconi and Bernhard Hollunder and Bernhard Nebel and Hans-J{\"u}rgen Profitlich", title = "An Empirical Analysis of Optimization Techniques for Terminological Representation Systems or: Making {KRIS} get a move on", journal = "Applied Artificial Intelligence. Special Issue on Knowledge Base Management", year = 1994, volume = 4, pages = "109--132", } @InProceedings{BaHa91, author = "Franz Baader and Philipp Hanschke", title = "A Schema for Integrating Concrete Domains into Concept Languages", booktitle = IJCAI-91, year = 1991, pages = "452--457", } @TechReport{BaHa91b, author = "Franz Baader and Philipp Hanschke", title = "A Scheme for Integrating Concrete Domains into Concept Languages", institution = DFKI, number = "RR-91-10", year = 1991, } @InProceedings{BaHa92, author = "Franz Baader and Philipp Hanschke", title = "Extensions of Concept Languages for a Mechanical Engineering Application", booktitle = KI-92, year = 1992, publisher = SV, pages = "132--143", address = "Bonn (Germany)", series = LNCS, volume = 671, } @InProceedings{BaHo91, author = "Franz Baader and Bernhard Hollunder", title = "A Terminological Knowledge Representation System with Complete Inference Algorithm", booktitle = "Proc.\ of the Workshop on Processing Declarative Knowledge (PDK'91)", series = LNAI, publisher = SV, year = 1991, volume = 567, pages = "67--86", } @Article{BaHo91b, author = "Franz Baader and Bernhard Hollunder", title = "{$\mathcal{KRIS}$}: {$\mathcal{K}$}nowledge {$\mathcal{R}$}epresentation and {$\mathcal{I}$}nference {$\mathcal{S}$}ystem", journal = SIGART, year = 1991, volume = 2, number = 3, pages = "8--14", } @InProceedings{BaHo92, author = "Franz Baader and Bernhard Hollunder", title = "Embedding Defaults into Terminological Knowledge Representation Formalisms", booktitle = KR-92, publisher = MK, year = 1992, pages = "306--317", } @InProceedings{BaHo93, author = "Franz Baader and Bernhard Hollunder", title = "How to Prefer More Specific Defaults in Terminological Default Logic", booktitle = IJCAI-93, year = 1993, publisher = MK, pages = "669--674", } @TechReport{BaHo93b, author = "Franz Baader and Bernhard Hollunder", title = "Cardinality Restrictions on Concepts", institution = DFKI, year = 1993, number = "RR-03-48" } @Article{BaHo95, author = "Franz Baader and Bernhard Hollunder", title = "Embedding Defaults into Terminological Knowledge Representation Formalisms", journal = JAR, year = 1995, volume = 14, pages = "149--180" } @Article{BaHo95b, author = "Franz Baader and Bernhard Hollunder", title = "Priorities on Defaults with Prerequisites and Their Application in Treating Specificity in Terminological Default Logic", journal = JAR, year = 1995, volume = 14, pages = "41--68" } @InProceedings{BHNPF92, author = "Franz Baader and Bernhard Hollunder and Bernhard Nebel and Hans-J{\"u}rgen Profitlich and Enrico Franconi", title = "An Empirical Analysis of Optimization Techniques for Terminological Representation Systems", booktitle = KR-92, publisher = MK, year = 1992, pages = "270--281", } @InProceedings{BaKu98, author = "Franz Baader and Ralf K{\"u}sters", title = "Computing the Least Common Subsumer and the Most Specific Concept in the Presence of Cyclic {$\mathcal{ALN}$}-Concept Descriptions", booktitle = KI-98, publisher = SV, series = LNCS, volume = 1504, year = 1998, pages = "129--140", } @InProceedings{BaKu99, author = "Franz Baader and Ralf K{\"u}sters", title = "Matching in Description Logics with Existential Restrictions", booktitle = DL-99, year = 1999, publisher = "CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-22/", } @TechReport{BaKu99b, author = "Franz Baader and Ralf K{\"u}sters", title = "Matching in Description Logics with Existential Restrictions --- {R}evisited", institution = "LuFg Theoretical Computer Science, RWTH Aachen", year = 1999, number = "LTCS-Report 99-13", address = "Germany", } @InProceedings{BaKu00, author = "Franz Baader and Ralf K{\"u}sters", title = "Matching in Description Logics with Existential Restrictions", booktitle = KR-00, pages = "261--272", year = 2000, } @Article{BKBM99, author = "Franz Baader and Ralf K{\"u}sters and Alex Borgida and Deborah L. McGuinness", title = "Matching in Description Logics", journal = JLC, year = 1999, volume = 9, number = 3, pages = "411--447" } @InProceedings{BaKM98, author = "Franz Baader and Ralf K{\"u}sters and Ralf Molitor", title = "Structural Subsumption Considered from an Automata Theoretic Point of View", booktitle = DL-98, year = 1998, publisher = "CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-11/", } @InProceedings{BaKM99, author = "Franz Baader and Ralf K{\"u}sters and Ralf Molitor", title = "Computing Least Common Subsumers in Description Logics with Existential Restrictions", booktitle = IJCAI-99, pages = "96--101", year = 1999, } @InProceedings{BaKM00, author = "Franz Baader and Ralf K{\"u}sters and Ralf Molitor", title = "Rewriting Concepts Using Terminologies", booktitle = KR-00, pages = "297--308", year = 2000, } @InProceedings{BaLa95, author = "Franz Baader and Armin Laux", title = "Terminological Logics with Modal Operators", pages = "808--814", booktitle = IJCAI-95, year = 1995, address = "Montreal, Canada", publisher = MK, } @InProceedings{BaMo99, author = "Franz Baader and Ralf Molitor", title = "Rewriting in Description Logics Using Terminologies", booktitle = DL-99, year = 1999, publisher = "CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-22/", } @TechReport{BaMT98, author = "Franz Baader and Ralf Molitor and Stephan Tobies", title = "On the Relation between Descripion Logics and Conceptual Graphs", institution = "LuFG Theoretical Computer Science, RWTH Aachen, Germany", type = "LTCS-Report", number = "98-11", year = 1998, } @InProceedings{BaMT99, author = "Franz Baader and Ralf Molitor and Stephan Tobies", title = "Decidable and Tractable Fragments of Conceptual Graphs", booktitle = ICCS-99, pages = "480--493", year = 1999, editor = "William Tepfenhart and Walling Cyre", series = LNAI, volume = 1640, publisher = SV } @InProceedings{BaNa97, author = "Franz Baader and Paliath Narendran", title = "Unification of Concept Terms in Description Logics", booktitle = DL-97, year = 1997, pages = "34--38" } @InProceedings{BaNa98, author = "Franz Baader and Paliath Narendran", title = "Unification of Concept Terms in Description Logics", booktitle = ECAI-98, editor = "H. Prade", year = 1998, pages = "331--335", publisher = JWS, } @InProceedings{BaNu92, author = "Franz Baader and Werner Nutt", title = "Are Complete and Expressive Terminological Systems Feasible? {P}osition Paper", booktitle = "Working Notes of the AAAI Fall Symposium on ``Issues on Description Logics: Users meet Developers''", year = 1992, pages = "1--5", } @InProceedings{BaOh93, author = "Franz Baader and Hans-J{\"u}rgen Ohlbach", title = "A Multi-Dimensional Terminological Knowledge Representation Language", booktitle = IJCAI-93, year = 1993, pages = "690--695", } @Article{BaOh95, author = "Franz Baader and Hans-J{\"u}rgen Ohlbach", title = "A Multi-Dimensional Terminological Knowledge Representation Language", journal = JANCL, volume = 5, year = 1995, pages = "153--197", } @InProceedings{BaSa96, author = "Franz Baader and Ulrike Sattler", title = "Number Restrictions on Complex Roles in Description Logics: {A} Preliminary Report", booktitle = KR-96, year = 1996, pages = "328--338" } @InProceedings{BaSa96b, author = "Franz Baader and Ulrike Sattler", title = "Description Logics with Symbolic Number Restrictions", booktitle = ECAI-96, year = 1996, pages = "283--287", publisher = JWS, } @Article{BaSa99, author = "Franz Baader and Ulrike Sattler", title = "Expressive Number Restrictions in Description Logics", journal = JLC, year = 1999, volume = 9, number = 3, pages = "319--350" } @InProceedings{BaSa00, author = "Franz Baader and Ulrike Sattler", title = "Tableau Algorithms for Description Logics", booktitle = TABLEAUX-00, series = LNAI, volume = 1847, editor = "R. Dyckhoff", year = 2000, pages = "1--18", publisher = SV, } @InProceedings{BLSW00, author = "Franz Baader and Carsten Lutz and Holger Sturm and Frank Wolter", title = "Fusions of Description Logics", booktitle = DL-00, year = 2000, pages = "21--30", publisher = "CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-33/", } @Article{BaKa98, author = "Fahiem Bacchus and Froduald Kabanza", title = "Planning for Temporally Extended Goals", journal = AMAI, year = 1998, volume = 22, pages = "5--27" } @Article{BaKa00, author = "Fahiem Bacchus and Froduald Kabanza", title = "Using Temporal Logics to Express Search Control Knowledge for Planning", journal = AIJ, year = 2000, volume = 116, number = "1--2", pages = "123--191", } @InProceedings{BaHe98, author = "P. Balsiger and A. Heuerding", title = "Comparison of Theorem Provers for Modal Logics --- Introduction and Summary", booktitle = TABLEAUX-98, editor = "H. de Swart", volume = 1397, series = LNAI, year = 1998, publisher = SV, pages = "25--26", } @Article{BJSS96, author = "P. Balsiger and G. J{\"a}ger and S. Schwendimann and M. Seyfried", title = "A Logics Workbench", journal = AIC, year = 1996, volume = 9, number = 2, pages = "53--58", } @PhdThesis{Bake95, author = "A. B. Baker", title = "Intelligent Backtracking on Constraint Satisfaction Problems: {E}xperimental and Theoretical Results", school = "University of Oregon", year = 1995, } @Book{Bakk80, author = "Jaco de Bakker", title = "Mathematical Theory of Program Correctness", publisher = PH, year = 1980, } @Book{BaDK92, author = "Fran\c{c}ois Bancilhon and Claude Delobel and Paris Kanellakis", title = "Building an {O}bject-{O}riented Database System --- The story of {O}$_2$", publisher = MK, year = 1992, } @Article{BaKh89, author = "Fran\c{c}ois Bancilhon and Setrag Khoshafian", title = "A Calculus for Complex Objects", journal = JCSS, volume = 38, number = 2, pages = "326--340", year = 1989 } @Article{BaGP97, author = "Chitta Baral and Michael Gelfond and Alessandro Provetti", title = "Representing Actions: {L}aws, Observations and Hypotheses", journal = JLP, year = 1997, volume = 31, number = "1--3", pages = "201--243", } @InProceedings{BaIm94, author = "Daniel Barbar{\'a} and Tomasz Imieli{\'n}ski", title = "Sleepers and Workaholics: {C}aching Strategies in Mobile Environments", booktitle = SIGMOD, year = 1994, pages = "1--12" } @InProceedings{BFGH91, author = "Howard Barringer and Michael Fisher and Dov M. Gabbay and Anthony Hunter", title = "Meta-Reasoning in Executable Temporal Logic", booktitle = KR-91, pages = "40--49", year = 1991, } @Article{BFGGO95, author = "Howard Barringer and Michael Fisher and Dov M. Gabbay and Graham Gough and Richard Owens", title = "{MetateM}: {A}n Introduction", journal = "Formal Aspects of Computing", year = 1995, volume = 7, number = 5, pages = "533--549", } @InProceedings{BaKP86, author = "H. Barringer and R. Kuiper and A. Pnueli", title = "A Really Abstract Concurrent Model and its Temporal Logic ", booktitle = POPL-86, year = 1986, } @InProceedings{Bate90, author = "John A. Bateman", title = "Upper Modeling: {O}rganizing Knowledge for Natural Language Processing", booktitle = "Proc.\ of the 5th Int.\ Workshop on Natural Language Generation", year = 1990, address = "Dawson, PA", pages = "54--61", } @InProceedings{BaMF95, author = "John A. Bateman and Bernardo Magnini and Giovanni Fabris", title = "The Generalized Upper Model Knowledge Base: {O}rganization and Use", booktitle = "Proc.\ of the 2nd Int.\ Conf.\ on Bulding and Sharing of Very Large-Scale Knowledge Bases", address = "Twente (The Netherlands)", year = 1995, month = apr, } @InProceedings{BaMR94, author = "John A. Bateman and Bernardo Magnini and Fabio Rinaldi", title = "The Generalized {I}talian, {G}erman, {E}nglish Upper Model", booktitle = "Proc.\ of the {ECAI'94} Workshop on ``Comparison of Implemented Ontologies''", year = 1994, } @Book{BaCN92, author = "Carlo Batini and Stefano Ceri and Shamkant B. Navathe", title = "Conceptual Database Design, an {E}ntity-{R}elationship Approach", publisher = BC, year = 1992, } @Article{BaLN86, author = "Carlo Batini and Maurizio Lenzerini and Shamkant B. Navathe", title = "A comparative Analysis of Methodologies for Database Schema Integration", journal = CS, year = 1986, volume = 18, number = 4, pages = "323--364" } @InProceedings{BaSc97, author = "Bayardo, Roberto and Schrag, Robert", title = "Using {CSP} Look-Back Techniques to Solve Real-World {SAT} Instances", booktitle = AAAI-97, pages = "203--208", year = 1997, publisher = AAAIP, } @InProceedings{BeNi93, author = "Dani{\`e}le Beauqier and Damian Niwi{\'n}ski", title = "Automata on Infinite Trees with Counting Constraints", editor = "M.-C. Gaudel and J.-P. Jouannaud", volume = 668, series = LNCS, pages = "266--281", booktitle = TAPSOFT-93, year = 1993, publisher = SV } @InProceedings{BHPT99, author = "Sean Bechhofer and Ian Horrocks and Patel-Schneider, Peter F. and Sergio Tessaris", title = "A Proposal for a Description Logic Interface", booktitle = DL-99, year = 1999, pages = "33--36", publisher = "CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-22/", } @InProceedings{BeGN89, author = "Howard W. Beck and Sunit K. Gala and Shamkant B. Navathe", title = "Classification as a Query Processing Technique in the {CANDIDE} Semantic Data Model", booktitle = ICDE-89, pages = "572--581", year = 1989, } @InProceedings{BeLa94, author = "Andreas Becker and Gerhard Lakemeyer", title = "Epistemic Queries in {CLASSIC}", booktitle = KI-94, year = 1994, series = LNCS, volume = 861, pages = "190--201", publisher = SV, } @InProceedings{Beer88, author = "Catriel Beeri", title = "Data Models and Languages for Databases", booktitle = ICDT-88, publisher = SV, year = 1988, pages = "19--37", } @Article{Beer90, author = "Catriel Beeri", title = "A Formal Approach to Object-Oriented Databases", journal = DKE, year = 1990, pages = "353--382", volume = 5 } @InProceedings{Beer92, author = "Catriel Beeri", title = "New Data Models and Languages --- the Challenge", pages = "1--15", booktitle = PODS-92, year = 1992 } @Article{BeBe79, author = "Catriel Beeri and Philip A. Bernstein", title = "Computational Problems Related to the Design of Normal Form Relational Schemas", journal = TODS, year = 1979, volume = 4, number = 1, pages = "30--59", } @InProceedings{BeLR97, author = "Catriel Beeri and Alon Y. Levy and Marie-Christine Rousset", title = "Rewriting Queries Using Views in Description Logics", booktitle = PODS-97, year = 1997, pages = "99--108" } @InProceedings{BeMi87, author = "Catriel Beeri and Tova Milo", title = "A Model for Active Object Oriented Databases", booktitle = VLDB-91, address = "Barcelona (Spain)", year = 1991, pages = "337--349", } @Book{BeMa77, author = "John L. Bell and Moshe Machover", title = "A Course in Mathematical Logic", publisher = NH, year = 1977, } @Article{BeHP82, author = "Mordechai Ben-Ari and Joseph Y. Halpern and Amir Pnueli", title = "Deterministic Propositional Dynamic Logic: {F}inite Models, Complexity, and Completeness", journal = JCSS, volume = 25, pages = "402--417", year = 1982 } @Article{BeLi00, author = "Michael Benedikt and Leonid Libkin", journal = JACM, year = 2000, title = "Relational Queries over Interpreted Structures", pages = "644--680", volume = 47, number = 4, } @InProceedings{BBCC*00, author = "D. Beneventano and S. Bergamaschi and S. Castano and A. Corni and R. Guidetti and G. Malvezzi and M. Melchiori and M. Vincini", title = "Information Integration: the {MOMIS} Project Demonstration", booktitle = VLDB-00, year = 2000, } @InProceedings{BBLS94, author = "Domenico Beneventano and Sonia Bergamaschi and Stefano Lodi and Claudio Sartori", title = "Reasoning with Constraints in Database Models", booktitle = SEBD-94, address = "Rimini (Italy)", year = 1994, editor = "S. Bergamaschi and C. Sartori and P. Tiberio", pages = "23--38", } @InProceedings{BBLS93, author = "Domenico Beneventano and Sonia Bergamaschi and Stefano Lodi and Claudio Sartori", title = "Using Subsumption in Semantic Query Optimization", booktitle = "Proc.\ of the {IJCAI'93} Workshop on Object-Based Representation Systems", editor = "A. Napoli", year = 1993, } @Article{Benn97, author = "Brandon Bennett", title = "Modal Logics for Qualitative Spatial Reasoning", journal = IGPL, year = "1997", volume = "4", number = "1", } @Book{Bent83, author = "Johan van Benthem", title = "Modal Logic and Classical Logic", publisher = "Bibliopolis, Napoli", year = 1983, } @InCollection{Bent84, author = "Johan van Benthem", title = "Correspondence Theory", booktitle = "Handbook of Philosophical Logic", volume = 2, publisher = "Reidel, Dordrecht", editor = "D. M. Gabbay and F. Guenthner", year = 1984, pages = "167--247", } @InCollection{Bent96, author = "Johan van Benthem", title = "Temporal Logic", booktitle = "Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 4", publisher = "Oxford Scientific Publishers", editor = "D. Gabbay and C. Hogger and J. Robinson", year = 1996, pages = "241--350", } @InProceedings{BBSV97, author = "Sonia Bergamaschi and Domenico Beneventano and Claudio Sartori and Maurizio Vincini", title = "{ODB-QOPTIMIZER}: {A} Tool for Semantic Query Optimization in OODB", booktitle = ICDE-97, year = 1997, } @Article{BCBV00, author = "Sonia Bergamaschi and Silvana Castano and Domenico Beneventano and Maurizio Vincini", title = "Retrieving and Integrating Data from Multiple Sources: the {MOMIS} approach", journal = DKE, volume = 36, pages = "251--249", year = 2001, } @InProceedings{BCVB99, author = "Sonia Bergamaschi and Silvana Castano and Maurizio Vincini and Domenico Beneventano", title = "Intelligent Techniques for the Extraction and Integration of Heterogeneous Information", booktitle = "Proc.\ of the {IJCAI'99} Workshop on Intelligent Information Integration", year = 1999, } @Article{BeNe94, author = "Sonia Bergamaschi and Bernhard Nebel", title = "Acquisition and Validation of Complex Object Database Schemata Supporting Multiple Inheritance", journal = ApI, year = 1994, volume = 4, number = 2, pages = "185--203", } @Article{BeSa92, author = "Sonia Bergamaschi and Claudio Sartori", title = "On Taxonomic Reasoning in Conceptual Design", journal = TODS, year = 1992, pages = "385--422", volume = 17, number = 3, } @Article{Berg66, author = "R. Berger", title = "The Undecidability of the Dominoe Problem", journal = "Mem.\ Amer.\ Math.\ Soc.", year = 1966, volume = 66, pages = "1--72" } @InProceedings{BeVW94, author = "Orna Bernholtz and Moshe Y. Vardi and Pierre Wolper", title = "An Automata-Theoretic Approach to Branching-Time Model Checking", booktitle = CAV-94, volume = 818, series = LNCS, year = 1994, publisher = SV, pages = "142--155" } @Article{BeBe99, author = "Philip A. Bernstein and Thomas Bergstraesser", title = "Meta-Data Support for Data Transformations Using {M}icrosoft {R}epository", journal = IEEEBDE, volume = 22, number = 1, pages = "9--14", year = 1999, } @InProceedings{BeCR01, author = "Piergiorgio Bertoli and Alessandro Cimatti and Marco Roveri", title = "Heuristic Search $+$ Symbolic Model Checking $=$ Efficient Conformant Planning", booktitle = IJCAI-01, pages = "467--472", year = 2001, } @InProceedings{PiTr01, author = "Marco Pistore and Paolo Traverso", title = "Planning as Model Checking for Extended Goals in Non-Deterministic Domains", booktitle = IJCAI-01, pages = "479--484", year = 2001, } @Article{Bett97, author = "Claudio Bettini", title = "Time-Dependent Concepts: {R}epresentation and Reasoning Using Temporal Description Logics", year = 1997, journal = DKE, pages = "1--38", volume = 22, } @Article{Birg93, author = "Jean-Camille Birget", title = "State-Complexity of Finite-State Devices, State Compressibility and Incompressibility", journal = MST, year = 1993, volume = 26, number = 3, pages = "237--269", } @Article{Birg96, author = "Jean-Camille Birget", title = "Two-Way Automata and Length-Preserving Homomorphisms", journal = MST, year = 1996, volume = 29, number = 3, pages = "191--226", } @Article{BiDS95, author = "Joachim Biskup and Pratul Dublish and Yehoshua Sagiv", title = "Optimization of a Subclass of Conjunctive Queries", journal = AI, year = 1995, volume = 32, number = 1, pages = "1--26" } @Article{Blac93, author = "Blackburn, Patrick", title = "Nominal Tense Logic", journal = NDJFL, volume = 34, number = 1, pages = "56--83", year = 1993, } %% BlRV00 has been removed @Book{BlRV01, author = "Patrick Blackburn and Maarten de Rijke and Yde Venema", title = "Modal Logic", publisher = CUP, year = 2001, volume = 53, series = "Cambridge Tracts in Theoretical Computer Science", } @Article{BlSe95, author = "Patrick Blackburn and Jerry Seligman", title = "Hybrid Languages", journal = JLLI, volume = 4, pages = "251--272", year = 1995, } @Article{BlSp93, author = "Patrick Blackburn and Edith Spaan", title = "A modal Perspective on Computational Complexity of Attribute Value Grammars", journal = JLLI, volume = 2, pages = "129--169", year = 1993, } @Article{BlIG94, author = "Jose L. Blanco and Arantza Illarramendi and Alfredo Go{\~n}i", title = "Building a Federated Relational Database System: {A}n Approach Using a Knowledge-Based System", journal = JICIS, year = 1994, volume = 3, number = 4, pages = "415--455" } @Book{BlHR90, editor = "K. H. Bl{\"a}sius and U. Hedst{\"u}ck and C.-R. Rollinger", title = "Sorts and Types in Artificial Intelligence", publisher = SV, series = LNAI, volume = 418, year = 1990, } @InProceedings{BoWe80, author = "R. Bobrow and B. Webber", title = "Knowledge Representation for Syntactic/Semantic Processing", booktitle = AAAI-80, year = 1980, } @Article{BoWi77, author = "Daniel G. Bobrow and Terry Winograd", title = "An Overview of {KRL}, a {K}nowledge {R}epresentation {L}anguage", journal = CogSci, year = 1977, volume = 1, number = 1, pages = "3--46", note = "Republished in \cite{BrLe85}" } @Article{BoSa99, author = "Luca Boldrin and Alessandro Saffiotti", title = "A Modal Logic for Fusing Partial Belief of Multiple Reasoners", journal = JLC, volume = 9, number = 1, year = 1999, } @Book{BoRJ98, author = "Grady Booch and James Rumbaugh and Ivar Jacobson", title = "The {U}nified {M}odeling {L}anguage User Guide", publisher = AW, year = 1998, } @Article{Boon59, author = "William W. Boone", title = "The Word Problem", journal = AM, year = 1959, volume = 2, number = 70, pages = "207--265" } @Book{BoGG97, author = "Egon B{\"o}rger and Erich Gr{\"a}edel and Yuri Gurevich", title = "The Classical Decision Problem", publisher = SV, year = 1997, series = "Perspectives in Mathematical Logic", } @Article{Borg92, author = "Alexander Borgida", title = "From Type Systems to Knowledge Representation: {N}atural Semantics Specifications for Description Logics", journal = JICIS, volume = 1, number = 1, pages = "93--126", year = 1992, } @TechReport{Borg92b, author = "Alexander Borgida", title = "On the Relationship between Description Logics and Predicate Logic Queries", institution = "Rutgers University", address = "New Brunswick (NJ, USA)", number = "LCSR-TR-295-A", year = 1992, } @TechReport{Borg92c, author = "Alexander Borgida", title = "Description Logics are not just for the Flightless-Birds: {A} New Look at the Utility and Foundations of Description Logics", institution = "New Brunswick Department of Computer Science, Rutgers University", year = 1992, number = "DCS-TR-295", } @Article{Borg95, author = "Alexander Borgida", title = "Description Logics in Data Management", journal = TKDE, year = 1995, volume = 7, number = 5, pages = "671--682", } @Article{Borg96, author = "Alexander Borgida", title = "On the Relative Expressiveness of Description Logics and Predicate Logics", journal = AIJ, year = 1996, volume = 82, number = "1--2", pages = "353--367", } @InProceedings{BoBr93, author = "Alexander Borgida and Ronald J. Brachman", title = "Loading Data into Description Reasoners", booktitle = SIGMOD, year = 1993, pages = "217--226", } %% was BBMA89 @InProceedings{BBMR89, author = "Alexander Borgida and Ronald J. Brachman and Deborah L. McGuinness and Lori Alperin Resnick", title = "{CLASSIC}: {A} Structural Data Model for Objects", booktitle = SIGMOD, year = 1989, pages = "59--67", } @InProceedings{BoEt89, author = "Alexander Borgida and Dawid W. Etherington", title = "Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning", booktitle = KR-89, editor = "Ron J. Brachman and Hector J. Levesque and Ray Reiter", pages = "33--43", year = 1989, } @InProceedings{BFHMP99, title = "Explaining {$\mathcal{ALC}$} Subsumption", author = "Alex Borgida and Enrico Franconi and Ian Horrocks and Deborah L. McGuinness and Patel-Schneider, Peter F.", booktitle = DL-99, year = 1999, publisher = "CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-22/", } @InProceedings{BoIM96, author = "Alex Borgida and Charles Isbell and Deborah L. McGuinness", title = "Reasoning with Black Boxes: {H}andling Test Concepts in {CLASSIC}", booktitle = DL-96, series = "AAAI Technical Report", number = "WS-96-05", publisher = AAAIP, year = 1996, } @TechReport{BoKu99, author = "Alexander Borgida and Ralf K{\"u}sters", title = "What's Not in a Name? {I}nitial Explorations of a Structural Approach to Integrating Large Concept Knowledge-Bases", institution = "Rutgers University", year = 1999, number = "DCS-TR-391 ", } @InProceedings{BoMc96, author = "Alexander Borgida and Deborah L. McGuinness", title = "Asking Queries about Frames", booktitle = KR-96, year = 1996, pages = "340--349", } @Article{BoPa94, author = "Alexander Borgida and Patel-Schneider, Peter F.", title = "A Semantics and Complete Algorithm for Subsumption in the {CLASSIC} Description Logic", year = 1994, journal = JAIR, volume = 1, pages = "277--308", publisher = MK } @InProceedings{BoWe97, author = "Alexander Borgida and Grant E. Weddell", title = "Adding Uniqueness Constraints to Description Logics (Preliminary Report)", booktitle = DOOD-97, year = 1997, pages = "85--102", } @InProceedings{BoCo90, author = "Mokrane Bouzeghoub and Isabelle Comyn-Wattiau", title = "View Integration by Semantic Unification and Transformation of Data Structures", booktitle = ER-90, year = 1990, pages = "413--430" } @InCollection{BFGM99, author = "Mokrane Bouzeghoub and Francoise Fabret and Helena Galhardas and Maja Matulovic-Broqu\'e and Joao Pereira and Eric Simon", title = "Data Warehouse Refreshment", booktitle = "Fundamentals of Data Warehouses", year = 1999, pages = "47--86", editor = "Matthias Jarke and Maurizio Lenzerini and Yannis Vassiliou and Panos Vassiliadis", publisher = SV, } @Book{BoCr91, author = "Daniel Pierre Bovet and Pierluigi Crescenzi", title = "Teoria della Complessit\`a Computazionale", publisher = FA, year = 1991, note = "In Italian" } @Article{Brac77, author = "Ronald J. Brachman", title = "What's in a Concept: {S}tructural Foundations for Semantic Networks", year = 1977, journal = "Int.\ Journal of Man-Machine Studies", volume = 9, number = 2, pages = "127--152", } @InCollection{Brac78, author = "Ronald J. Brachman", title = "Structured Inheritance Networks", booktitle = "Research in Natural Language Understanding", publisher = "Bolt, Beranek and Newman Inc.", series = "Quarterly Progress Report No. 1, BBN Report No. 3742", editor = "W. A. Woods and R. J. Brachman", year = 1978, pages = "36--78", address = "Cambridge, Mass.", } @InCollection{Brac79, author = "Ronald J. Brachman", title = "On the Epistemological Status of Semantic Networks", booktitle = "Associative Networks", year = 1979, pages = "3--50", editor = "Nicholas V. Findler", publisher = AP, note = "Republished in \cite{BrLe85}" } @TechReport{BBCK*79, author = "R. Brachman and R. Bobrow and P. Cohen and J. Klovstad and B. Webber and W. Woods", title = "Research in Natural Language Understanding, Annual Report", institution = "Bolt Beranek and Newman", year = 1979, number = 4274, address = "Cambridge, MA (USA)", } %% BBMA89b @Misc{BBMR89b, author = "Ronald J. Brachman and Alexander Borgida and Deborah L. McGuinness and Lori Alperin Resnick", title = "The {CLASSIC} Knowledge Representation System, or, {KL-ONE}: the Next Generation", year = 1989, howpublished = "Preprints of the Workshop on Formal Aspects of Semantic Networks, Two Harbors, Cal.", } @Article{BDSB*90, author = "Ronald J. Brachman and Premkumar Devanbu and Peter G. Selfridge and David Belanger and Yun Chen", title = "Toward a Software Information System", journal = ATTech, volume = 69, number = 2, pages = "22--41", year = 1990, } @Article{BrFL83, author = "Ronald J. Brachman and Richard E. Fikes and Hector J. Levesque", title = "{KRYPTON}: {A} Functional Approach to Knowledge Representation", journal = COMPUTER, volume = oct, pages = "67--73", year = 1983, } %% was BMPAB91 @InCollection{BMPRB91, author = "Ronald J. Brachman and Deborah L. McGuinness and Patel-Schneider, Peter F. and Lori Alperin Resnick and Alexander Borgida", title = "Living with {CLASSIC}: When and how to Use a {KL-ONE}-like Language", booktitle = "Principles of Semantic Networks", year = 1991, pages = "401--456", editor = "John F. Sowa", publisher = MK, } @InProceedings{BrLe84, author = "Ronald J. Brachman and Hector J. Levesque", title = "The Tractability of Subsumption in Frame-Based Description Languages", booktitle = AAAI-84, year = 1984, pages = "34--37", } @InProceedings{BrPL85, author = "Ronald J. Brachman and Pigman Gilbert, Victoria and Hector J. Levesque", title = "An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts in {KRYPTON}", booktitle = IJCAI-85, year = 1985, pages = "532--539", } @Article{BrSc85, author = "Ronald J. Brachman and James G. Schmolze", title = "An Overview of the {KL-ONE} Knowledge Representation System", journal = CogSci, year = 1985, pages = "171--216", volume = 9, number = 2, } @Article{Brac85, author = "Ronald J. Brachman", title = "``{I} Lied about the Trees''", journal = AIM, year = 1985, pages = "80--93", volume = 6, number = 3, } @InProceedings{Brac92, author = "Ronald J. Brachman", title = "``Reducing'' {CLASSIC} to Practice: Knowledge Representation Meets Reality", booktitle = KR-92, publisher = MK, year = 1992, pages = "247--258", } %% was BSTAB92 @InProceedings{BSTA*92, author = "Ronald J. Brachman and Peter G. Selfridge and Loren G. Terveen and B. Altman and Alexander Borgida and F. Halper and Thomas Kirk and A. Lazar and Deborah L. McGuinness and Lori Alperin Resnick", title = "Knowledge Representation Support for Data Archeology", booktitle = CIKM-92, year = 1992, pages = "457--464", editor = "Y. Yesha", } @Article{BSTA*93, author = "Ronald J. Brachman and Peter G. Selfridge and Loren G. Terveen and B. Altman and F. Halper and Thomas Kirk and A. Lazar and Deborah L. McGuinness and Lori Alperin Resnick", title = "Integrated Support for Data Archeology", journal = IJCIS, year = 1993, volume = 2, number = 2, pages = "159--185", } @TechReport{BrPS98, title = "Extensible {M}arkup {L}anguage {(XML)} 1.0 --- {W3C} Recommendation", author = "Tim Bray and Jean Paoli and C. M. Sperberg-McQueen", institution = "World Wide Web Consortium", year = 1998, note = "Available at http://www.w3.org/TR/1998/REC-xml-19980210" } @InProceedings{BrFT95, author = "P. Bresciani and E. Franconi and S. Tessaris", title = "Implementing and Testing Expressive Description Logics: Preliminary Report", booktitle = DL-95, year = 1995, pages = "131--139" } @Article{BrHP92, author = "M. W. Bright and A. R. Hurson and S. H. Pakzad", title = "A Taxonomy and Current Issues in Multidatabase Systems", journal = "COMPUTER", year = 1992, month = mar, pages = "50--60" } @Article{BrHe97, author = "Nieves R. Brisaboa and H{\'e}ctor J. Hern{\'a}ndez", title = "Testing Bag-Containment of Conjunctive Queries", journal = AI, year = 1997, volume = 34, number = 7, pages = "557--578" } @Article{BrCe92, author = "M. L. Brodie and S. Ceri", title = "On Intelligent and Cooperative Information Systems: A Workshop Summary", journal = JICIS, year = 1992, volume = 1, number = 2, pages = "249--289" } @InProceedings{BKFH00, author = "Jeen Broekstra and Michel Klein and Dieter Fensel and Ian Horrocks", title = "Adding Formal Semantics to the {W}eb: building on Top of {RDF} {S}chema", booktitle = "Proc.\ of the ECDL~2000 Workshop on the Semantic Web", year = 2000, } @Article{BrLe80, author = "J. A. Brzozowski and E. Leiss", title = "Finite Automata and Sequential Networks", journal = TCS, volume = 10, pages = "19--35", year = 1980, } @InProceedings{BDNS94, author = "Martin Buchheit and Francesco M. Donini and Werner Nutt and Andrea Schaerf", title = "Terminological Systems Revisited: Terminology = Schema + Views", year = 1994, booktitle = AAAI-94, pages = "199--204", address = "Seattle (USA)", } @TechReport{BDNS95, author = "Martin Buchheit and Francesco M. Donini and Werner Nutt and Andrea Schaerf", title = "A Refined Architecture for Terminological Systems: Terminology = Schema + Views", year = 1995, institution = DFKI, number = "RR-95-09", } @Article{BDNS98, author = "Martin Buchheit and Francesco M. Donini and Werner Nutt and Andrea Schaerf", title = "A Refined Architecture for Terminological Systems: {T}erminology = Schema + Views", journal = AIJ, volume = 99, number = 2, year = 1998, pages = "209--260", } @InProceedings{BuDS93, author = "Martin Buchheit and Francesco M. Donini and Andrea Schaerf", title = "Decidable Reasoning in Terminological Knowledge Representation Systems", booktitle = IJCAI-93, year = 1993, publisher = MK, pages = "704--709", } @TechReport{BuDS93b, author = "Martin Buchheit and Francesco M. Donini and Andrea Schaerf", title = "Decidable Reasoning in Terminological Knowledge Representation Systems", institution = DFKI, year = 1993, number = "RR-93-10", address = "Saarbr{\"u}cken (Germany)", note = "An abridged version appeared in \begingroup\em " # IJCAI-93 # "\endgroup" } @Article{BuDS93c, author = "Martin Buchheit and Francesco M. Donini and Andrea Schaerf", title = "Decidable Reasoning in Terminological Knowledge Representation Systems", year = 1993, journal = JAIR, volume = 1, pages = "109--138", publisher = MK, } @TechReport{BJNS93, author = "Martin Buchheit and Manfred A. Jeusfeld and Werner Nutt and Martin Staudt", title = "Subsumption between Queries to Object-Oriented Databases", institution = DFKI, year = 1993, number = "RR-93-44", address = "Saarbr{\"u}cken (Germany)", } @Article{BJNS94, author = "Martin Buchheit and Manfred A. Jeusfeld and Werner Nutt and Martin Staudt", title = "Subsumption between Queries to Object-Oriented Databases", year = 1994, journal = IS, volume = 19, number = 1, pages = "33--54", note = "Special issue on Extending Database Technology, EDBT'94" } @InProceedings{BuKN94, author = "Martin Buchheit and Rudiger Klein and Werner Nutt", title = "Configuration as Model Construction: the Constructive Problem Solving Approach", booktitle = "Proc.\ of the 4th Int.\ Conf.\ on Artificial Intelligence in Design", address = "Lausanne (Switzerland)", month = aug, year = 1994, } @InProceedings{Buch60, author = "J. Richard B{\"u}chi", title = "On a Decision Method in Restricted Second Order Arithmetic", booktitle = "Proc.\ Internat.\ Congr.\ on Logic, Methodology and Philosophy of Science", year = 1960, publisher = "Stanford University Press", editor = "E. Nagel and others", pages = "1--11" } @Article{Bull70, author = "R. Bull", title = "An Approach to Tense Logic", journal = "Theoria", volume = 12, pages = "171--182", year = 1970, } @InProceedings{Bune97, author = "Peter Buneman", title = "Semistructured Data", booktitle = PODS-97, year = 1997, pages = "117--121" } @InProceedings{BDFS97, author = "Peter Buneman and Susan Davidson and Mary F. Fernandez and Dan Suciu", title = "Adding Structure to Unstructured Data", booktitle = ICDT-97, year = 1997, pages = "336--350" } @InProceedings{BDHS96, author = "Peter Buneman and Susan Davidson and Gerd Hillebrand and Dan Suciu", title = "A Query Language and Optimization Technique for Unstructured Data", booktitle = SIGMOD, year = 1996, pages = "505--516" } @InProceedings{BuDK92, author = "P. Buneman and S. Davidson and A. Kosky", title = "Theoretical Aspects of Schema Merging", booktitle = EDBT-92, series = LNCS, year = 1992, publisher = SV, pages = "152--167" } @InProceedings{BuFW98, author = "Peter Buneman and Wenfei Fan and Scott Weinstein", title = "Path Constraints on Semistructured and Structured Data", booktitle = PODS-98, year = 1998, pages = "129--138", } @InProceedings{BuFW99, author = "Peter Buneman and Wenfei Fan and Scott Weinstein", title = "Interaction between Path and Type Constraints", booktitle = PODS-99, year = 1999, pages = "56--67", } @InProceedings{BMSSS95, author = "P. Buongarzoni and C. Menghini and R. Salis and F. Sebastiani and U. Straccia", title = "Logical and Computational Properties of the Description Logic {\sc MIRTL}", booktitle = DL-95, year = 1995, pages = "80--84", } @Article{BCMDH92, author = "J. R. Burch and E. M. Clarke and K. L. McMillan and D. L. Dill and L. J. Hwang", title = "Symbolic Model Checking: $10^{20}$ States and Beyond", journal = ICOMP, volume = 98, number = 2, year = 1992, pages = "142--170", } @InProceedings{Burk90, author = "Hans-J{\"u}rgen B{\"u}rckert", title = "A Resolution Principle for Clauses with Constraints", booktitle = CADE-90, year = 1990, publisher = SV, pages = "178--192", series = LNAI, volume = 449, } @Article{Burk94, author = "Hans-J{\"u}rgen B{\"u}rckert", title = "A Resolution Principle for Constrainted Logics", journal = AIJ, volume = 66, pages = "235--271", number = 2, year = 1994, } @Article{Byla91, author = "Tom Bylander", title = "Tractability and Artificial Intelligence", journal = JETAI, volume = 3, year = 1991, pages = "171--178", } %ccccccccccccccccccccccccc %ccccccccccccccccccccccccc @InProceedings{CaDS90, author = "Marco Cadoli and Francesco M. Donini and Marco Schaerf", title = "Closed World Reasoning in Hybrid Systems", booktitle = ISMIS-90, year = 1990, publisher = NH, pages = "474--481", editor = "Zbigniew W. Ras and Maria Zemankova and Mary L. Emrich", } @InProceedings{CaLe90, author = "Marco Cadoli and Maurizio Lenzerini", title = "The Complexity of Closed World Reasoning and Circumscription", booktitle = AAAI-90, year = 1990, publisher = MIT, pages = "550--555", } @InProceedings{CLNP90, author = "Marco Cadoli and Maurizio Lenzerini and Daniele Nardi and Fiora Pirri", title = "Circumscription and Nonmonotonic Inheritance", booktitle = PRICAI-90, year = 1990, publisher = "Ohmsha, Ltd.", pages = "760--765", address = "Tokyo (Japan)", } @InProceedings{CaLP96, author = "Cadoli, Marco and Palopoli, Luigi and Lenzerini, Maurizio", title = "Datalog and Description Logics: {E}xpressive Power. {P}reliminary report", booktitle = DL-96, series = "AAAI Technical Report", number = "WS-96-05", publisher = AAAIP, year = 1996, } @InProceedings{CaLP97, author = "Cadoli, Marco and Palopoli, Luigi and Lenzerini, Maurizio", booktitle = DBPL-97, title = "Datalog and Description Logics: {E}xpressive Power", year = 1997, } @Article{CaSc93, author = "Marco Cadoli and Marco Schaerf", title = "A Survey of Complexity Results for Non-monotonic Logics", journal = JLP, volume = 17, pages = "127--160", year = 1993, } @TechReport{CSGG99, author = "Marco Cadoli and Schaerf Marco and A. Giovanardi and M. Giovanardi", institution = DIS, number = "08-99", title = "An Algorithm to Evaluate Quantified Boolean Formulae and its Experimental Evaluation", year = 1999, note = "Accepted for publication on {\em Journal of Automated Reasoning}, special issue {\em SAT-2000}", } @MastersThesis{Cali99, author = "Andrea Cal{\`\i}", title = "Modellazione di Dati Semistrutturati", school = "University of Rome ``La Sapienza''", year = 1999, } @InProceedings{CCDL01, author = "Andrea Cal{\`\i} and Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini", title = "Reasoning on {UML} Class Diagrams in Description Logics", booktitle = "Proc.\ of IJCAR Workshop on Precise Modelling and Deduction for Object-oriented Software Development (PMD~2001)", year = 2001, } %% was IBIS1 @TechReport{CCDL01b, author = "Andrea Cal{\`\i} and Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini", title = "Formalization of Data Integration in {IBIS}", institution = "Progetto IBIS", year = 2001, number = "N.~1", } @TechReport{CCDL01c, author = "Andrea Cal{\`\i} and Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini", title = "Algorithms for query answering in {IBIS}", institution = "Progetto IBIS", year = 2001, number = "N.~2", } @TechReport{CCDL01d, author = "Andrea Cal{\`\i} and Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini", title = "Consistency and complexity issues in {IBIS}", institution = "Progetto IBIS", year = 2001, number = "N.~3", } @InProceedings{CCDL01e, author = "Andrea Cal{\`\i} and Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini", title = "Accessing Data Integration Systems through Conceptual Schemas", booktitle = ER-01, note = "To appear", year = 2001 } @Unpublished{CCDL01f, author = "Andrea Cal{\`\i} and Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini", title = "Data Integration under Integrity Constraints", nobooktitle = ICDE-02, note = "Submitted for publication", year = 2001 } @InProceedings{CaCL00b, author = "Andrea Cal{\`\i} and Diego Calvanese and Maurizio Lenzerini", title = "Semistructured Data Schemas with Expressive Constraints", booktitle = KRDB-00, year = 2000, pages = "3--16", publisher = "CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-29/", } @InProceedings{CaDL01b, author = "Andrea Cal{\`\i} and Giuseppe De Giacomo and Maurizio Lenzerini", title = "Models for Information Integration: {T}urning Local-as-View into Global-as-View", booktitle = "Proc.\ of Int.\ Workshop on Foundations of Models for Information Integration (10th Workshop in the series Foundations of Models and Languages for Data and Objects)", year = 2001, } @MastersThesis{Calv90, author = "Diego Calvanese", title = "Tesi di Laurea in Ingegneria Informatica", school = "Universit\`a di Roma ``La Sapienza''", year = 1990, } @InProceedings{Calv93, author = "Diego Calvanese", title = "Finite Satisfiability and Implication in Concept Languages", booktitle = "Proc.\ of the 1st COMPULOG Net Meeting on Knowledge Representation and Reasoning (CNKRR'93)", publisher = "Universidade Nova de Lisboa", year = 1993, } @PhdThesis{Calv96, author = "Diego Calvanese", title = "Unrestricted and Finite Model Reasoning in Class-Based Representation Formalisms", school = DIS, year = 1996, note = "Available at http://www.dis.uniroma1.it/pub/calvanes/thesis.ps.gz", } @PhdThesis{Calv96b, author = "Diego Calvanese", title = "Rappresentazione della conoscenza basata su classi: ragionamento in modelli finiti e in modelli arbitrari", school = DIS, year = 1996, note = "In Italian", } @InProceedings{Calv96c, author = "Diego Calvanese", title = "Reasoning with Inclusion Axioms in Description Logics: Algorithms and Complexity", booktitle = ECAI-96, year = 1996, pages = "303--307", publisher = JWS, } @InProceedings{Calv96d, author = "Diego Calvanese", title = "Finite Model Reasoning in Description Logics", booktitle = KR-96, editor = "Luigia C. Aiello and John Doyle and Stuart C. Shapiro", publisher = MK, year = 1996, pages = "292--303" } @InProceedings{CaCS00, author = "Diego Calvanese and Tiziana Catarci and Giuseppe Santucci", title = "Building a Digital Library of Newspaper Clippings: {T}he {LAURIN} Project", booktitle = ADL-00, year = 2000, pages = "15--26", } @InProceedings{CaDL95, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini", title = "Structured Objects: {M}odeling and Reasoning", booktitle = DOOD-95, year = 1995, series = LNCS, volume = 1013, publisher = SV, pages = "229--246" } @InProceedings{CaDL95b, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini", title = "Increasing the Power of Structured Objects", booktitle = "{KRDB-95}: {R}easoning about Structured Objects: {K}nowledge Representation meets Databases", year = 1995, address = "Bielefeld (Germany)", } @InProceedings{CaDL97, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini", title = "Representing and Reasoning on {SGML} Documents", booktitle = ISMIS-97, series = LNCS, volume = 1325, publisher = SV, pages = "540--549", year = 1997, } @InProceedings{CaDL97b, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini", title = "Conjunctive Query Containment in {D}escription {L}ogics with $n$-ary Relations", year = 1997, booktitle = DL-97, pages = "5--9", } @InProceedings{CaDL98, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini", title = "On the Decidability of Query Containment under Constraints", booktitle = PODS-98, year = 1998, pages = "149--158", } @InProceedings{CaDL98b, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini", title = "What can Knowledge Representation do for Semi-Structured Data?", booktitle = AAAI-98, pages = "205--210", year = 1998, } @InProceedings{CaDL98c, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini", title = "Semi-Structured Data with Constraints and Incomplete Information", booktitle = DL-98, year = 1998, pages = "11--20", publisher = "CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-11/", } @TechReport{CaDL98e, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini", title = "Queries and Constraints on Semi-Structured Data", institution = DIS, year = 1998, number = "13-98", } @InCollection{CDLN00, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini and Daniele Nardi", title = "Reasoning in Expressive Description Logics", booktitle = "Handbook of Automated Reasoning", publisher = ESP, year = 2000, editor = "Alan Robinson and Andrei Voronkov", note = "To appear", } @TechReport{CDLNR97, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini and Daniele Nardi and Riccardo Rosati", title = "Database Integration for Datawarehousing", institution = "DWQ Consortium", year = 1997, month = mar, number = "DWQ-UNIROMA-001", } @TechReport{CDLNR97b, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini and Daniele Nardi and Riccardo Rosati", title = "Source Integration in Data Warehousing", institution = "DWQ Consortium", year = 1997, month = oct, number = "DWQ-UNIROMA-002", } @InProceedings{CDLNR98, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini and Daniele Nardi and Riccardo Rosati", title = "Description Logic Framework for Information Integration", booktitle = KR-98, year = 1998, pages = "2--13" } @InProceedings{CDLNR98b, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini and Daniele Nardi and Riccardo Rosati", title = "Knowledge Representation Approach to Information Integration", booktitle = "Proc.\ of AAAI Workshop on AI and Information Integration", publisher = AAAIP, year = 1998, pages = "58--65", } @InProceedings{CDLNR98c, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini and Daniele Nardi and Riccardo Rosati", title = "Source Integration in Data Warehousing", booktitle = "Proc.\ of the 9th Int.\ Workshop on Database and Expert Systems Applications (DEXA'98)", year = 1998, publisher = IEEEP, pages = "192--197", } @InProceedings{CDLNR98d, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini and Daniele Nardi and Riccardo Rosati", title = "Information Integration: {C}onceptual Modeling and Reasoning Support", booktitle = CoopIS-98, year = 1998, pages = "280--291", } @TechReport{CDLNR98e, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini and Daniele Nardi and Riccardo Rosati", title = "Experimentation with the Incremental View Integration", institution = "DWQ Consortium", year = 1998, month = sep, number = "DWQ-UNIROMA-003", } @TechReport{CDLNR98f, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini and Daniele Nardi and Riccardo Rosati", title = "Schema and Data Integration Methodology for {DWQ}", institution = "DWQ Consortium", year = 1998, month = sep, number = "DWQ-UNIROMA-004", } @InCollection{CDLNR99, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini and Daniele Nardi and Riccardo Rosati", title = "Source Integration", booktitle = "Fundamentals of Data Warehouses", editor = "Matthias Jarke and Maurizio Lenzerini and Yannis Vassiliou and Panos Vassiliadis", chapter = 3, publisher = SV, year = 1999, } @InProceedings{CDLNR99b, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini and Daniele Nardi and Riccardo Rosati", title = "A Principled Approach to Data Integration and Reconciliation in Data Warehousing", booktitle = "Proc.\ of the Int.\ Workshop on Design and Management of Data Warehouses (DMDW'99)", year = 1999, publisher = "CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-19/", } @TechReport{CDLNR99c, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini and Daniele Nardi and Riccardo Rosati", title = "Experimental Prototype Supporting Data Reconciliation", institution = "DWQ Consortium", year = 1999, month = oct, number = "DWQ-UNIROMA-006", } @TechReport{CDLNR99d, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini and Daniele Nardi and Riccardo Rosati", title = "Use of the Reconciliation Tool at {T}elecom {I}talia", institution = "DWQ Consortium", year = 1999, month = oct, number = "DWQ-UNIROMA-007", } @Article{CDLNR01, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini and Daniele Nardi and Riccardo Rosati", title = "Data Integration in Data Warehousing", journal = IJCIS, year = 2001, volume = 10, number = 3, pages = "237-271", } @InProceedings{CaDL99, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini", title = "Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees", booktitle = IJCAI-99, year = 1999, pages = "84--89", } @InProceedings{CaDL99b, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini", title = "Queries and Constraints on Semi-Structured Data", booktitle = CAiSE-99, year = 1999, pages = "434--438", } @Article{CaDL99c, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini", title = "Representing and Reasoning on {XML} Documents: {A} Description Logic Approach", journal = JLC, year = 1999, volume = 9, number = 3, pages = "295--318", } @Article{CaDL99d, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini", title = "Modeling and Querying Semi-Structured Data", journal = NISJ, volume = 2, number = 2, year = 1999, } @InProceedings{CaDL99e, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini", title = "Answering Queries Using Views in Description Logics", booktitle = DL-99, year = 1999, pages = "9--13", publisher = "CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-22/", } @InProceedings{CaDL00, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini", title = "Answering Queries Using Views over Description Logics Knowledge Bases", booktitle = AAAI-00, pages = "386--391", year = 2000, } @InProceedings{CaDL00b, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini", title = "Keys for Free in Description Logics", booktitle = DL-00, pages = "79--88", year = 2000, publisher = "CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-33/", } @InProceedings{CaDL01, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini", title = "Identification Constraints and Functional Dependencies in Description Logics", booktitle = IJCAI-01, pages = "155--160", year = 2001 } @InProceedings{CDLV00e, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini and Moshe Y. Vardi", title = "What is Query Rewriting?", booktitle = KRDB-00, year = 2000, pages = "17--27", publisher = "CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-29/", } @InProceedings{CDLV99, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini and Moshe Y. Vardi", title = "Rewriting Regular Expressions in Semi-Structured Data", booktitle = "Proc.\ of ICDT'99 Workshop on Query Processing for Semi-Structured Data and Non-Standard Data Formats", year = 1999, } @InProceedings{CDLV99b, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini and Moshe Y. Vardi", title = "Rewriting of Regular Expressions and Regular Path Queries", booktitle = PODS-99, year = 1999, pages = "194--204", } @TechReport{CDLV99c, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini and Moshe Y. Vardi", title = "Rewriting of Regular Expressions and Regular Path Queries", institution = DIS, year = 1999, number = "04-99", } @InProceedings{CDLV99d, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini and Moshe Vardi", title = "Query Answering Using Views for Data Integration over the Web", booktitle = "Proc.\ of the 2nd Int.\ Workshop on the Web and Databases (WebDB'99)", year = 1999, pages = "73--78", } @TechReport{CDLV99e, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini and Moshe Vardi", title = "Answering Regular Path Queries Using Views", institution = DIS, year = 1999, number = "20-99", } @InProceedings{CDLV99f, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini and Moshe Y. Vardi", title = "Rewriting of Regular Path Queries", booktitle = SEBD-99, pages = "213--224", year = 1999, } @InProceedings{CDLV00, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini and Moshe Y. Vardi", title = "Answering Regular Path Queries Using Views", booktitle = ICDE-00, year = 2000, pages = "389--398", } @InProceedings{CDLV00b, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini and Moshe Y. Vardi", title = "Containment of Conjunctive Regular Path Queries with Inverse", booktitle = KR-00, year = 2000, pages = "176--185", } @InProceedings{CDLV00c, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini and Moshe Y. Vardi", title = "Query Processing using Views for Regular Path Queries with Inverse", booktitle = PODS-00, year = 2000, pages = "58--66", } @InProceedings{CDLV00d, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini and Moshe Y. Vardi", title = "View-based Query Processing and Constraint Satisfaction", booktitle = LICS-00, year = 2000, pages = "361--371", } @TechReport{CDLV01, author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini and Moshe Y. Vardi", title = "View-based Query Answering and Query Containment over Semistructured data", institution = "Submitted for publication", year = 2001, } @InProceedings{CaDR98, author = "Diego Calvanese and De Giacomo, Giuseppe and Riccardo Rosati", title = "A Note on Encoding Inverse Roles and Functional Restrictions in {${\cal ALC}$} Knowledge Bases", booktitle = DL-98, year = 1998, pages = "69--71", publisher = "CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-11/", } @Article{CaDR99, author = "Diego Calvanese and De Giacomo, Giuseppe and Riccardo Rosati", title = "Data Integration and Reconciliation in Data Warehousing: {C}onceptual Modeling and Reasoning Support", journal = NISJ, volume = 2, number = 4, year = 1999, } @InProceedings{CaLe94, author = "Diego Calvanese and Maurizio Lenzerini", title = "On the Interaction between {ISA} and Cardinality Constraints", booktitle = DE-94, address = "Houston (Texas, USA)", year = 1994, publisher = IEEEP, pages = "204--213", } @InProceedings{CaLe94b, author = "Diego Calvanese and Maurizio Lenzerini", title = "Making Object-Oriented Schemas more Expressive", booktitle = PODS-94, pages = "243-254", address = "Minneapolis (Minnesota, USA)", publisher = ACMP, year = 1994, } @InProceedings{CaLN94, author = "Diego Calvanese and Maurizio Lenzerini and Daniele Nardi", title = "A Unified Framework for Class Based Representation Formalisms", booktitle = KR-94, pages = "109--120", address = "Bonn (Germany)", editor = "J. Doyle and E. Sandewall and P. Torasso", publisher = MK, year = 1994, } @InCollection{CaLN98, author = "Diego Calvanese and Maurizio Lenzerini and Daniele Nardi", title = "Description Logics for Conceptual Data Modeling", booktitle = "Logics for Databases and Information Systems", publisher = KAP, year = 1998, pages = "229--264", editor = "Jan Chomicki and G{\"u}nter Saake", } @Article{CaLN99, author = "Diego Calvanese and Maurizio Lenzerini and Daniele Nardi", title = "Unifying Class-Based Representation Formalisms", journal = JAIR, volume = 11, year = 1999, pages = "199--240", } @Article{CaMi91, author = "Luca Cardelli and John C. Mitchell", title = "Operations on Records", journal = MSCS, volume = 1, number = 1, pages = "3--48", year = 1991, } @InProceedings{CHSA95, author = "M. J. Carey and L. M. Haas and P. M. Schwarz and M. Arya and W. F. Cody and R. Fagin and M. Flickner and A. Luniewski and W. Niblack and D. Petkovic and J. Thomas and J. H. Williams and E. L. Wimmers", title = "Towards Heterogeneous Multimedia Information Systems: {T}he {G}arlic Approach", booktitle = "Proc.\ of the 5th Int.\ Workshop on Research Issues in Data Engineering -- Distributed Object Management (RIDE-DOM'95)", pages = "124--131", year = 1995, publisher = IEEEP, } @Article{CaFP84, author = "M. A. Casanova and R. Fagin and C. H. Papadimitriou", title = "Inclusion Dependencies and their Interaction with Functional Dependencies", journal = JCSS, year = 1984, volume = 28, number = 1, pages = "29--59", } @InProceedings{CaTF88, author = "Marco A. Casanova and Luiz Tucherman and Antonio L. Furtado", title = "Enforcing Inclusion Dependencies and Referencial Integrity", booktitle = VLDB-88, year = 1988, pages = "38--49", } @InProceedings{CTFB89, author = "Marco A. Casanova and Luiz Tucherman and Antonio L. Furtado and Anelise P. Braga", title = "Optimization of Relational Schemas Containing Inclusion Dependencies", booktitle = VLDB-89, year = 1989, pages = "317--325", } @Article{CaDL95c, author = "Tiziana Catarci and D'Angiolini, Giovanna and Maurizio Lenzerini", title = "Conceptual Language for Statistical Data Modeling", journal = DKE, year = 1995, volume = 17, number = 2, pages = "93--125", } @Article{CaLe93, author = "Tiziana Catarci and Maurizio Lenzerini", title = "Representing and using Interschema Knowledge in Cooperative Information Systems", journal = JICIS, year = 1993, volume = 2, number = 4, pages = "375--398", } @Book{Catt94, editor = "Roderick G. G. Cattell", title = "The Object Database Standard: {ODMG}-93", publisher = MK, year = 1994, note = "Release 1.1", } @Book{Carp92, author = "Bob Carpenter", title = "The Logic of Typed Feature Structures", publisher = "Cambridge University Press.", year = 1992, } @Article{Catt94b, author = "Roderick G. G. Cattell", title = "{ODMG}-93: {A} Standard for Object-Oriented {DBMS}s.", journal = SIGMODR, volume = 23, number = 2, pages = 480, year = 1994 } @Book{Catt96, author = "Roderick G. G. Cattell", title = "The {O}bject {D}atabase {S}tandard: {ODMG-93}", publisher = MK, address = "San Mateo (CA), USA", year = 1996, } @Book{CaBa97, editor = "Roderick G. G Cattell and Douglas K. Barry", title = "The Object Database Standard: {ODMG} 2.0", publisher = MK, year = 1997, } @InProceedings{CaMo90, author = "Didier Caucal and Roland Monfort", title = "On the Transition Graphs of Automata and Grammars", booktitle = "Graph-Theoretic Concepts in Computer Science, Int.\ Workshop WG", year = 1990, series = LNCS, volume = 484, pages = "311--337", } @Article{Cauc92, author = "Didier Caucal", title = "On the Regular Structure of Prefix Rewriting", journal = TCS, volume = 106, year = 1992, pages = "61--86", } @Book{CeGT90, author = "Stefano Ceri and Georg Gottlob and Letizia Tanca", title = "Logic Programming and Databases", publisher = SV, address = "Berlin (Germany)", year = 1990, } @InProceedings{CeWi91, author = "Stefano Ceri and Jennifer Widom", title = "Deriving Production Rules for Incremental View Maintenance", booktitle = VLDB-91, year = 1991, pages = "577--589", } @InProceedings{CeMa98, author = "Serenella Cerrito and Marta Cialdea Mayer", title = "Bounded Model Search in Linear Temporal Logic and its Application to Planning", booktitle = TABLEAUX-98, pages = "124--140", year = 1998, volume = 1397, series = LNAI, publisher = SV, } @Book{ChZa97, author = "Alexander Chagrov and Michael Zakharyaschev", title = "Modal Logic", publisher = CP, series = "Oxford Logic Guides", volume = 35, year = 1997, } @Misc{CFRSS01, author = "Don Chamberlin and Daniela Florescu and Jonathan Robie and Jerome Simeon and Mugur Stefanescu", title = "{XQuery}: A Query Language for {XML}", howpublished = "W3C Working Draft", month = feb, year = 2001, note = "Available at http://www.w3.org/TR/xquery" } @InProceedings{Chan88, author = "Ashok K. Chandra", title = "Theory of Database Queries", booktitle = PODS-88, year = 1988, pages = "1--9", } @Article{ChHa80, author = "Ashok K. Chandra and David Harel", title = "Computable Queries for Relational Databases", journal = JCSS, volume = 21, year = 1980, pages = "156--178", } @Article{ChKS81, author = "Ashok K. Chandra and Dexter C. Kozen and Larry J. Stockmeyer", title = "Alternation", journal = JACM, year = 1981, volume = 28, number = 1, pages = "114--133", } @InProceedings{ChMe77, author = "Ashok K. Chandra and Philip M. Merlin", title = "Optimal Implementation of Conjunctive Queries in Relational Data Bases", booktitle = STOC-77, year = 1977, pages = "77--90", } @Article{ChVa85, author = "Ashok K. Chandra and Moshe Y. Vardi", title = "The Implication Problem for Functional and Inclusion Dependencies is Undecidable", journal = SIAM-JOC, year = 1985, volume = 14, number = 3, pages = "671--677", } @InProceedings{Chan92, author = "Edward P. F. Chan", title = "Containment and Minimization of Positive Conjunctive Queries in OODB's", booktitle = PODS-92, year = 1992, pages = "202--211", } @Article{Chan94, author = "Edward P. F. Chan", title = "Testing Satisfiability of a Class of Object-Oriented Conjunctive Queries", journal = TCS, year = 1994, volume = 134, number = 2, pages = "287--309", } @InProceedings{ChMe95, author = "Edward P. F. Chan and Ron van der Meyden", title = "Testing Containment of Object-Oriented Conjunctive Queries is {$\Pi_2^p$}-hard", booktitle = COCOON-95, volume = 959, series = LNCS, year = 1995, publisher = SV, pages = "81--90", } @TechReport{CFFK98, author = "Vinay K. Chaudhri and Adam Farquhar and Richard Fikes and Peter D. Karp", title = "{O}pen {K}nowledge {B}ase {C}onnectivity 2.0", institution = "Stanford University KSL", number = "KSL-09-06", year = 1998, } @TechReport{CFFKR97, author = "Vinay K. Chaudhri and Adam Farquhar and Richard Fikes and Peter D. Karp and James Rice", title = "The {G}eneric {F}rame {P}rotocol 2.0", institution = "Artificial Intelligence Center, SRI International", address = "Menlo Park, CA (USA)", year = 1997, month = jul, } @InProceedings{CKPS95, author = "S. Chaudhuri and S. Krishnamurthy and S. Potarnianos and K. Shim", title = "Optimizing Queries with Materialized Views", booktitle = ICDE-95, address = "Taipei (Taiwan)", year = 1995 } @InProceedings{ChVa92, author = "Surajit Chaudhuri and Moshe Y. Vardi", title = "On the Equivalence of Recursive and Nonrecursive {D}atalog programs", booktitle = PODS-92, year = 1992, pages = "55--66", } @InProceedings{ChVa93, author = "Surajit Chaudhuri and Moshe Y. Vardi", title = "Optimization of Real Conjunctive Queries", booktitle = PODS-93, year = 1993, pages = "59--70", } @Article{Chaw99, author = "Sudarshan S. Chawathe", title = "Describing and Manipulating {XML} Data", journal = IEEEBDE, year = 1999, volume = 22, number = 3, pages = "3--9", } %% was CGMH94 @InProceedings{CGHI*94, author = "Sudarshan S. Chawathe and Hector Garcia-Molina and Joachim Hammer and Kelly Ireland and Yannis Papakonstantinou and Jeffrey D. Ullman and Jennifer Widom", title = "The {TSIMMIS} Project: {I}ntegration of Heterogeneous Information Sources", booktitle = "Proc.\ of the 10th Meeting of the Information Processing Society of Japan (IPSJ'94)", year = 1994, pages = "7--18", } @Article{ChMu92, author = "Michel Chein and Marie-Laure Mugnier", title = "Conceptual Graphs: {F}undamental Notions", journal = "Revue d'Intelligence Artificielle", year = 1992, volume = 6, number = 4, pages = "365--406", } @InProceedings{ChRa97, author = "Chandra Chekuri and Anand Rajaraman", title = "Conjunctive Query Containment Revisited", booktitle = ICDT-97, year = 1997, pages = "56--70", } @Article{Chen76, author = "P. P. Chen", title = "The {E}ntity-{R}elationship Model: {T}oward a Unified View of Data", journal = TODS, volume = 1, number = 1, month = mar, year = 1976, pages = "9--36", } @Article{Chou74, author = "Y. Choueka", title = "Theories of Automata on $\omega$-Tapes: {A} Simplified Approach", journal = JCSS, volume = 8, pages = "117--141", year = 1974, } @Book{CPSV92, author = "Thomas Christaller and Franco di Primio and Uwe Schnepf and Angi Vo{\ss}", title = "The {AI-Workbench BABYLON} --- an Open and Portable Development Environment for Expert Systems", publisher = AP, year = 1992, } @InProceedings{CACS94, author = "V. Christophides and S. Abiteboul and S. Cluet and M. Scholl", title = "From Structured Documents to Novel Query Facilities", booktitle = SIGMOD, pages = "313--324", address = "Minneapolis (Minnesota, USA)", editor = "R. T. Snodgrass and M. Winslett", year = 1994, } @InProceedings{COBL00, author = "Marta Cialdea Mayer and Andrea Orlandini and Giulio Balestreri and Carla Limongelli", title = "A Planner Fully Based on {L}inear {T}ime {L}ogic.", booktitle = AIPS-00, year = 2000, publisher = AAAIP, } @InProceedings{CLOB00, author = "Marta Cialdea Mayer and Carla Limongelli and Andrea Orlandini and Giulio Balestreri", title = "The Main Features of a Planner Fully Based on {LTL}", booktitle = "Proc.\ of AIPS~2000 Workshop on Model-Theoretic Approaches to Planning", year = 2000, } @InProceedings{CGGT97, author = "Alessandro Cimatti and Enrico Giunchiglia and Fausto Giunchiglia and Paolo Traverso", title = "Planning via Model Checking", booktitle = ECP-97, year = 1997, } @InProceedings{CiRT98, author = "Alessandro Cimatti and Marco Roveri and Paolo Traverso", title = "Automatic {OBDD}-Based Generation of Universal Plans in Non-Deterministic Domains", booktitle = AAAI-98, year = 1998, pages = "875--881" } @Article{CiRo00, author = "Alessandro Cimatti and Marco Roveri", title = "Conformant Planning via Symbolic Model Checking", journal = JAIR, year = 2000, volume = 13, pages = "305--338", } @TechReport{ClDe99, author = "J. Clark and S. Deach", title = "{E}xtensible {S}tylesheet {L}anguage ({XSL})", institution = "World Wide Web Consortium", note = "Available at http://www.w3.org/TR/WD-xsl", year = 1999, } @InProceedings{ClEv97, author = "Tony Clark and Andy S. Evans", title = "Foundations of the {U}nified {M}odeling {L}anguage", booktitle = "Proc.\ of the 2nd Northern Formal Methods Workshop", publisher = SV, editor = "David Duke and Andy Evans", year = 1997, } @InProceedings{CDSS98, author = "Sophie Cluet and Claude Delobel and J{\'e}r{\^o}me Sime{\'e}on and Katarzyna Smaga", title = "Your Mediators Need Data Conversion!", booktitle = VLDB-98, pages = "279--290", year = 1999, } @Article{Codd70, author = "E. F. Codd", title = "A Relational Model of Data for Large Shared Data Banks", journal = CACM, volume = 13, number = 6, year = 1970, pages = "377--387" } @InProceedings{Cohe99, author = "William W. Cohen", title = "Some Practical Observations on the Integration of Web Information", booktitle = "Proc. of the 2nd Int.\ Workshop on the Web and Databases (WebDB'99)", year = 1999, pages = "55--60", } @InProceedings{CoBH92, author = "William W. Cohen and Alex Borgida and Haym Hirsh", title = "Computing Least Common Subsumers in Description Logics", pages = "754--760", editor = "William Swartout", booktitle = AAAI-92, year = 1992, publisher = AAAIP, } @InProceedings{CoHi94, author = "William W. Cohen and Haym Hirsh", title = "Learning the {CLASSIC} Description Logics: {T}heorethical and Experimental Results", booktitle = KR-94, pages = "121--133", editor = "J. Doyle and E. Sandewall and P. Torasso", year = "1994" } @Article{CoHi94b, author = "William W. Cohen and Haym Hirsh", title = "Learnability of Description Logics with Equality Constraints", journal = "Machine Learning", year = 1994, volume = 17, pages = "169--200", number = "2/3", } @InProceedings{CoNS99, author = "Sara Cohen and Werner Nutt and Alexander Serebrenik", title = "Rewriting Aggregate Queries Using Views", booktitle = PODS-99, year = 1999, pages = "155--166", } @InProceedings{Coll75, author = "G. E. Collins", title = "Quantifier Elimination for Real Closed Fields by Cylindric Algebraic Decomposition", booktitle = "Proc.\ of the 2nd GI Conference on Automata Theory and Formal Languages", series = LNCS, volume = 33, editor = "H. Brakhage", publisher = SV, address = "Kaiserslautern", year = 1975, pages = "134--183", } @Article{CoQu70, author = "A. M. Collins and M. R. Quillian", title = "Facilitating Retrieval from Semantic Memory: {T}he Effect of Repeating Part of an Inference", journal = "Acta Psychologica", year = 1970, volume = 33, pages = "304--314" } @InProceedings{CoMe90, author = "M. P. Consens and A. O. Mendelzon", title = "GraphLog: a Visual Formalism for Real Life Recursion", booktitle = PODS-90, pages = "404--416", address = "Atlantic City (NJ, USA)", year = 1990, } @Book{CoLR90, author = "T. H. Cormen and C. E. Leiserson and R. L. Rivest", title = "Introduction to Algorithms", publisher = MIT, year = 1990 } @InProceedings{CoFa98, author = "Pascal Coupey and Catherine Faron", title = "Towards Correspondances Between Conceptual Graphs and Description Logics", booktitle = ICCS-98, editor = "Marie-Laure Mugnier and Michel Chein", volume = 1453, series = LNAI, year = 1998, publisher = SV, } @Article{CoCo96, author = "M. Conforti and G. Cornu\'ejols", title = "A Class of Logic Problems Solvable by Linear Programming", journal = JACM, volume = "42", year = "1995", pages = "1107--1113", } @Book{Conw71, author = "J. H. Conway", title = "Regular Algebra and Finite Machines", publisher = "Chapman and Hall", year = 1971, address = "London", } @Article{Cohe91, author = "Cohen-Chesnot, Jo{\"e}lle", title = "On the Expressive Power of Temporal Logic for Infinite Words", journal = TCS, year = 1991, volume = 83, pages = "301--312" } @Article{Cohn89, author = "A. G. Cohn", title = "Taxonomic Reasoning with Many-Sorted Logics", journal = AIR, year = "1989", pages = "89--128", volume = "3", } @Article{CoHS91, author = "Christine Collet and Michael N. Huhns and Wei-Min Shen", title = "Resource Integration Using a Large Knowledge Base in {C}arnot", journal = COMPUTER, year = 1991, volume = 24, number = 12, pages = "55--62" } @InProceedings{Cosm83, author = "Stavros S. Cosmadakis", title = "The Complexity of Evaluating Relational Queries", booktitle = PODS-83, pages = "149--155", year = 1983, } @InCollection{CoKa86, author = "Stavros S. Cosmadakis and Paris C. Kanellakis", title = "Functional and Inclusion Dependencies - {A} Graph Theoretical Approach", booktitle = ACR3, publisher = JAI, year = "1986", editor = "P. C. Kanellakis and F. P. Preparata", pages = "163--184", } @InProceedings{Cosm93, author = "S. S. Cosmadakis", title = "Logical Reducibility and Monadic {NP}", booktitle = FOCS-93, year = "1993", } @Article{CoKV90, author = "S. S. Cosmadakis and P. C. Kanellakis and M. Vardi", title = "Polynomial-Time Implication Problems for Unary Inclusion Dependencies", journal = JACM, volume = "37", number = "1", year = "1990", month = jan, pages = "15--46", } @Article{CrAu96, author = "Crawford, J. and Auton, L.", title = "Experimental Results on the Crossover Point in Random {3SAT}", journal = AIJ, year = 1996, volume = 81, number = "1--2", pages = "31--57", } @InProceedings{CrMW87, author = "I. F. Cruz and A. O. Mendelzon and P. T. Wood", title = "A Graphical Query Language Supporting Recursion", booktitle = SIGMOD, pages = "323--330", address = "San Francisco (CA, USA)", year = 1987 } @Article{CuLK88, author = "B. Curtis and N. Iscoe and H. Krasner", title = "A Field Study of the Software Design Process for Large Systems", journal = CACM, year = 1988, pages = "1268-1287", volume = 31, number = 11, month = Nov, } @Article{CzEm91, author = "B. Czejdo and D. W. Embley", title = "View Specification and Manipulation for a Semantic Data Model", journal = IS, year = 1991, volume = 16, number = 6, pages = "586--612" } %ddddddddddddddddddddddddd %ddddddddddddddddddddddddd @Article{DaMo94, author = "{D'Agostino}, Marcello and Marco Mondadori", title = "The Taming of the Cut. {C}lassical Refutations with Analytic Cut", journal = JLC, year = 1994, volume = 4, pages = "285--319", } @InProceedings{Dala92, author = "Mukesh Dalal", title = "Tractable Instances of some Hard Deduction Problems", booktitle = ECAI-92, year = "1992", publisher = JWS, address = "Vienna (Austria)", pages = "354--363", } @TechReport{DBMP90, author = "Maria Damiani and Sandro Bottarelli and Manlio Migliorati and Christof Peltason", title = "Terminological Information Management in {ADKMS}", institution = "Fachbereich Informatik, Technische Universit{\"a}t Berlin", number = "{KIT}-Report 81", year = "1990", address = "Berlin (Germany)", } @InProceedings{Dane84, author = "Ryszard Danecki", title = "Nondeterministic {P}ropositional {D}ynamic {L}ogic with Intersection is Decidable", booktitle = SCT-84, series = LNCS, volume = 208, publisher = SV, pages = "34--53", year = 1984, } @InProceedings{DaTV99, author = "Marco Daniele and Paolo Traverso and Moshe Y. Vardi", title = "Strong Cyclic Planning Revisited", year = 1999, pages = "35--48", series = LNAI, volume = 1809, publisher = SV, booktitle = ECP-99, } @Article{Davi73, author = "Martin Davis", title = "Hilbert's Tenth Problem is Unsolvable", year = 1973, journal = "American Mathematical Monthly", volume = 80, pages = "233--269", } @Article{DaLL62, author = "M. Davis and G. Logemann and D. Loveland", title = "A machine program for theorem proving", journal = CACM, year = 1962, volume = 5, pages = "394--397", } @InProceedings{DFHH*00, author = "Stefan Decker and Dieter Fensel and Frank van Harmelen and Ian Horrocks and Sergey Melnik and Michel Klein and Jeen Broekstra", title = "Knowledge Representation on the Web", booktitle = DL-00, publisher = "CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-33/", pages = "89--97", year = 2000, } @InProceedings{DeGi92, author = "De Giacomo, Giuseppe", title = "Intensional Query Answering: an Application of Partial Evaluation", booktitle = "Proceedings of the 2nd Workshop on Logic Program Synthesis and Transformation ({LOPSTR'92})", publisher = SV, series = "Workshop in Computing Series", pages = "132--150", year = 1993 } @InProceedings{DeGi93, author = "De Giacomo, Giuseppe", title = "Reconciling Different Semantics for Concept Definitions (extended abstract)", booktitle = "Proc.\ of the 1st {COMPULOG} Net Meeting on Knowledge Representation and Reasoning Systems ({CNKRR'93})", year = 1993 } @PhDThesis{Degi95, author = "De Giacomo, Giuseppe", title = "Decidability of Class-Based Knowledge Representation Formalisms", school = DIS, year = 1995, } @Article{Degi96, author = "De Giacomo, Giuseppe", title = "Eliminating ``converse'' from {Converse} {PDL}", journal = JLLI, volume = 5, pages = "193--208", year = 1996, } @Article{Degi96b, author = "De Giacomo, Giuseppe", title = "Intensional query answering by partial evaluation", journal = JIIS, volume = 7, number = 3, pages = "205--233", publisher = KAP, year = 1996, } @InProceedings{DINR96, author = "De Giacomo, Giuseppe and Luca Iocchi and Daniele Nardi and Riccardo Rosati", booktitle = KR-96, pages = "198--209", title = "Moving a Robot: the {KR\&R} Approach at Work", year = 1996, } @InProceedings{DINR96b, author = "De Giacomo, Giuseppe and Luca Iocchi and Daniele Nardi and Riccardo Rosati", title = "Moving a Robot from a Theory of Actions", booktitle = "Proc.\ of the AAAI'96 Workshop on Reasoning about Actions, Planning and Control: Bridging the Gap", year = 1996, address = "Portland (USA)" } @InProceedings{DINR97, author = "De Giacomo, Giuseppe and Luca Iocchi and Daniele Nardi and Riccardo Rosati", title = "Planning with Sensing for a Mobile Robot", booktitle = ECP-97, publisher = SV, series = LNAI, number = 1348, pages = "156--168", year = 1997, } @Article{DINR99, author = "De Giacomo, Giuseppe and Iocchi, Luca and Nardi, Daniele and Rosati, Riccardo", title = "A Theory and Implementation of Cognitive Mobile Robots", journal = JLC, year = 1999, volume = 9, number = 5, pages = "759--785", } @Unpublished{DeLe93, author = "De Giacomo, Giuseppe and Lenzerini, Maurizio", title = "A Uniform Framework for Concept Definitions", month = jul, year = 1993, note = "Unpublished manuscript" } @InProceedings{DeLe94, author = "De Giacomo, Giuseppe and Maurizio Lenzerini", title = "Boosting the Correspondence between Description Logics and Propositional Dynamic Logics", booktitle = AAAI-94, publisher = AAAIP, pages = "205--212", year = 1994 } @InProceedings{DeLe94b, author = "De Giacomo, Giuseppe and Maurizio Lenzerini", title = "Concept Language with Number Restrictions and Fixpoints, and its Relationship with $\mu$-Calculus", booktitle = ECAI-94, pages = "411--415", year = 1994 } @InProceedings{DeLe94c, author = "De Giacomo, Giuseppe and Maurizio Lenzerini", title = "Description Logics with Inverse Roles, Functional Restrictions, and n-ary Relations", booktitle = JELIA-94, publisher = SV, series = LNAI, volume = 838, pages = "332--346", year = 1994 } @TechReport{DeLe94d, author = "De Giacomo, Giuseppe and Maurizio Lenzerini", title = "Converse, Local Determinism, and Graded Nondeterminism in Propositional Dynamic Logics", institution = DIS, number = "11-94", month = jun, year = 1994 } @InProceedings{DeLe94e, author = "De Giacomo, Giuseppe and Lenzerini, Maurizio", Title = "On The Correspondence between Description Logics and Logics of Programs (Position Paper)", booktitle = "Proc.\ of the Description Logics Workshop", pages = "1--4", year = 1994 } @InProceedings{DeLe95, author = "De Giacomo, Giuseppe and Maurizio Lenzerini", title = "Enhanced Propositional Dynamic Logic for Reasoning about Concurrent Actions (extended abstract)", booktitle = "Working Notes of the AAAI 1995 Spring Symposium on Extending Theories of Action: {F}ormal and Practical Applications", year = 1995, pages = "62--67" } @InProceedings{DeLe95b, author = "De Giacomo, Giuseppe and Maurizio Lenzerini", title = "What's in an Aggregate: {F}oundations for Description Logics with Tuples and Sets", booktitle = IJCAI-95, pages = "801--807", year = 1995, } @InProceedings{DeLe95c, author = "De Giacomo, Giuseppe and Maurizio Lenzerini", title = "{PDL}-Based Framework for Reasoning about Actions", booktitle = AI*IA-95, publisher = SV, volume = 992, series = LNAI, pages = "103--114", year = 1995, } @InProceedings{DeLe96, author = "De Giacomo, Giuseppe and Maurizio Lenzerini", title = "{TBox} and {ABox} Reasoning in Expressive Description Logics", booktitle = KR-96, editor = "Luigia C. Aiello and John Doyle and Stuart C. Shapiro", publisher = MK, year = 1996, pages = "316--327" } @Article{DeLe97, author = "De Giacomo, Giuseppe and Maurizio Lenzerini", title = "A Uniform Framework for Concept Definitions in Description Logics", journal = JAIR, year = 1997, volume = 6, pages = "87--110" } @InProceedings{DeMa96, author = "De Giacomo, Giuseppe and Fabio Massacci", title = "Tableaux and Algorithms for Propositional Dynamic Logic with Converse", booktitle = CADE-96, editor = "Michael A. McRobbie and John K. Slaney", pages = "613-628", publisher = SV, series = LNAI, volume = 1104, year = 1996, } @Article{DeMa00, author = "De Giacomo, Giuseppe and Fabio Massacci", title = "Combining Deduction and Model Checking into Tableaux and Algorithms for Converse-PDL", journal = ICOMP, year = 2000, volume = 160, number = "1--2", } @InProceedings{DeNa96, author = "De Giacomo, Giuseppe and Paolo Naggar", booktitle = "Proc.\ of the 8th Int.\ Conf.\ on Scientific and Statistical Data Base Management", title = "Conceptual Data Model with Structured Objects for Statistical Databases", year = 1996, pages = "168--175" } @InProceedings{DeVa99, author = "De Giacomo, Giuseppe and Moshe Y. Vardi", title = "Automata-Theoretic Approach to Planning for Temporally Extended Goals", booktitle = ECP-99, volume = 1809, series = LNAI, year = 1999, publisher = SV, pages = "226--238", } @InCollection{DeJo90, author = "N. Dershowitz and J. Jouannaud", title = "Rewrite Systems", chapter = 6, publisher = ESP, year = 1990, booktitle = "Handbook of Theoretical Computer Science", volume = "B", editor = "J. {van Leeuven}", pages = "243--320", } @Misc{DFFLS98, author = "Alin Deutsch and Mary F. Fernandez and Daniela Florescu and Alon Levy and Dan Suciu", title = "{XML-QL}: {A} Query Language for {XML}", howpublished = "Submission to the World Wide Web Consortium", month = aug, year = 1998, note = "Available at http://www.w3.org/TR/NOTE-xml-ql" } @Article{DFFL*99, author = "Alin Deutsch and Mary F. Fernandez and Daniela Florescu and Alon Levy and David Maier and Dan Suciu", title = "Querying {XML} Data", journal = IEEEBDE, year = 1999, volume = 22, number = 3, pages = "10--18", } @Article{DBSB91, author = "Premkumar Devambu and Ronald J. Brachman and Peter J. Selfridge and Bruce W. Ballard", title = "{LASSIE:} {A} Knowledge-Based Software Information System", journal = CACM, year = "1991", pages = "36--49", volume = "34", number = "5", } @InProceedings{DCGM*99, author = "P. Devanbu and R. Chen and E. Gansner and H. Muller and A. Martin", title = "Chime: {C}ustomizable {H}yperlink {I}nsertion and {M}aintenance {E}ngine for Software Engineering Environments", booktitle = "Proc.\ of the 1999 Int.\ Conf.\ on Software Engineering", year = 1999, publisher = IEEEP, } @Article{DeJo97, author = "Premkumar Devanbu and Mark A. Jones", title = "The use of Description Logics in {KBSE} Systems", journal = TOSEM, year = 1997, volume = 6, number = 2, pages = "141--172" } @InProceedings{DeLi91, author = "Premkumar Devambu and Diane Litman", title = "Plan-Based Terminological Reasoning", booktitle = KR-91, editor = "James Allen and Richard Fikes and Erik Sandewall", year = "1991", publisher = MK, pages = "128--138", } @Book{Dev97, author = "Barry Devlin", title = "Data Warehouse: From Architecture to Implementation", year = "1997", publisher = AW, } @InProceedings{DiPG87, author = "Oscar Diaz and Norman Paton and Peter Gray", title = "Rule Management in Object Oriented Databases: A Uniform Approach", booktitle = VLDB-91, address = "Barcelona (Spain)", year = "1991", pages = "317--326", } @Article{DiLe93, author = "Di Battista, Giuseppe and Maurizio Lenzerini", title = "Deductive Entity-Relationship Modeling", journal = TKDE, volume = "5", number = "3", pages = "439--450", year = "1993", } @InProceedings{Dieu94, author = "Di Eugenio, Barbara", title = "Action Representation for Interpreting Purpose Clauses in Natural Language Instructions", year = 1994, booktitle = KR-94, pages = "158--169", } @Article{Dieu98, author = "Di Eugenio, Barbara", title = "An Action Representation Formalism to interpret Natural Language Instructions", journal = CI, year = 1998, volume = 14, number = 1, pages = "89--133", } @Article{DiWu91, author = "David M. Dilts and Wenhua Wu", title = "Using Knowledge-Based Technology to Integrate {CIM} Databases", journal = TKDE, year = 1991, volume = 3, number = 2, pages = "237--245" } @InProceedings{DiMO92, author = "Robert Dionne and Eric Mays and Frank J. Oles", title = "A Non-Well-Founded Approach to Terminological Cycles", year = "1992", booktitle = AAAI-92, pages = "761--766", publisher = AAAIP, } @InProceedings{DiMO93, author = "Robert Dionne and Eric Mays and Frank J. Oles", title = "The Equivalence of Model Theoretic and Structural Subsumption in Description Logics", booktitle = IJCAI-93, year = "1993", publisher = MK, pages = "710--716", address = "Chamb\'ery (France)", } @Article{KvDo01, author = "Jonas Kvarnstr{\"o}m and Patrick Doherty", title = "{TALplanner}: {A} Temporal Logic Based Forward Chaining Planner", journal = AMAI, year = 2001, note = "To appear", } @Article{DGKK98, author = "Patrick Doherty and Joakim Gustafsson and Lars Karlsson and Jonas Kvarnstr{\"o}m", title = "{(TAL)} {T}emporal {A}ction {L}ogics: {L}anguage Specification and Tutorial", journal = ETAI, year = 1998, volume = 2, number = "3--4", pages = "273--306", } @Article{DoDi99, author = "Ruxandra Domenig and Klaus R. Dittrich", title = "An Overview and Classification of Mediated Query Systems", journal = SIGMODR, year = 1999, volume = 28, number = 3, pages = "63--72", } @InProceedings{DoRa97, author = "Guozhu Dong and Kotagiri Ramamohanarao", title = "Maintaining Constrained Transitive Closure by Conjunctive Queries", booktitle = DOOD-97, year = 1997 } @Article{DoSu96, author = "Guozhu Dong and Jianwen Su", title = "Conjunctive Query Containment with Respect to Views and Constraints", journal = IPL, year = 1996, volume = 57, number = 2, pages = "95--102" } @InProceedings{DoDM96, author = "Francesco Donini and De Giacomo, Giuseppe and Fabio Massacci", title = "{EXPTIME} Tableaux for {$\mathcal{ALC}$}", pages = "107--110", booktitle = DL-96, series = "AAAI Technical Report", number = "WS-96-05", publisher = AAAIP, year = 1996, } @InProceedings{DoEr92, author = "Francesco M. Donini and Angelo Era", title = "Most Specific Concepts for Knowledge Bases with Incomplete Information", editor = "Y. Yesha", pages = "545--551", place = "Baltimore, MD", booktitle = CIKM-92, year = "1992", } @TechReport{DHLM90, author = "Francesco M. Donini and Bernhard Hollunder and Maurizio Lenzerini and Alberto Marchetti Spaccamela and Daniele Nardi and Werner Nutt", title = "The Complexity of Existential Quantification in Concept Languages", institution = DFKI, address = "Kaiserslautern (Germany)", year = "1990", } @Article{DHLM92, author = "Francesco M. Donini and Bernhard Hollunder and Maurizio Lenzerini and Alberto Marchetti Spaccamela and Daniele Nardi and Werner Nutt", title = "The Complexity of Existential Quantification in Concept Languages", journal = AIJ, year = "1992", pages = "309--327", volume = "2--3", } @InProceedings{DoLe88, author = "Francesco M. Donini and Maurizio Lenzerini", title = "{T}erm{L}og: a Logic for Terminological Knowledge", booktitle = ISMIS-88, year = "1988", publisher = NH, pages = "408--417", editor = "Zbigniew Ras and Lorenza Saitta", } @Article{DoLN90, author = "Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi", title = "Using Terminological Reasoning in Hybrid Systems", journal = AIC, year = "1990", pages = "128--138", volume = "3", number = "3", } @InProceedings{DoLN90b, author = "Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi", title = "An Efficient Method for Hybrid Deduction", booktitle = ECAI-90, year = "1990", publisher = "Pitman", pages = "246--252", editor = "Luigia Carlucci Aiello", } @InProceedings{DLNN91, author = "Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi and Werner Nutt", title = "The Complexity of Concept Languages", booktitle = KR-91, editor = "James Allen and Richard Fikes and Erik Sandewall", year = "1991", publisher = MK, pages = "151--162", } @InProceedings{DLNN91b, author = "Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi and Werner Nutt", title = "Tractable Concept Languages", booktitle = IJCAI-91, year = "1991", address = "Sydney (Australia)", pages = "458--463", } @TechReport{DLNN92b, author = "Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi and Werner Nutt", title = "Tractable Concept Languages", institution = DIS, year = "1992", note = "Forthcoming", } @TechReport{DLNN94, author = "Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi and Werner Nutt", title = "Tractability and Intractability in Concept Languages", institution = DIS, year = "1994", note = "Forthcoming", } @TechReport{DLNN95, author = "Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi and Werner Nutt", title = "The Complexity of Concept Languages", institution = DFKI, year = "1995", number = "RR-95-07", } @Article{DLNN97, author = "Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi and Werner Nutt", title = "The Complexity of Concept Languages", journal = ICOMP, year = "1997", volume = 134, pages = "1--58", } @Unpublished{DLNN99, author = "Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi and Werner Nutt", title = "Tractability and Intractability in Description Logics", note = "Available at ftp://ftp.dis.uniroma1.it/pub/ai/papers/dlnn99d.ps.gz", year = 1999, } @InProceedings{DLNNS92, author = "Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi and Werner Nutt and Andrea Schaerf", title = "Adding Epistemic Operators to Concept Languages", booktitle = KR-92, publisher = MK, year = "1992", pages = "342--353", } @InProceedings{DLNNS93, author = "Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi and Werner Nutt and Andrea Schaerf", title = "Queries, Rules and Definitions as Epistemic Sentences in Concept Languages", booktitle = "Proc.\ of the ECAI Workshop on Knowledge Representation and Reasoning", year = "1994", publisher = SV, series = LNAI, volume = 810, pages = "113--132" } @InProceedings{DLNNS94, author = "Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi and Werner Nutt and Andrea Schaerf", title = "Queries, Rules and Definitions ", booktitle = "Foundations of Knowledge Representation and Reasoning", publisher = SV, year = "1994", } @TechReport{DLNNS95, author = "Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi and Werner Nutt and Andrea Schaerf", title = "Adding Epistemic Operators to Description Logics", institution = DIS, year = "1996", number = "16-96" } @Article{DLNNS98, author = "Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi and Werner Nutt and Andrea Schaerf", title = "An Epistemic Operator for Description Logics", journal = AIJ, volume = 100, number = "1--2", pages = "225--274", year = 1998, } @InProceedings{DLNS91, author = "Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi and Andrea Schaerf", title = "A Hybrid System Integrating {D}atalog and Concept Languages", booktitle = AI*IA-91, year = 1991, publisher = SV, volume = 549, series = LNAI, note = "An extended version appeared also in the Working Notes of the AAAI Fall Symposium on ``Principles of Hybrid Reasoning''", } @InProceedings{DLNS91b, author = "Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi and Andrea Schaerf", title = "Epistemic Operators in Concept Languages", booktitle = "Terminological Logic Users Workshop --- Workshop Statements", editor = "C. Peltason and Kai von Luck and C. Kindermann", publisher = "Technische Universit{\"{}a}t Berlin", year = "1991", } @TechReport{DLNS92, author = "Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi and Andrea Schaerf", title = "From Subsumption to Instance Checking", institution = DIS, year = "1992", number = "15.92", } @Article{DLNS94, author = "Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi and Andrea Schaerf", title = "Deduction in Concept Languages: From Subsumption to Instance Checking", journal = JLC, year = "1994", volume = "4", number = "4", pages = "423--452" } @InCollection{DLNS96, author = "Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi and Andrea Schaerf", title = "Reasoning in Description Logics", booktitle = "Principles of Knowledge Representation", year = "1996", editor = "Gerhard Brewka", publisher = "{CSLI} Publications", series = "Studies in Logic, Language and Information", pages = "193--238", } @Article{DLNS98, author = "Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi and Andrea Schaerf", title = "{${\cal AL}$-log}: Integrating {D}atalog and Description Logics", year = 1998, journal = JIIS, pages = "227--252", volume = 10, number = 3, } @InProceedings{DMNR96, author = "Francesco M. Donini and Fabio Massacci and Daniele Nardi and Riccardo Rosati", title = "A Uniform Tableaux Method for Nonmonotonic Modal Logics", booktitle = JELIA-96, editor = "Alferes, J. J. and Pereira, L. M. and Orlowska, E.", volume = 1126, series = LNAI, year = 1996, publisher = SV, pages = "87--103" } @InProceedings{DoNR95, author = "Francesco M. Donini and Daniele Nardi and Riccardo Rosati", title = "Non-first-order Features in Concept Languages", booktitle = AI*IA-95, year = 1995, publisher = SV, series = LNAI, volume = 992, editor = "M. Gori and G. Soda", pages = "91--102", } @Article{DoNR97, author = "Francesco M. Donini and Daniele Nardi and Riccardo Rosati", journal = JLC, month = aug, number = 4, title = "Ground Nonmonotonic Modal Logics", volume = 7, pages = "523--548", year = 1997, } @InProceedings{DoNR97b, author = "Francesco M. Donini and Daniele Nardi and Riccardo Rosati", booktitle = IJCAI-97, pages = "136--141", title = "Autoepistemic Description Logics", year = 1997, } @Article{Dorr92, author = "Bonnie J. Dorr", title = "The Use of Lexical Semantics in Interlingual Machine Translation", journal = JMT, year = 1992, volume = 7, pages = "135--193", } @InProceedings{DoVo93, author = "Bonnie J. Dorr and Clare R. Voss", title = "Machine {T}ranslation of Spatial Expressions: Defining the Relation Between an Interlingua and a Knowledge Representation System", booktitle = AAAI-93, year = 1993, } @Article{DoVo95, author = "Bonnie J. Dorr and Clare R. Voss", title = "Toward a Lexicalized Grammar for Interlinguas", journal = jMT, year = 1995, volume = 10, number = 1, pages = "139--180", } @InProceedings{DVPK94, author = "B. Dorr and C. Voss and E. Peterson and M. Kiker", title = "Concept-based Lexical Selection", booktitle = "Working notes of the AAAI Fall Symposium on ``Knowledge Representation for Natural Language Processing in Implemented Systems''", year = 1994, } @Article{DoPa91, author = "Jon Doyle and Ramesh S. Patil", title = "Two Theses of Knowledge Representation: Language Restrictions, Taxonomic Classification, and the Utility of Representation Services", journal = AIJ, year = "1991", volume = "48", pages = "261--297", } @InProceedings{DuBS90, author = "Pratul Dublish and Joachim Biskup and Yehoshua Sagiv", title = "Optimization of a Subclass of Conjunctive Queries", booktitle = ICDT-90, year = 1990, pages = "455--469" } @PhdThesis{Dusc97, author = "Oliver Duschka", title = "Query Planning and Optimization in Information Integration", school = "Stanford University", year = 1997, } @InProceedings{DuGe97, author = "Oliver M. Duschka and Michael R. Genesereth", title = "Answering Recursive Queries Using Views", booktitle = PODS-97, year = 1997, pages = "109--116" } @InProceedings{DuGe98, author = "Oliver M. Duschka and Michael R. Genesereth", title = "Query Planning with Disjunctive Sources", booktitle = "Proc.\ of the AAAI-98 Workshop on AI and Information Integration", publisher = AAAIP, year = 1998 } @Article{DuGL00, author = "Oliver M. Duschka and Michael R. Genesereth and Alon Y. Levy", title = "Recursive Query Plans for Data Integration", journal = JLP, year = 2000, volume = 43, number = 1, pages = "49--73", } @InProceedings{DuLe97, author = "Oliver M. Duschka and Alon Y. Levy", title = "Recursive Plans for Information Gathering", booktitle = IJCAI-97, year = 1997, pages = "778--784" } %eeeeeeeeeeeeeeeeeeeeeeeee %eeeeeeeeeeeeeeeeeeeeeeeee @Book{EbFl99, author = "H.-D. Ebbinghaus and J. Flum", title = "Finite Model Theory", publisher = SV, year = 1999, edition = "Second Edition", } @InCollection{EdOw86, author = "J. Edelmann and B. Owsnicki", title = "Data Models in Knowledge Representation Systems: {A} Case Study", editor = "C. R. Rollinger and W. Horn", booktitle = "{GWAI}-86 and 2.\ {\"O}sterreichische Artificial-Intelligence-Tagung", series = "Informatik-Fachberichte", volume = 124, publisher = SV, year = 1986, pages = "69--74", } @Book{Eil76, author = "Samuel Eilenberg", title = "Automata, Languages, and Machines", publisher = AP, year = 1976, volume = "A \& B", address = "New York (USA)" } @Article{EiGM97, author = "Thomas Eiter and Georg Gottlob and Heikki Mannilla", title = "Disjunctive {D}atalog", journal = TODS, year = "1997", volume = "22", number = "3", pages = "364--418", } @InProceedings{ELMPS98, author = "Thomas Eiter and Nicola Leone and Cristinel Mateis and Gerald Pfeifer and Francesco Scarcello", title = "The {KR} system dlv: {P}rogress Report, Comparison and Benchmarks", booktitle = KR-98, pages = "636--647", year = 1998 } @Article{EiGG00, author = "Thomas Eiter and Georg Gottlob and Yuri Gurevich", title = "Existential Second-Order Logic over Strings", journal = JACM, year = "2000", volume = "47", number = "1", pages = "77--131", } %% was EkNNG92 @Book{ENNG92, editor = "P. Eklund and T. Nagle and J. Nagle and L. Gerholz", title = "Conceptual Structures: {C}urrent Research and Practice", year = "1992", publisher = "Ellis Horwood", } @InProceedings{Elka89, author = "Charles Elkan", title = "A Decision Procedure for Conjunctive Query Disjointness", booktitle = PODS-89, year = 1989, pages = "134--139" } @InCollection{Elli92, author = "Gerard Ellis", title = "Compiled Hierarchical Retrieval", booktitle = "Conceptual Structures: Current Research and Practice", publisher = "Ellis Horwood", year = 1992, editor = "T. Nagle and J. Nagle and L. Gerholz and P. Eklund", pages = "285--310", } @Book{ElNa88, author = "Ramez A. ElMasri and Shamkant B. Navathe", title = "Fundamentals of Database Systems", publisher = BC, year = "1988", } @Book{ElNa94, author = "Ramez A. ElMasri and Shamkant B. Navathe", title = "Fundamentals of Database Systems", publisher = BC, year = "1994", edition = "2nd", } @InProceedings{Emde82, author = "Peter van Emde Boas", title = "Dominoes are Forever", booktitle = "Proc.\ of 1st GTI Workshop", pages = "75--95", year = 1982, series = "Rheie Theoretische Informatik UGH Paderborn", address = "Paderborn (Germany)" } @InCollection{Emde97, author = "Peter van Emde Boas", title = "The Convenience of Tilings", booktitle = "Complexity, Logic, and Recursion Theory", publisher = "Marcel Dekker Inc.", year = 1997, editor = "A. Sorbi", volume = 187, series = "Lecture notes in pure and applied mathematics", pages = "331--363" } @InCollection{Emer90, author = "E. Allen Emerson", title = "Temporal and Modal Logic", booktitle = "Handbook of Theoretical Computer Science", publisher = ESP, pages = "997--1072", year = 1990, } @InCollection{Emer96, author = "E. Allen Emerson", title = "Automated Temporal Reasoning about Reactive Systems", booktitle = "Logics for Concurrency: {S}tructure versus Automata", publisher = SV, year = 1996, editor = "Faron Moller and Graham Birtwistle", volume = 1043, series = LNCS, pages = "41--101" } @InProceedings{EmCl80, author = "E. A. Emerson and E. M. Clarke", title = "Characterizing Correctness Properties of Parallel Programs Using Fixpoints", booktitle = ICALP-80, pages = "169--181", year = 1980, } @InProceedings{EmJu88, author = "E. Allen Emerson and Charanjit S. Jutla", title = "The Complexity of Tree Automata and Logics of Programs", booktitle = FOCS-88, pages = "328--337", year = 1988, } @InProceedings{EmJu89, author = "E. Allen Emerson and Charanjit S. Jutla", title = "On Simultaneously Determinizing and Complementing $\omega$-Automata", booktitle = LICS-89, year = 1989, pages = "333--342", } @InProceedings{EmJu91, author = "E. Allen Emerson and Charanjit S. Jutla", title = "Tree Automata, Mu-Calculus and Determinacy", booktitle = FOCS-91, year = 1991, pages = "368--377", } @InProceedings{EmLe86, author = "Emerson, E. A. and Lei, C.-L.", title = "Efficient Model Checking in Fragments of the mu-Calculus", booktitle = LICS-86, year = 1986, pages = "267--278", } @Article{EmSi84, author = "E. Allen Emerson and A. Prasad Sistla", title = "Deciding Full Branching Time Logic", journal = ICon, year = 1984, volume = 61, pages = "175--201" } @InProceedings{EHWD*92, author = "Oren Etzioni and Steve Hanks and Daniel S. Weld and Denise Draper and Neal Lesh and Mike Williamson", title = "An Approach to Planning with Incomplete Information", booktitle = KR-92, pages = "115--125", year = 1992, } @InProceedings{Evan98, author = "Andy S. Evans", title = "Reasoning with {UML} Class Diagrams", booktitle = "Second {IEEE} Workshop on Industrial Strength Formal Specification Techniques (WIFT'98)", publisher = IEEEP, year = 1998, } @InProceedings{EFLR97, author = "Andy Evans and Robert France and Kevin Lano and Bernhard Rumpe", title = "The {UML} as a Formal Modeling Notation", booktitle = "Proc.\ of the OOPSLA'97 Workshop on Object-oriented Behavioral Semantics", publisher = "Technische Universit{\"a}t M{\"u}nchen, TUM-I9737", editor = "Haim Kilov and Bernhard Rumpe and Ian Simmonds", pages = "75--81", year = 1997, } @InCollection{EFLR99, author = "Andy Evans and Robert France and Kevin Lano and Bernhard Rumpe", title = "Meta-modelling Semantics of {UML}", editor = "H. Kilov", booktitle = "Behavioural Specifications for Businesses and Systems", publisher = KAP, chapter = 2, year = 1999, } %fffffffffffffffffffffffff %fffffffffffffffffffffffff @Article{Fagi93, author = "Ronald Fagin", title = "Finite-Model Theory --- a Personal Perspective", journal = TCS, year = 1993, volume = 116, pages = "3--31" } @Article{Fagi75, author = "Ronald Fagin", title = "Monadic Generalized Spectra", journal = ZMLGM, year = 1975, volume = 21, pages = "89--96" } @Book{FHMV95, author = "Ronald Fagin and Joseph Y. Halpern and Yoram Moses and Moshe Y. Vardi", title = "Reasoning about Knowledge", year = 1995, publisher = MIT, } @Proceedings{FaFr96, editor = "Boi Faltings and Eugene Freuder", title = "Working Notes of the AAAI Fall Symposium on Configuration", year = 1996, note = "Technical Report FS-96-03", month = nov, } @Article{FaFr98, author = "Boi Faltings and Eugene Freuder", title = "Configuration: {G}etting It Right", journal = IEEE-IS, year = 1998, volume = 13, number = 4, } @Proceedings{FFFF99, editor = "Boi Faltings and Eugene Freuder and Gerhard Friedrich and Alexander Felfernig", title = "Proc.\ of AAAI Worshop on Configuration", year = 1999, month = jul, note = "Technical Report WS-99-05", } @InProceedings{FaHM91, author = "D. Fang and J. Hammer and D. McLeod", title = "The Identification and Resolution of Semantic Heterogeneity in Multidatabase Systems", booktitle = "1st {IEEE} International Workshop on Interoperability in Database Systems", year = 1991, } @Article{FaDe85, author = "M. Fattorosi-Barnaba and De Caro, F.", title = "Graded modalities {I}", journal = SL, volume = 44, pages = "197--221", year = 1985, } @InProceedings{FeVa93, author = "Tom{\'a}s Feder and Moshe Y. Vardi", title = "Monotone Monadic {SNP} and Constraint Satsifaction", booktitle = STOC-93, pages = "612--622", year = 1993, } @Article{FeVa99, author = "Tom{\'a}s Feder and Moshe Y. Vardi", title = "The Computational Structure of Monotone Monadic {SNP} and Constraint Satisfaction", journal = SIAM-JOC, year = 1999, volume = 28, pages = "57--104", } @InProceedings{FHJN*94, author = "D. Fehrer and U. Hustadt and M. Jaeger and A. Nonnengart and H.-J. Ohlbach and R. Schmidt and C. Weidenbach and E. Weydert", title = "Description Logics for Natural Language Processing", booktitle = DL-94, year = 1994, publisher = DFKI, number = "D-94-10", } @InProceedings{Ferg91, author = "S. Ferg", title = "Cardinality Concepts in Entity-Relationship Modeling ", booktitle = ER-91, year = 1991, pages = "1--30" } @Article{FeHL96, author = "Jacques A. Ferland and Alain Hertz and Alain Lavoie", title = "An Object-Oriented Methodology for Solving Assignment Type Problems with Neighborhood Search Techniques", journal = "Operations Research", year = 1996, volume = 44, number = 2, pages = "347--359", } @InProceedings{FFKLS98, author = "Mary F. Fernandez and Daniela Florescu and Jaewoo Kang and Alon Y. Levy and Dan Suciu", title = "Catching the Boat with Strudel: {E}xperiences with a Web-Site Management System", booktitle = SIGMOD, year = 1998, pages = "414--425" } @Article{FFLS97, author = "Mary F. Fernandez and Daniela Florescu and Alon Y. Levy and Dan Suciu", title = "A Query Language for a Web-Site Management System", journal = SIGMODR, year = 1997, volume = 26, number = 3, pages = "4--11" } @InProceedings{FFLS98, author = "Mary F. Fernandez and Daniela Florescu and Alon Y. Levy and Dan Suciu", title = "Reasoning About Web-Site Structure", booktitle = KRDB-98, year = 1998, pages = "10.1--10.9" } @InProceedings{FeSu98, author = "Mary F. Fernandez and Dan Suciu", title = "Optimizing Regular Path Expressions Using Graph Schemas", booktitle = ICDE-98, year = 1998, pages = "14--23" } @InProceedings{FFLS99, author = "Mary F. Fernandez and Daniela Florescu and Alon Levy and Dan Suciu", title = "Verifying Integrity Constraints on Web-Sites", booktitle = IJCAI-99, year = 1999, pages = "614--619", } @Article{FiKe85, author = "Richard Fikes and Tom Kehler", title = "The Role of Frame-based Representation in Reasoning", journal = CACM, year = 1985, volume = 28, number = 9, pages = "904--920", } @Book{Find79, author = "Nicholas V. Findler", title = "Associative Networks. Representation and Use of Knowledge by Computers", year = 1979, publisher = AP, } @Article{Fine72, author = "K. Fine", title = "In so Many Possible Worlds", journal = NDJFL, volume = 13, number = 4, pages = "516--520", year = 1972, } @Article{FiGa92, author = "Michael Finger and Dov Gabbay", title = "Adding a Temporal Dimension to a Logic System", journal = JLLI, volume = 2, year = 1992, pages = "203--233", } @Article{FiLa79, author = "Michael J. Fischer and Richard E. Ladner", title = "Propositional Dynamic Logic of Regular Programs", journal = JCSS, year = 1979, volume = 18, pages = "194--211" } @InCollection{FACCD87, author = "D. H. Fishman and J. Annevelink and E. Chow and T. Connors and J. W. Davis and W. Hasan and C. G. Hoch and W. Kent and S. Leichner and P. Lyngbaek and B. Mahbod and M. A. Neimat and T. Risch and M. C. Shan and W. K. Wilkinson", title = "Overview of the {I}ris {DBMS}", booktitle = "{O}bject-{O}riented Concepts, Databases, and Applications", year = 1987, pages = "219--250", editor = "Won Kim and Frederick H. Lochovsky", publisher = ACMP, } @Article{Fitt78, author = "Melvin Fitting", title = "Subformula Results in Some Propositional Modal Logics", journal = SL, year = 1978, volume = 37, pages = "387--391" } @Book{Fitt83, author = "Melvin Fitting", title = "Proof Methods for Modal and Intuitionistic Logics", year = 1983, publisher = "Reidel" } @Book{Fitt90, author = "Melvin Fitting", title = "First-Order Logic and Automated Theorem Proving", year = 1990, publisher = SV, } @InCollection{Fitt93, author = "Melvin Fitting", title = "Basic Modal Logic", booktitle = "Handbook of Logic in Artificial Intelligence and Logic Programming", publisher = "Oxford Science Publications", year = 1993, volume = 1, pages = "365--448" } @Article{FFHSS98, author = "Gerhard Fleischanderl and Gerhard E. Friedrich and Alis Haselboeck and Herwig Schreiner and Markus Stumptner", title = "Configuring Large Systems Using Generative Constraint Satisfaction", year = 1998, journal = IEEE-IS, pages = "59--68", } @InCollection{FlFe96, author = "C. Fleurent and J. A. Ferland", title = "Object-Oriented Implementation of Heuristic Search Methods for Graph Coloring, Maximum Clique, and Satisfiability", booktitle = "Cliques, Coloring, and Satisfiability. Second DIMACS Implementation Challenge", year = 1996, pages = "619--652", series = "DIMACS Series in Discrete Mathematics and Theoretical Computer Science", volume = 26, editor = "David S. Johnson and Michael A. Trick", publisher = "American Mathematical Society" } @InProceedings{FLMS99, author = "Daniela Florescu and Alon Y. Levy and Ioana Manolescu and Dan Suciu", title = "Query Optimization in the Presence of Limited Access Patterns", booktitle = SIGMOD, pages = "311--322", year = 1999, } @Article{FlLM98, author = "Daniela Florescu and Alon Levy and Alberto Mendelzon", title = "Database Techniques for the {W}orld-{W}ide {W}eb: {A} Survey", journal = SIGMODR, volume = 27, number = 3, year = 1998, pages = "59--74" } @Article{FlKo99, author = "Daniela Florescu and Donald Kossmann", title = "Storing and Querying {XML} Data Using an {RDBMS}", journal = IEEEBDE, year = 1999, volume = 22, number = 3, pages = "27--34", } @InProceedings{FlLS98, author = "Daniela Florescu and Alon Levy and Dan Suciu", title = "Query Containment for Conjunctive Queries with Regular Expressions", booktitle = PODS-98, year = 1998, pages = "139--148" } @InProceedings{FoMV90, author = "Anna Formica and Michele Missikoff and S. Vazzana", title = "An {O}bject-{O}riented Data Model for {A}rtificial {I}ntelligence Applications", editor = "J. W. Schmidt and A. A. Stogny", booktitle = "Next Generation Information Systems Technology: First Int. East/West Database Workshop", publisher = SV, year = 1990, series = LNCS, volume = 504, pages = "26--41", address = "Kiev (USSR)", } @InProceedings{FoMi93, author = "Anna Formica and Michele Missikoff", title = "Modeling Semantic Integrity Constraints in {O}bject-{O}riented Database Schemas", booktitle = "{L}ogidata+: {D}eductive Databases with Complex Objects", year = 1993, pages = "129--148", editor = "P. Atzeni", publisher = SV, series = LNCS, volume = 701 } @InProceedings{FoMi94, author = "Anna Formica and Michele Missikoff", title = "Correctness of {ISA} Hierarchies in {O}bject-{O}riented Database Schemas", editor = "M. Jarke and J. Bubenko and K. Jeffery", booktitle = EDBT-94, year = 1994, pages = "231--244", publisher = SV, series = LNCS, volume = 779, } @Book{FoSc97, author = "Martin Fowler and Kendall Scott", title = "{UML} Distilled -- {A}pplying the Standard {O}bject {M}odeling {L}aguage", publisher = AW, year = 1997, } @Techreport{FrPe93, author = "C. Francalanci and B. Pernici", title = "View Integration: {A} Survey of Current Developments", institution = "Politecnico di Milano", year = 1993, pages = "1--82" } @Article{Fran93, author = "Enrico Franconi", title = "A Treatment of Plurals and Plural Quantifications Based on a Theory of Collections", journal = "Minds and Machines", publisher = KAP, year = 1993, volume = 3, number = 4, pages = "453--474", } @InProceedings{Fran94, author = "Enrico Franconi", title = "Description Logics for Natural Language Processing", booktitle = "Working Notes of the AAAI Fall Symposium on ``Knowledge Representation for Natural Language Processing in Implemented Systems''", year = 1994, pages = "37--44", nonote = "Also presented at the European Research Conference on ``Logic, Language and Information'', organized by the European Science Foundation (ESF); Espinho, Portugal, December 1994.", } @InProceedings{Fran96, author = "Enrico Franconi", title = "Logical Form and Knowledge Representation: Towards a Reconciliation", booktitle = "Working Notes of the AAAI Fall Symposium on ``Knowledge Representation Systems based on Natural Language''", year = 1996, pages = "20-24", } @InProceedings{FrGP93, author = "Enrico Franconi and Alessandra Giorgi and Fabio Pianesi", title = "A Mereological Approach to Tense and Aspect", booktitle = "Proc.\ of the Int.\ Conf.\ on Mathematical Linguistics (ICML'93)", year = 1993, month = apr, } @InProceedings{FrGP93b, author = "Enrico Franconi and Alessandra Giorgi and Fabio Pianesi", title = "Tense and Aspect: a Mereological Approach", booktitle = IJCAI-93, year = 1993, pages = "1222--1228", } @InCollection{FrGP94, author = "Enrico Franconi and Alessandra Giorgi and Fabio Pianesi", title = "A Mereological Characterization of Temporal and Aspectual Phenomena", booktitle = "Current Issues in Mathematical Linguistics", editor = "Carlos Martin-Vide", pages = "269--278", publisher = ESP, series = "North-Holland Linguistic Series", year = 1994, } @Article{FrMS92, author = "E. Franconi and B. Magnini and O. Stock", title = "Prototypes in a Hybrid Language with Primitive Descriptions", journal = "Computer and Mathematics with Applications -- Special issue on Semantic Networks in Artificial Intelligence", year = 1992, volume = 23, number = "6--9", pages = "543--556", publisher = PP, } @InProceedings{FrNg00, author = "Enrico Franconi and Gary Ng", title = "The {i.com} tool for Intelligent Conceptual Modeling", booktitle = KRDB-00, pages = "45--53", year = 2000, } @InProceedings{FrRa94, author = "Enrico Franconi and Vania Rabito", title = "A Relation-Based Description Logic", booktitle = DL-94, year = 1994, publisher = DFKI, number = "D-94-10", pages = "62--66", } @InProceedings{FrPi94, author = "Michael Frazier and Leonard Pitt", title = "{\sc Classic} Learning", booktitle = "Proc.\ of the 7th Annual {ACM} Conference on Computational Learning Theory", year = 1994, address = "New Brunswick, New Jersey", publisher = ACMP, pages = "23--34", } @PhdThesis{Free95, author = "J. W. Freeman", title = "Improvements to Propositional Satisfiability Search Algorithms", school = "Department of Computer and Information Science, University of Pennsylvania", year = 1995, } @Article{Free96, author = "J. W. Freeman", title = "Hard Random 3-{SAT} Problems and the {D}avis-{P}utnam Procedure", journal = AIJ, year = 1996, volume = 81, pages = "183--198", } @InProceedings{FrLM99, author = "Marc Friedman and Alon Levy and Todd Millstein", title = "Navigational Plans for Data Integration", year = 1999, pages = "67--73", booktitle = AAAI-99, publisher = AAAIP, } @InProceedings{Fris89, author = "Alan M. Frisch", title = "A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning", booktitle = KR-89, year = 1989, publisher = MK, editor = "Ron J. Brachman and Hector J. Levesque and Ray Reiter", } @Article{FrCo91, author = "Alan M. Frisch and A. G. Cohn", title = "Thoughts and Afterthoughts on the 1988 Workshop on Principles of Hybrid Reasonig", journal = AIM, volume = 12, year = 1991, pages = "77--83", } @InProceedings{Fure80, author = "Martin F{\"u}rer", title = "The Complexity of the Inequivalence Problem for Regular Expressions with Intersection", booktitle = ICALP-80, pages = "234--245", year = 1980, volume = 85, series = LNCS, publisher = SV } %ggggggggggggggggggggggggg %ggggggggggggggggggggggggg @InProceedings{Gaba72, author = "Dov M. Gabbay", pages = "111--127", title = "Craig's Interpolation Theorem for Modal Logics", year = 1972, publisher = SV, series = "Lecture Notes in Mathematics", volume = 255, booktitle = "Proceedings of the Logic Conference", } @Book{Gabb76, author = "Dov M. Gabbay", title = "Investigation in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics", publisher = "D. Reidel", year = 1976 } @Book{GaHR94, author = "Dov M. Gabbay and Ian Hodkinson and Mark Reynolds", title = "Temporal Logic: {M}athematical Foundations and Computational Aspects", series = "Oxford Logic Guides", volume = 28, publisher = OUP, year = 1994, } @InProceedings{GPSS80, author = "D. Gabbay and A. Pnueli and S. Shelah and J. Stavi", title = "On the Temporal Analysis of Fairness", booktitle = POPL-80, pages = "163--173", year = 1980, } @Article{GaSh98, author = "Dov Gabbay and V. Shehtman", title = "Products of Modal Logics. {P}art {I}", journal = IGPL, volume = 6, year = 1998, pages = "73--146", } @TechReport{GFSS99, author = "Helena Galhardas and Daniela Florescu and Dennis Shasha and Eric Simon", title = "An Extensible Framework for Data Cleaning", number = 3742, institution = "INRIA, Rocquencourt", year = 1999, } @Article{GPQR*97, author = "Hector Garcia-Molina and Yannis Papakonstantinou and Dallan Quass and Anand Rajaraman and Yehoshua Sagiv and Jeffrey D. Ullman and Vasilis Vassalos and Jennifer Widom", title = "The {TSIMMIS} Approach to Mediation: {D}ata Models and Languages", journal = JIIS, year = 1997, volume = 8, number = 2, pages = "117--132", } @InProceedings{GaSC95, author = "Garc{\'\i}a-Solaco, Manuel and Felix Saltor and Mal{\'u} Castellanos", title = "A Structure Based Schema Integration Methodology", booktitle = ICDE-95, year = 1995, pages = "505--512" } @InProceedings{GaSC95b, author = "Garc{\'\i}a-Solaco, Manuel and Felix Saltor and Mal{\'u} Castellanos", title = "A Semantic-Discriminated Approach to Integration in Federated Databases", booktitle = CoopIS-95, year = 1995, pages = "19--31" } @Book{GaJo79, author = "M. R. Garey and D. S. Johnson", title = "Computers and Intractability --- {A} guide to {NP}-completeness", publisher = "W. H. Freeman and Company", address = "San Francisco (CA, USA)", year = 1979, } @Article{GaGo93, author = "George Gargov and Valentin Goranko", title = "Modal Logic with Names", journal = JPL, volume = 22, pages = "607--636", year = 1993, } @Article{GaPa88, author = "George Gargov and Solomon Passy", title = "Determinism and Looping in Combinatory {PDL}", journal = TCS, volume = 61, pages = "259--277", year = 1988, } @InProceedings{GBFF91, author = "Manfred Gehrke and Gerrit Burkert and Peter Forster and Enrico Franconi", title = "Natural Language processing and Description Logics", year = 1991, booktitle = "Proc.\ of the Terminological Logic Users Workshop", editor = "C. Peltason and K. von Luck and C. Kindermann", pages = "162--164", publisher = "Department of Computer Science, Technische Universit{\"a}t Berlin (Germany)", } @Article{GeLi98, author = "Michael Gelfond and Vladimir Lifschitz", title = "Action Languages", journal = ETAI, year = 1998, volume = 3, number = 16, } @Article{GePr86, author = "M. Gelfond and H. Przymusinska", title = "Negation as Failure: Careful Closure Procedure", journal = AIJ, year = 1986, pages = "273--287", volume = 30, } @InProceedings{GPCSN92, author = "J. Geller and Y. Perl and P. Cannata and A. P. Sheth and E. Neuhold", title = "A Case Study of Structural Integration", booktitle = CIKM-92, year = 1992, pages = "102--111" } @Article{GPNS92, author = "J. Geller and Y. Perl and E. Neuhold and A. P. Sheth", title = "Structural Schema Integration with Full and Partial Correspondence Using the Dual Model", journal = IS, year = 1992, volume = 17, number = 6, pages = "443--464" } @InProceedings{GeNo93, author = "Michael R. Genesereth and Illah R. Nourbakhsh", title = "Time-Saving Tips for Problem Solving with Incomplete Information", booktitle = AAAI-93, pages = "724--730", year = 1993, } @InProceedings{GeWa99, author = "I. P. Gent and T. Walsh", year = 1999, title = "Beyond {NP}: the {QSAT} phase transition", booktitle = AAAI-99, publisher = AAAIP, } @InProceedings{Gerl90, author = "M. Gerlach", title = "Terminological Reasoning in the Natural Language Consultation System {WISBER}", year = 1990, booktitle = "TKE'90: Terminology and Knowledge Engineering (Vol.~I)", editor = "H. Czap and W. Nedobity", publisher = "INDEKS Verlag", address = "Frankfurt", pages = "284--292", } @InProceedings{GiMe96, author = "Yolanda Gil and Eric Melz", title = "Explicit Representations of Problem-Solving Strategies to Support Knowledge Acquisition", booktitle = AAAI-96, year = 1996, pages = "469--476", } @Book{Gins87, editor = "Matthew L. Ginsberg", title = "Readings in Nonmonotonic Reasoning", publisher = MK, year = 1987, } @Article{Gins93, author = "Matthew L. Ginsberg", title = "Dynamic Backtracking", journal = JAIR, year = 1993, volume = 1, pages = "25--46", } @InProceedings{GiSe96, author = "Fausto Giunchiglia and Roberto Sebastiani", title = "Building Decision Procedures for Modal Logics from Propositional Decision Procedures---the Case Study of Modal {K}", booktitle = CADE-96, editor = "Michael A. McRobbie and John K. Slaney", pages = "583--597", publisher = SV, series = LNAI, volume = 1104, year = 1996, } @InProceedings{GiSe96b, author = "Fausto Giunchiglia and Roberto Sebastiani", title = "A {SAT}-Based Decision Procedure for {$\mathcal{ALC}$}", pages = "304--314", booktitle = KR-96, year = 1996, } @InProceedings{GoGr99, author = "Parke Godfrey and Jarek Gryz", title = "View Disassembly", booktitle = ICDT-99, pages = "417--434", year = 1999 } @InProceedings{GoCH93, author = "Martin Gogolla and Stefan Conrad and Rudolf Herzig", title = "Sketching Concepts and Computational Model of {TROLL} light", booktitle = DISCO-93, address = "Gmunden (Austria)", publisher = SV, year = 1993, editor = "A. Miola", series = LNCS, volume = 722, pages = "17--32", } @InProceedings{GoMS94, author = "Cheng Hian Goh and Stuart E. Madnick and Michael Siegel", title = "{C}ontext {I}nterchange: {O}vercoming the Challenges of Large-Scale Interoperable Database Systems in a Dynamic Environment", booktitle = CIKM-94, pages = "337-346", year = 1994 } @Article{GBMS99, author = "Cheng Hian Goh and St{\'e}phane Bressan and Stuart E. Madnick and Michael D. Siegel", title = "Context Interchange: {N}ew Features and Formalisms for the Intelligent Integration of Information", journal = TOIS, year = 1999, volume = 17, number = 3, pages = "270--293" } @Book{Gold92, author = "Robert Goldblatt", title = "Logics of Time and Computation", edition = "second", publisher = "Center for the Study of Language and Information", series = "Lecture Notes", volume = 7, year = 1992, } @InProceedings{GoWi97, author = "Roy Goldman and Jennifer Widom", title = "{D}ata{G}uides: {E}nabling Query Formulation and Optimization in Semistructured Databases", booktitle = VLDB-97, year = 1997, pages = "436--445" } @InProceedings{GoBo96, author = "Robert P. Goldman and Mark S. Boddy", title = "Expressive Planning and Explicit Knowledge", booktitle = AIPS-96, pages = "110--117", year = 1996, } @InProceedings{GoGr00, author = "E. Gon\c{c}alv{\`e}s and E. Gr{\"a}del", title = "Decidability Issues for Action Guarded Logics", booktitle = DL-00, pages = "123--132", year = 2000, publisher = "CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-33/", } @InProceedings{GoSS97, author = "G{\"o}sta Grahne and Nicolas Spyratos and Daniel Stamate", title = "Semantics and Containment of Queries with Internal and External Conjunctions", booktitle = ICDT-97, series = LNCS, year = 1997, publisher = SV, pages = "71--82" } @Article{GoLN92, author = "Willi Gotthard and Peter C. Lockemann and Andrea Neufeld", title = "System-Guided View Integration for Object-Oriented Databases", journal = TKDE, year = 1992, volume = 4, number = 1, pages = "1--22" } @InProceedings{Gott93, author = "Georg Gottlob", title = "Recent Complexity Results in Logic Programming and Nonmonotonic Reasoning, and Why They Matter", booktitle = LPNMR-93, year = 1993, publisher = MIT, } @InProceedings{GoKS00, author = "Georg Gottlob and Phokion Kolatis and Thomas Schwentick", title = "Existential Second-Order Logic over Graphs: Charting the Tractability Frontier", booktitle = FOCS-00, year = 2000, publisher = IEEEP, } @InCollection{GrBL95, author = "A. Gr{\"a}ber and H. B{\"u}rckert and A. Laux", title = "Terminological Reasoning with Knowledge and Belief", booktitle = "Knowledge and Belief in Philosophy and Artificial Intelligence", publisher = "Akademie Verlag", editor = "A. Laux and H. Wansing", year = 1995, pages = "29--61", } @Article{Grad92, author = "Erich Gr{\"a}del", title = "Capturing Complexity Classes by Fragments of Second-Order Logic", journal = TCS, volume = 101, year = 1992, pages = "35--57", } @InProceedings{Grad98, author = "Erich Gr{\"a}del", title = "Guarded Fragments of First-Order Logic: {A} Perspective for new Description Logics?", booktitle = DL-98, year = 1998, publisher = "CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-11/", } @Article{Grad99, author = "Erich Gr{\"a}del", title = "Why are Modal Logics so Robustly Decidable?", journal = "Bulletin of the European Association for Theoretical Computer Science", volume = 68, year = 1999, pages = "90--103", } @InProceedings{Grad99b, author = "Erich Gr{\"a}del", title = "Decision Procedures for Guarded Logics", booktitle = CADE-99, publisher = SV, series = LNCS, volume = 1632, year = 1999, page = "31--51", } @InCollection{Grad99c, author = "Erich Gr{\"a}del", title = "The Decidability of Guarded Fixed Point Logic", booktitle = "Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday", editor = "J. Gerbrandy and M. Marx and M. de Rijke and Y. Venema", publisher = "Amsterdam University Press", year = 1999, } @Article{Grad99d, author = "Erich Gr{\"a}del", title = "On the Restraining Power of Guards", journal = JSL, year = 1999, volume = 64, pages = "1719--1742", } %% Grad00 changed to Grad99d @InProceedings{GrHO00, author = "Erich Gr{\"a}del and Colin Hirsch and Martin Otto", title = "Back and Forth Between Guarded and Modal Logics", booktitle = LICS-00, year = 2000, pages = "217--228", } @Article{GrKV97, author = "Erich Gr{\"a}del and Phokion G. Kolaitis and Moshe Y. Vardi", title = "On the Decision Problem for Two-Variable First-Order Logic", journal = "Bulletin of Symbolic Logic", volume = 3, number = 1, year = 1997, pages = "53--69", } @InProceedings{GrOR97, author = "Erich Gr{\"a}del and Martin Otto and Eric Rosen", title = "Two-Variable Logic with Counting is Decidable", booktitle = LICS-97, publisher = IEEEP, year = 1997, pages = "306--317", } @InProceedings{GrOR97b, author = "Erich Gr{\"a}del and Martin Otto and Eric Rosen", title = "Undecidability Results on Two-Variable Logics", booktitle = STACS-97, series = LNCS, volume = 1200, publisher = SV, year = 1997, pages = "249--260", } @Article{GrOR99, author = "Erich Gr{\"a}del and Martin Otto and Eric Rosen", title = "Undecidability Results on Two-Variable Logics", journal = "Archive for Mathematical Logic", volume = 38, year = 1999, pages = "313--354", } @Article{GrOt99, author = "Erich Gr{\"a}del and Martin Otto", title = "On Logics with Two Variables", journal = TCS, volume = 224, year = 1999, pages = "73--113", } @InProceedings{GrWa99, author = "Erich Gr{\"a}del and Igor Walukiewicz", title = "Guarded Fixed Point Logic", booktitle = LICS-99, year = 1999, pages = "45--54", publisher = IEEEP, } @InProceedings{GrMe99, author = "G{\"o}sta Grahne and Alberto O. Mendelzon", title = "Tableau Techniques for Querying Information Sources through Global Schemas", booktitle = ICDT-99, pages = "332--347", year = 1999, volume = 1540, series = LNCS, publisher = SV } @InCollection{GrMi84, author = "John Grant and Jack Minker", title = "Numerical Dependencies", booktitle = ADT2, editor = "H. Gallaire and J. Minker and J.-M. Nicolas", publisher = PLENUM, year = 1984, } @Article{GrMi85, author = "John Grant and Jack Minker", title = "Inferences for Numerical Dependencies", journal = TCS, year = 1985, volume = 41, pages = "271--287" } @InCollection{GrWo89, author = "P. Gribomont and P. Wolper", title = "Temporal Logic", editor = "A. Thayse", booktitle = "From Modal Logic to Deductive Databases", publisher = JWS, year = 1989, chapter = 4, pages = "165--233" } @InProceedings{GrRT99, author = "St{\'e}phane Grumbach and Maurizio Rafanelli and Leonardo Tininini", title = "Querying Aggregate Data", booktitle = PODS-99, year = 1999, pages = "174--184", } @InProceedings{GrVi91, author = "St{\'e}phane Grumbach and Victor Vianu", title = "Tractable Query Languages for Complex Object Databases", booktitle = PODS-91, year = 1991, publisher = ACMP, } @InProceedings{Gryz98, author = "Jarek Gryz", title = "Query Folding with Inclusion Dependencies", booktitle = ICDE-98, pages = "126--133", year = 1998 } @InProceedings{Gryz98b, author = "Jarek Gryz", title = "An Algorithm for Query Folding with Functional Dependencies", booktitle = "Proc.\ of the 7th Int.\ Symp.\ on Intelligent Information Systems", pages = "7--16", year = 1998, } @Article{GuSW96, author = "Sha Guo and Wei Sun and Mark Allen Weiss", title = "On Satisfiability, Equivalence, and Impication Problems Involving Conjunctive Queries in Database Systems", journal = TKDE, year = 1996, volume = 8, number = 4, pages = "604--616" } @InProceedings{GuJM96, author = "A. Gupta and H. V. Jagadish and I. S. Mumick", title = "Data Integration Using Self-Maintainable Views", booktitle = EDBT-96, year = 1996, series = LNCS, volume = 1057, publisher = SV, pages = "140--144" } @Article{GuMu95, author = "A. Gupta and I. S. Mumick", title = "Maintenance of Materialized Views: {P}roblems, Techniques, and Applications", journal = IEEEBDE, year = 1995, volume = 18, number = 2, pages = "3--18" } @InProceedings{GSUW94, author = "A. Gupta and Y. Sagiv and J. D. Ullman and J. Widom", title = "Constraint Checking with Partial Information", booktitle = PODS-94, year = 1994 } @InProceedings{GuUl92, author = "Ashish Gupta and Jeffrey D. Ullman", title = "Generalizing Conjunctive Query Containment for View Maintenance and Integrity Constraint Verification (Abstract)", booktitle = "Workshop on Deductive Databases (In conjunction with JICSLP)", year = 1992, pages = 195, address = "Washington D.C.\ (USA)", } @InProceedings{GHRU97, author = "Himanshu Gupta and Venky Harinarayan and Anand Rajaraman and Jeffrey D. Ullman", title = "Index Selection for {OLAP}", booktitle = ICDE-97, pages = "208--219", year = 1997, } @InCollection{Gure88, author = "Yuri Gurevich", title = "Logic and The Challenge of Computer Science", booktitle = "Current Trends in Theoretical Computer Science", publisher = CSP, year = 1988, editor = "E. B{\"o}rger", chapter = 1, pages = "1--57" } @Article{GuSh86, author = "Y. Gurevich and S. Shelah", title = "Fixed-Point Extensions of First Order Logic", journal = APAI, year = 1986, volume = 32, pages = "265--280" } %hhhhhhhhhhhhhhhhhhhhhhhhhh %hhhhhhhhhhhhhhhhhhhhhhhhhh @InProceedings{HaLM98, author = "Volker Haarslev and Carsten Lutz and Ralf M{\"o}ller", title = "Defined Topological Relations in Description Logics", booktitle = KR-98, year = 1998, pages = "112--124", } @Article{HaLM99, author = "Volker Haarslev and Carsten Lutz and Ralf M{\"o}ller", title = "A Description Logic with Concrete Domains and Role-Forming Predicates", year = 1999, journal = JLC, volume = 9, number = 3, pages = "351--384", } @InProceedings{HaMo00, author = "Volker Haarslev and Ralf M{\"o}ller", title = "Expressive {ABox} Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles", booktitle = KR-00, pages = "273--284", year = 2000, } @InProceedings{HaMo01, author = "Volker Haarslev and Ralf M{\"o}ller ", title = "High Performance Reasoning with Very Large Knowledge Bases: {A} Practical Case Study", booktitle = IJCAI-01, year = 2001, } @InProceedings{HaMo01b, author = "Volker Haarslev and Ralf M{\"o}ller ", title = "{RACER} System Description", booktitle = IJCAR-01, year = 2001, } @Article{Hale00, author = "Alon Y. Halevy", title = "Theory of Answering Queries Using Views", journal = SIGMODR, year = 2000, volume = 29, number = 4, pages = "40--47", } @Article{Hale01, author = "Alon Y. Halevy", title = "Answering Queries Using Views: {A} Survey", journal = VLDBJ, year = 2001, note = "To appear", novolume = "?", nonumber = "?", nopages = "?", } @Article{Halp95, author = "Joseph Y. Halpern", title = "The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic", journal = AIJ, year = 1995, volume = 75, number = 2, pages = "361--372" } @TechReport{HaMo85, author = "Joseph Y. Halpern and Yoram Moses", title = "Towards a Theory of Knowledge and Ignorance: Preliminary Report", institution = "IBM", number = "CD-TR 92/34", year = 1985 } @Article{HaMo92, author = "Joseph Y. Halpern and Yoram Moses", title = "A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief", journal = AIJ, year = 1992, volume = 54, pages = "319--379" } @Article{HaSh91, author = "Joseph Y. Halpern and Yoav Shoham", title = "A Propositional Modal Logic of Time Intervals", journal = JACM, volume = 38, pages = "935--962", year = 1991, } @InCollection{HaVa91, author = "Joseph Y. Halpern and Moshe Y. Vardi", title = "Model Checking vs.\ Theorem Proving: {A} Manifesto", booktitle = "AI and Mathematical Theory of Computation --- Papers in Honor of John McCarthy", editor = "V. Lifschitz", publisher = AP, year = 1991, pages = "151-- 176" } @Article{HGWLZ95, author = "Joachim Hammer and Hector Garcia-Molina and Jennifer Widom and Wilburt Labio and Yue Zhuge", title = "The {S}tanford Data Warehousing Project", journal = IEEEBDE, year = 1995, volume = 18, number = 2, pages = "41--48" } @InProceedings{Hans92, author = "Philipp Hanschke", title = "Specifying Role Interaction in Concept Languages", booktitle = KR-92, publisher = MK, year = 1992, pages = "318--329", } @InProceedings{Hare83, author = "David Harel", title = "Recurring Dominoes: {M}aking the Highly Undecidable Highly Understandable", booktitle = FCT-83, volume = 158, series = LNCS, year = 1983, publisher = SV, pages = "177--194" } @InCollection{Hare84, author = "David Harel", title = "Dynamic Logic", booktitle = "Handbook of Philosophical Logic", publisher = "D. Reidel", year = 1984, address = "Dordrecht (Holland)", volume = 2, pages = "497--640", } @Article{Hare85, author = "David Harel", title = "Recurring Dominoes: Making the Highly Undecidable Highly Understandable", journal = ADM, volume = 24, year = 1985, pages = "51--72" } @Article{Hare86, author = "David Harel", title = "Effective Transformations of Infinite Trees, with Applications to High Undecidability, Dominoes, and Fairness", journal = JACM, year = 1986, volume = 33, number = 1, pages = "224--248", } @Book{HaKT00, author = "David Harel and Dexter Kozen and Jerzy Tiuryn", title = "Dynamic Logic", publisher = MIT, year = 2000, } @TechReport{HaRu00, author = "David Harel and Bernhard Rumpe", title = "Modeling Languages: {S}yntax, Semantics and All That Stuff", booktitle = "Technical Report", year = 2000, institution = "The Weizmann Institute of Science, Rehovot, Israel", number = "MCS00-16", } @Article{HaSh82, author = "D. Harel and R. Sherman", title = "Looping vs.\ Repeating in Dynamic Logic", journal = ICon, year = 1982, volume = 55, pages = "175--192" } @InProceedings{HaSh83, author = "D. Harel and R. Sherman", title = "Propositional Dynamic Logic of Flowcharts", booktitle = FCT-83, volume = 158, series = LNCS, year = 1983, publisher = SV, pages = "195--206" } @InProceedings{HaRU96, author = "Venky Harinarayan and Anand Rajaraman and Jeffrey D. Ullman", title = "Implemeting Data Cubes Efficiently", booktitle = SIGMOD, pages = "205--216", year = 1996, } @InProceedings{HaJo99, author = "Patrik Haslum and Peter Jonsson", title = "Some Results on the Complexity of Planning with Incomplete Information", booktitle = ECP-99, year = 1999 } @Book{Haus99, author = "Roland Hausser", title = "Foundations of Computational Linguistics", publisher = SV, year = 1999, } @InProceedings{Haye77, author = "Patrick J. Hayes", title = "In Defense of Logic", booktitle = IJCAI-77, year = 1977, pages = "559--565", note = "A longer version appeared in {\it The Psychology of Computer Vision\/} (1975). Republished in \cite{BrLe85}", } @InCollection{Haye79, author = "Patrick J. Hayes", title = "The Logic of Frames", booktitle = "Frame Conceptions and Text Understanding", year = 1979, pages = "46--61", editor = "D. Metzing", publisher = "Walter de Gruyter and Co.", note = "Republished in \cite{BrLe85}", } @Article{HeLM99, author = "Sandra Heiler and Wang-Chien Lee and Gail Mitchell", title = "Repository Support for Metadata-based Legacy Migration", journal = IEEEBDE, volume = 22, number = 1, pages = "37--42", year = 1999, } @InProceedings{Hein94, author = "Jochen Heinsohn", title = "Probabilistic Description Logics", pages = "311--318", editor = "Ramon Lopez de Mantaras and David Poole", booktitle = "Proc.\ of the 10th Conf.\ on Uncertainty in Artificial Intelligence", publisher = MK, address = "Seattle, Washington", year = 1994, } @InProceedings{HKNP92, author = "Jochen Heinsohn and Daniel Kudenko and Bernhard Nebel and Hans-J{\"u}rgen Profitlich", title = "An Empirical Analysis of Terminological Representation Systems", year = 1992, booktitle = AAAI-92, pages = "767--773", publisher = AAAIP, } @Article{HKNP94, author = "Jochen Heinsohn and Daniel Kudenko and Bernhard Nebel and Hans-J{\"u}rgen Profitlich", title = "An Empirical Analysis of Terminological Representation Systems", journal = AIJ, year = 1994, volume = 68, pages = "367--397", } @Article{HeNe90, author = "P. Hell and J. Ne{\v{s}}et{\v{r}}il", title = "On the Complexity of {H}-coloring", journal = JCTB, year = 1990, volume = 48, pages = "92--110", } @Article{HeSC99, author = "Joseph M. Hellerstein and Michael Stonebraker and Rick Caccia", title = "Independent, Open Enterprise Data Integration", journal = IEEEBDE, volume = 22, number = 1, pages = "43--49", year = 1999, } @InCollection{Hema99, author = "Edith Hemaspaandra", title = "The Complexity of Poor Man's Logic", booktitle = "Essays Dedicated to Johan van Benthem on the Occasion of his 50th birthday", editor = "J. Gerbrandy and M. Marx and M. de Rijke and Y. Venema", publisher = "Amsterdam University Press", year = 1999, } @TechReport{HeSc96, author = "A. Heuerding and S. Schwendimann", title = "A benchmark Method for the Propositional Modal Logics {K}, {KT}, and {S4}", institution = "University of Bern, Switzerland", year = 1996, type = "Technical report", number = "IAM-96-015", } @InProceedings{HiLi94, author = "Khalil el Hindi and Brian Lings", title = "Using Truth Maintenance Systems to Solve the Data Consistency Problem", booktitle = CoopIS-94, year = 1994, pages = "192--201" } @Article{HSAM93, author = "J. R. Hobbs and M. Stickel and D. Appelt and P. Martin", title = "Interpretation as Abduction", journal = AIJ, year = 1993, volume = 63, pages = "69--142", } @Book{Hodg93, author = "W. Hodges", title = "Model Theory", publisher = "Cambridge University Press", year = 1993 } @Article{Hoek92, author = "Van der Hoek, Wiebe", title = "On the Semantics of Graded Modalities", journal = JANCL, volume = 2, number = 1, pages = "81--123", year = 1992, } @Article{HoRi95, author = "Van der Hoek, Wiebe and Maarten de Rijke", title = "Counting Objects", journal = JLC, year = 1995, volume = 5, number = 3, pages = "325--345" } @InProceedings{Holl90, author = "Bernhard Hollunder", title = "Hybrid Inferences in {KL-ONE}-based Knowledge Representation Systems", year = 1990, booktitle = "Proc.\ of the German Workshop on Artificial Intelligence", publisher = SV, pages = "38--47", } @InProceedings{Holl94, author = "Bernhard Hollunder", title = "An Alternative Proof Method for Possibilistic Logic and its Application to Terminological Logics", pages = "327--335", editor = "Ramon Lopez de Mantaras and David Poole", booktitle = "Proc.\ of the 10th Conf.\ on Uncertainty in Artificial Intelligence", publisher = MK, address = "Seattle, Washington", year = 1994, } @Article{Holl96, author = "Bernhard Hollunder", title = "Consistency Checking Reduced to Satisfiability of Concepts in Terminological Systems", journal = AMAI, year = 1996, volume = 18, number = "2--4", pages = "133--157", } @TechReport{HoBa91, author = "Bernhard Hollunder and Franz Baader", title = "Qualifying Number Restrictions in Concept Languages", year = "1991", institution = DFKI, number = "RR-91-03", address = "Kaiserslautern (Germany)", note = "An abridged version appeared in \begingroup\em " # KR-91 # "\endgroup", } @InProceedings{HoBa91b, author = "Bernhard Hollunder and Franz Baader", title = "Qualifying Number Restrictions in Concept Languages", booktitle = KR-91 , pages = "335--346", year = 1991 } @TechReport{HoNu90, author = "Bernhard Hollunder and Werner Nutt", title = "Subsumption Algorithms for Concept Languages", year = "1990", institution = DFKI, number = "RR-90-04", address = "Kaiserslautern (Germany)", } @InProceedings{HoNS90, author = "Bernhard Hollunder and Werner Nutt and Manfred {Schmidt-Schau\ss}", title = "Subsumption Algorithms for Concept Description Languages", year = "1990", booktitle = ECAI-90, publisher = "Pitman", address = "London (United Kingdom)", pages = "348--353", } @Book{HoUl69, author = "John E. Hopcroft and Jeffrey D. Ullman", title = "Formal Languages and their Relation to Automata", publisher = AW, year = "1969", } @Book{HoUl79, author = "John E. Hopcroft and Jeffrey D. Ullman", title = "Introduction to Automata Theory, Languages, and Computation", publisher = AW, year = "1979", } @TechReport{HKQS*93, author = "Thomas Hoppe and Carsten Kindermann and Joachim Quantz and Albrecht Schmiedel and Martin Fischer", title = "{BACK V5:} Tutorial and Manual", institution = "Technical University of Berlin", type = "{KIT} {R}eport", year = 1993, number = 100, address = "Berlin, Germany", } @TechReport{Horr97, author = "Ian Horrocks", title = "Optimisation Techniques for Expressive Description Logics", institution = "University of Manchester, Department of Computer Science", year = 1997, number = "UMCS-97-2-1" } @PhdThesis{Horr97b, author = "Ian Horrocks", title = "Optimising Tableaux Decision Procedures for Description Logics", school = "University of Manchester", year = 1997, } @InProceedings{Horr98, author = "Ian Horrocks", title = "Using an Expressive Description Logic: {FaCT} or Fiction?", booktitle = KR-98, pages = "636--647", year = 1998 } @InProceedings{Horr98b, author = "Ian Horrocks", title = "The {FaCT} System", pages = "307--312", editor = "Harrie de Swart", booktitle = TABLEAUX-98, series = LNAI, volume = 1397, publisher = SV, year = 1998, } @InProceedings{HoPa98, author = "Ian Horrocks and Patel-Schneider, Peter F.", title = "{DL} Systems Comparison", pages = "55--57", booktitle = DL-98, year = 1998, publisher = "CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-11/", } @InProceedings{HoPa98b, author = "Ian Horrocks and Patel-Schneider, Peter F.", title = "Comparing Subsumption Optimizations", pages = "90--94", booktitle = DL-98, year = 1998, publisher = "CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-11/", } @InProceedings{HoPa98c, author = "Ian Horrocks and Patel-Schneider, Peter F.", title = "Optimising Propositional Modal Satisfiability for Description Logic Subsumption", booktitle = "Proc.\ of the 4th Int.\ Conf.\ on Artificial Intelligence and Symbolic Computation (AISC'98)", year = 1998, } @Article{HoPa99, author = "Ian Horrocks and Patel-Schneider, Peter F.", title = "Optimizing Description Logic Subsumption", journal = JLC, year = 1999, volume = 9, number = 3, pages = "267--293" } @Article{HoSa99, author = "Ian Horrocks and Ulrike Sattler", title = "A Description Logic with Transitive and Inverse Roles and Role Hierarchies", journal = JLC, year = 1999, volume = 9, number = 3, pages = "385--410" } @InProceedings{HoSa01, author = "Ian Horrocks and Ulrike Sattler", title = "Ontology Reasoning in the {$\mathcal{SHOQ}$(D)} Description Logic", booktitle = IJCAI-01, year = 2001, publisher = MK, } @TechReport{HSTT99, author = "Ian Horrocks and Ulrike Sattler and Sergio Tessaris and Stephan Tobies", title = "Query Containment Using a {DLR} {ABox}", institution = "RWTH Aachen", year = 1999, number = "LTCS-Report 99-15", } @InProceedings{HoST99, author = "Ian Horrocks and Ulrike Sattler and Stephan Tobies", title = "Practical Reasoning for Expressive Description Logics", booktitle = LPAR-99, editor = "Harald Ganzinger and David McAllester and Andrei Voronkov", year = 1999, series = LNAI, number = 1705, pages = "161--180", publisher = SV, } @Article{HoST00, author = "Ian Horrocks and Ulrike Sattler and Stefan Tobies", title = "Practical Reasoning for Very Expressive Description Logics", journal = IGPL, year = 2000, volume = 8, number = 3, pages = "239--264", } @InProceedings{HoTT87, author = "J. F. Horty and R. H. Thomason and D. S. Touretzky", title = "A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks", booktitle = AAAI-87, year = 1987, pages = "358--363", } @InProceedings{HoKn93, author = "E. H. Hovy and K. Knight", title = "Motivation for Shared Ontologies: {A}n Example from the {Pangloss} Collaboration", booktitle = "Proc.\ of the IJCAI'93 Workshop on Knowledge Sharing and Information Interchange", year = 1993, } @Book{HuCr84, author = "George E. Hughes and M. J. Cresswell", title = "A Companion to Modal Logic", publisher = "Methuen", year = "1984", address = "London (United Kingdom)", } @InProceedings{HJKS*93, author = "Michael N. Huhns and Nigel Jacobs and Tomasz Ksiezyk and Wei-Min Shen an Munindar P. Singh and Philip E. Cannata", title = "Integrating Enterprise Information Models in {C}arnot", booktitle = CoopIS-93, year = 1993, pages = "32--42" } @Article{HuWi92, author = "R. Huitt and N. Wilde", title = "Maintenance Support for Object-Oriented Programs", journal = TOSE, volume = 18, number = 12, year = 1992, } @Article{Hull86, author = "Richard Hull", title = "Relative Information Capacity of Simple Relational Database Schemas", journal = SIAM-JOC, year = 1986, volume = 15, number = 3, pages = "856--886" } @InProceedings{Hull97, author = "Richard Hull", title = "Managing Semantic Heterogeneity in Databases: {A} Theoretical Perspective", booktitle = PODS-97, year = 1997 } @InCollection{Hull88, author = "Richard Hull", title = "A Survey of Theoretical Research on Typed Complex Database Objects", booktitle = "Databases", editor = "Paredaens, J.", publisher = AP, year = "1988", pages = "193--256" } @Article{HuKi87, author = "R. B. Hull and R. King", title = "Semantic Database Modelling: Survey, Applications and Research Issues", journal = CS, volume = "19", number = "3", month = sep, year = "1987", pages = "201--260", } @InProceedings{HuZh96, author = "Richard Hull and Gang Zhou", title = "A Framework for Supporting Data Integration Using the Materialized and Virtual Approaches", booktitle = SIGMOD, year = 1996, pages = "481--492" } @Book{HuBP94, editor = "A. R. Hurson and M. W. Bright and S. Pakzad", title = "Multidatabase Systems: {A}n Advanced Solution for Global Information Sharing", publisher = IEEEP, year = 1994, } @InProceedings{HuSc97, author = "Ulrich Hustadt and Renate A. Schmidt", title = "On Evaluating Decision Procedures for Modal Logic", year = 1997, booktitle = IJCAI-97, pages = "202--207", } @InProceedings{Huyn97, author = "Nam Huyn", title = "Efficient Complete Local Tests for Conjunctive Query Containment with Negation", booktitle = ICDT-97, series = LNCS, year = 1997, publisher = SV, pages = "83--97" } %iiiiiiiiiiiiiiiiiiiiiiiii %iiiiiiiiiiiiiiiiiiiiiiiii @InProceedings{IbSu97, author = "Oscar H. Ibarra and Jianwen Su", title = "On the Containment and Equivalence of Database Queries with Linear Constraints", booktitle = PODS-97, year = 1997, pages = "32--43" } @Article{ImLi84, author = "Tomasz Imielinski and Witold Lipski Jr.", title = "Incomplete Information in Relational Databases", journal = JACM, year = 1984, volume = 31, number = 4, pages = "761--791", } @Article{Imme86, author = "Neil Immerman", title = "Relational Queries Computable in Polynomial Time", journal = ICon, volume = 68, pages = "86--104", year = 1986 } @Article{Imme87, author = "Neil Immerman", title = "Languages which Capture Complexity Classes", journal = SIAM-JOC, volume = 16, number = 4, pages = "760--778", year = 1987 } @Article{Imme88, author = "Neil Immerman", title = "Nondeterministic Space is Closed under Complement", journal = SIAM-JOC, volume = 17, year = 1988, pages = "935--938" } @Book{Inmo96, author = "W. H. Inmon", title = "Building the Data Warehouse", publisher = JWS, year = 1996, edition = "second" } @Article{IoRa95, author = "Yannis E. Ioannidis and Raghu Ramakrishnan", title = "Containment of Conjunctive Queries: {B}eyond Relations as Sets", journal = TODS, year = 1995, volume = 20, number = 3, pages = "288--324" } @InProceedings{IoNR00, author = "Luca Iocchi and Daniele Nardi and Riccardo Rosati", title = "Planning with Sensing, Concurrency, and Exogeneous Events: Logical Framework and Implementation", booktitle = KR-00, pages = "678--689", year = 2000, } %jjjjjjjjjjjjjjjjjjjjjjjjj %jjjjjjjjjjjjjjjjjjjjjjjjj @Book{Jack90, author = "Ray Jackendoff", title = "Semantic Structures", publisher = MIT, series = "Current Studies in Linguistics Series", year = 1990, } @InProceedings{Jaeg94, author = "Manfred Jaeger", title = "Probabilistic Reasoning in Terminological Logics", pages = "305--316", editor = "Pietro Torasso and Jon Doyle and Erik Sandewall", booktitle = KR-94, year = 1994, } @TechReport{Jark92, author = "Matthias Jarke", title = "ConceptBase {V3}.1 User Manual", institution = "Aachener Informatik-Berichte", address = "Aachen (Germany)", number = "92--17", year = 1992, } @Article{JGJSE95, author = "M. Jarke and R. Gallersdoerfer and M. Jeusfeld and M. Staudt and S. Eherer", title = "ConceptBase - {A} Deductive Object Manager for Meta Databases" , journal = JIIS, year = 1995, volume = 4, number = 2 } @InProceedings{JJQV98, author = "Matthias Jarke and Manfred A. Jeusfeld and Christoph Quix and Panos Vassiliadis", title = "Architecture and Quality in Data Warehouses", booktitle = CAiSE-98, series = LNCS, volume = 1413, publisher = SV, year = 1998, pages = "93--113" } @TechReport{JJQV98b, author = "Matthias Jarke and Manfred A. Jeusfeld and Christoph Quix and Panos Vassiliadis", title = "Quality Oriented Evolution of {DW} Designs", institution = "DWQ Consortium", year = 1998, number = "D.9.1", } @Book{JLVV99, editor = "Matthias Jarke and Maurizio Lenzerini and Yannis Vassiliou and Panos Vassiliadis", title = "Fundamentals of Data Warehouses" , publisher = SV, year = 1999, } @InProceedings{JQCL*00, author = "Matthias Jarke and Christoph Quix and Diego Calvanese and Maurizio Lenzerini and Enrico Franconi and Spiros Ligoudistianos and Panos Vassiliadis and Yannis Vassiliou", title = "Metadata-Driven Management of Data Warehouses: {T}he {DWQ} Demonstrators", booktitle = SIGMOD, year = 2000, pages = 591, } @InProceedings{JaVa97, author = "Matthias Jarke and Yannis Vassiliou", title = "Data Warehouse Quality Design: {A} Review of the {DWQ} Project", booktitle = "Proc.\ of the 2nd Conference on Information Quality", year = 1997, organization = "Massachusetts Institute of Technology" } @Article{JeWa90, author = "R. Jeroslow and J. Wang", title = "Solving propositional satisfiability problems", journal = AMAI, year = 1990, volume = 1, pages = "167--187", } @InProceedings{JeQJ98, author = "Manfred A. Jeusfeld and Christoph Quix and Matthias Jarke", title = "Design and Analysis of Quality Information for Data Warehouses", booktitle = ER-98, pages = "349--362", year = 1998, volume = 1507, series = LNCS, publisher = SV } @Article{Joha94, author = "Paul Johanneson", title = "Schema Standardization as an Aid in View Integration", journal = IS, year = 1994, volume = 19, number = 3, pages = "275--290" } @InCollection{John90, author = "D. S. Johnson", title = "A Catalog of Complexity Classes", booktitle = "Handbook of Theoretical Computer Science", publisher = ESP, volume = "A", chapter = 2, year = 1990, } @InProceedings{JoKl81, author = "David S. Johnson and Anthony C. Klug", title = "Optimizing Conjunctive Queries When Attribute Domains Are not Disjoint", booktitle = FOCS-81, year = 1981, pages = "203--211" } @InProceedings{JoKl82, author = "David S. Johnson and Anthony C. Klug", title = "Testing Containment of Conjunctive Queries under Functional and Inclusion Dependencies", booktitle = PODS-82, year = 1982, pages = "164--169" } @Article{JoKl83, author = "David S. Johnson and Anthony C. Klug", title = "Optimizing Conjunctive Queries that Contain Untyped Variables", journal = SIAM-JOC, year = 1993, volume = 12, number = 4, pages = "616--640" } @Article{JoKl84, author = "David S. Johnson, Anthony C. Klug", title = "Testing Containment of Conjunctive Queries under Functional and Inclusion Dependencies", journal = JCSS, year = 1984, volume = 28, number = 1, pages = "167--189" } @Article{Jone75, author = "N. D. Jones", title = "Space-bounded Reducibility among Combinatorial Problems", year = 1975, journal = JCSS, volume = 11, pages = "68--75" } @Article{JuHe98, author = "Werner E. Juengst and Michael Heinrich", title = "Using Resource Balancing to Configure Modular Systems", year = 1998, journal = IEEE-IS, pages = "50--58", } %kkkkkkkkkkkkkkkkkkkkkkkkk %kkkkkkkkkkkkkkkkkkkkkkkkk @Article{KaBS97, author = "F. Kabanza and M. Barbeau and and R. St-Denis", title = "Planning Control Rules for Reactive Agents", journal = AIJ, year = 1997, volume = 95, number = 1, pages = "67--113" } @InProceedings{KaBR86, author = "Thomas S. Kaczmarek and Raymond Bates and Gabriel Robins", title = "Recent Developments in {NIKL}", year = "1986", booktitle = AAAI-86, pages = "978--985", } @Article{KaHe92, author = "S. Kambhampati and J. Hendler", title = "A Validation-Structure-Based Theory of Plan Modification and Reuse", journal = AIJ, year = 1992, volume = 55, pages = "193--258", } @Article{Kami91, author = "M. Kaminski", title = "Embedding a Default System into Nonmonotonic Logics", journal = FUND-INF, year = "1991", pages = "345--354", volume = "14", } @Article{Kami95, author = "M. Kaminski", title = "A comparative study of open default theories", journal = AIJ, year = "1995", pages = "285--319", volume = "77", } @InProceedings{Karm84, author = "N. Karmarkar", title = "A new Polynomial-time Algorithm for Linear Programming", pages = "302--311", booktitle = STOC-84, year = 1984 } @TechReport{Karp92, author = "Peter D. Karp", title = "The Design Space of Knowledge Representation Systems", institution = "SRI International", address = "Menlo Park (CA, USA)", number = "SRI AI Technical Note 520", year = "1992", } @InProceedings{KaMG95, author = "Peter D. Karp and Karen L. Myers and Tom Gruber", title = "The Generic Frame Protocol", booktitle = IJCAI-95, year = 1995, volume = "A", pages = "768--774", } @InProceedings{KeMe99, author = "Zoubida Kedad and Elisabeth M\'etais", title = "Dealing with Semantic Heterogeneity During Data Integration", booktitle = "ER-99", pages = "325--339", year = 1999, volume = 1728, series = LNCS, publisher = SV } @InProceedings{KeBa94, author = "Arthur M. Keller and Julie Basu", title = "A Predicate-Based Caching Scheme for Client-Server Database Architectures", year = 1994, pages = "229--238", booktitle = "Proc.\ of the Int.\ Conf.\ on Parallel and Distributed Information Systems", } @Article{KeBa96, author = "Arthur M. Keller and Julie Basu", title = "A Predicate-Based Caching Scheme for Client-Server Database Architectures", journal = VLDBJ, year = 1996, volume = 5, number = 1, pages = "35--47", } @InProceedings{KeER99, author = "Stuart Kent and Andy Evans and Bernhard Rumpe", title = "{UML} Semantics {FAQ}", year = 1999, booktitle = "Proc.\ of ECOOP'99 Workshop", publisher = SV, series = LNCS, } @InProceedings{KeSa97, author = "Gwen Kerdiles and Eric Salvat", title = "A Sound and Complete {CG} Proof Procedure Combining Projections with Analytic Tableaux", booktitle = ICCS-97, pages = "371--385", year = 1997, editor = "D. Lukose and H. Delugach and M. Keeler and L. Searle and J. Sowa", volume = 1257, series = LNCS, publisher = SV, } @InCollection{KeKT76, author = "L. Kerschberg and A. Klug and D. Tsichritzis", title = "A Taxonomy of Data Models", booktitle = "Systems for Large {D}ata {B}ases", publisher = NH, year = 1976, pages = "43--64" } @InProceedings{KeSS95, author = "T. Kessel and M. Schlick and O. Stern", title = "Accessing Configuration Databases by means of Description Logics", booktitle = "{KRDB-95}: {R}easoning about Structured Objects: {K}nowledge Representation meets Databases", year = 1995, } @InProceedings{KiTW01, author = "Vitaliy L. Khizder and David Toman and Grant E. Weddell", title = "On Decidability and Complexity of Description Logics with Uniqueness Constraints", booktitle = ICDT-01, year = 2001, } @TechReport{KiLW93, author = "Michael Kifer and Georg Lausen and James Wu", title = "Logical Foundations of {O}bject-{O}riented and Frame-Based Languages", institution = "Department of Computer Science, SUNY at Stony Brook", address = "Stony Brook (NY, USA)", number = "93/06", year = "1993", note = "Accepted to Journal of ACM", } @Article{KiLW95, author = "Michael Kifer and Georg Lausen and James Wu", title = "Logical Foundations of {O}bject-{O}riented and Frame-Based Languages", journal = JACM, volume = 42, number = 4, pages = "741--843", year = 1995, } @Article{KiWu93, author = "Michael Kifer and James Wu", title = "A Logic for Programming with Complex Objects", journal = JCSS, volume = 47, pages = "77--120", year = 1993 } @Book{Kim90, author = "Won Kim", title = "Introduction to {O}bject-{O}riented Databases", publisher = MIT, year = "1990", } @Article{Kim90b, author = "Won Kim", title = "Object-Oriented Databases: Definitions and Research Directions", journal = TKDE, year = 1990, volume = 2, number = 3 } @InProceedings{KiKS92, author = "Won Kim and Michael Kifer and Yehoshua Sagiv", title = "Querying Object-Oriented Databases", pages = "393--402", booktitle = SIGMOD, year = 1992, address = "San Diego (CA, USA)" } @InProceedings{Kind90, author = "Carsten Kindermann", title = "Class Instances in a Terminological Framework--an Experience Report", year = "1990", booktitle = "Proc.\ of the German Workshop on Artificial Intelligence", publisher = SV, pages = "48--57", } @Book{KiLo89, editor = "Won Kim and Frederick H. Lochovsky", title = "{O}bject-{O}riented Concepts, Databases, and Applications", publisher = ACMP, address = "New York (USA)", year = 1989, } @InProceedings{KLSS95, author = "Thomas Kirk and Alon Y. Levy and Yehoshua Sagiv and Divesh Srivastava", title = "The {I}nformation {M}anifold", booktitle = "Proceedings of the {AAAI} 1995 Spring Symp.\ on Information Gathering from Heterogeneous, Distributed Enviroments", pages = "85--91", year = 1995 } @Article{Klug88, author = "Anthony C. Klug", title = "On Conjunctive Queries Containing Inequalities", journal = JACM, year = 1988, volume = 35, number = 1, pages = "146--160" } @InProceedings{KCHH*95, author = "K. Knight and I. Chander and M. Haines and V. Hatzivassiloglou and E. Hovy and M. Iida and S. K. Luk and R. Whitney and K. Yamada", title = "Filling Knowledge Gaps in a Broad-Coverage Machine Translation System", booktitle = IJCAI-95, pages = "1390--1396", year = 1995, } @InProceedings{KnLu94, author = "K. Knight and S. Luk", title = "Building a Large Knowledge Base for Machine Translation", booktitle = AAAI-94, year = 1994, } @InProceedings{KoVa98, author = "Phokion G. Kolaitis and Moshe Y. Vardi", title = "Conjunctive-Query Containment and Constraint Satisfaction", booktitle = PODS-98, pages = "205--213", year = 1998, } @InProceedings{KoLP97, author = "Daphne Koller and Alon Levy and Avi Pfeffer", title = "{P-CLASSIC}: {A} Tractable Probabilistic Description Logic", pages = "390--397", booktitle = AAAI-97, publisher = AAAIP, year = 1997, } @InProceedings{KoSh95, author = "D. Konopnicki and O. Shmueli", title = "{W3QS}: {A} Query System for the {W}orld {W}ide {W}eb", booktitle = VLDB-95, year = 1995, pages = "54--65" } @Book{KoSi86, author = "H. F. Korth and A. Silberschatz", title = "Database Systems Concepts", publisher = MGH, year = "1986", } @Article{Koze83, author = "Dexter Kozen", title = "Results on the Propositional $\mu$-Calculus", journal = TCS, year = 1983, volume = 27, pages = "333--354" } @InProceedings{KoTi90, author = "Dexter Kozen and Jerzy Tiuryn", title = "Logics of Programs", booktitle = "Handbook of Theoretical {C}omputer {S}cience --- Formal Models and Semantics", pages = "789--840", editor = "Jan van Leeuwen", publisher = ESP, year = "1990", } @Article{KrWo00, author = "Marcus Kracht and Frank Wolter", title = "Normal Modal Logics can Simulate all Others", journal = JSL, year = 2000, note = "To appear", } @Book{Krip80, author = "S. Kripke", title = "Naming and Necessity", publisher = "Harvard University Press", year = 1980, } @InProceedings{KrLK91, author = "R. Krishnamurthy and W. Litwin and W. Kent", title = "Language Features for Interoperability of Databases with Schematic Discrepancies", booktitle = SIGMOD, year = 1991, pages = "40--49", } @Book{Krul91, author = "Gilbert K. Krulee", title = "Computer Processing of Natural Language", publisher = PH, year = "1991" } @Article{KuVa01, author = "Orna Kupferman and Moshe Y. Vardi", title = "Weak Alternating Automata are not that Weak", journal = TOCL, volume = 2, number = 3, year = 2001, pages = "408--429", } @InProceedings{KuDe97, author = "Natasha Kurtonina and Maarten de Rijke", title = "Classifying Description Logics", booktitle = DL-97, year = 1997, pages = "49--53", } @InProceedings{Kues98, author = "Ralf K{\"u}sters", title = "Characterizing the Semantics of Terminological Cycles in {${\cal ALN}$} Using Finite Automata", booktitle = KR-98, year = 1998, pages = "499--510" } @TechReport{KuBo99, author = "Ralf K{\"u}sters and Alexander Borgida", title = "What's in an Attribute? {C}onsequences for the Least Common Subsumer", institution = "Rutgers University, USA", year = 1999, number = "DCS-TR-404", } @InProceedings{BoKu00, author = "Ralf K{\"u}sters and Alexander Borgida", title = "What's Not in a Name: {S}ome Properties of a Purely Structural Approach to Integrating Large {DL} Knowledge Bases", booktitle = DL-00, pages = "65--78", year = 2000, publisher = "CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-33/", } @Book{Kurs94, author = "R. P. Kurshan", title = "Computer Aided Verification of Coordinating Processes", publisher = "Princeton Univ. Press", year = 1994, } @Article{KuDR99, author = "N. Kurtonina and M. {de Rijke}", title = "Expressiveness of Concept Expressions in First-Order Description", journal = AIJ, year = 1999, volume = 107, number = 2, pages = "303-333" } @InProceedings{KwWe96, author = "Chung T. Kwok and Daniel Weld", title = "Planning to Gather Information", booktitle = AAAI-96, pages = "32--39", year = 1996, } %lllllllllllllllllllllllll %lllllllllllllllllllllllll @Article{Ladn75, author = "Richard E. Ladner", title = "On the Structure of Polynomial Time Reducibility", journal = JACM, year = 1975, volume = 22, pages = "155--171", } @Article{Ladn77, title = "The Computational Complexity of Provability in Systems of Modal Propositional Logic", author = "Richard E. Ladner", year = 1977, journal = SIAM-JOC, pages = "467--480", volume = 6, number = 3, } @Article{LaLS84, author = "Richard E. Ladner and Richard J. Lipton and Larry J. Stockmeyer", title = "Alternating Pushdown and Stack Automata", journal = SIAM-JOC, year = 1984, volume = 13, number = 1, pages = "135--155", } @InProceedings{LaSS96, author = "L. Lakshmanan and F. Sadri and I. N. Subramanian", title = "A Declarative Language for Querying and Restructuring the {W}eb", booktitle = "Proc.\ of the 6th Int.\ Workshop on Reasearch Issues in Data Enginnering: {I}nteroperability of Nontraditional Database Systems", year = 1996, publisher = "IEEE Computer Science Press" } @PhdThesis{Lamb96, author = "Patrick Lambrix", title = "Part-Whole Reasoning in Description Logic", school = "Dep.\ of Computer and Information Science, Link{\"o}ping University, Sweden", year = 1996 } @InProceedings{LaSA97, author = "Patrick Lambrix and Nahid Shahmehri and Johan {\AA}berg", title = "Towards Creating a Knowledge Base for World-Wide Web Documents", booktitle = "Proc.\ of the IASTED Int.\ Conf.\ on Intelligent Information Systems", pages = "507--511", year = 1997 } @InCollection{Lang91, author = "Ewald Lang", title = "The {LILOG} Ontology from a Linguistic Point of View", crossref = "HeRo91", pages = "464--481", } @InProceedings{LaRo98, author = "Veronique Lattes and Marie-Christine Rousset", title = "The use of {CARIN} language and algorithms for information integration: The Picsel project", booktitle = "Proc.\ of the ECAI'98 Workshop on Intelligent Information Integration", year = 1998, } @InProceedings{Laux94, author = "Armin Laux", title = "Beliefs in Multi-Agent Worlds: {A} Terminological Approach", year = 1994, pages = "299--303", booktitle = ECAI-94, address = "Amsterdam, The Netherlands", } @InProceedings{LaMS92, author = "Alberto Lavelli and Bernardo Magnini and Carlo Strapparava", title = "An Approach to Multilevel Semantics for Applied Systems", booktitle = "Proc.\ of the 3rd {ACL} Conference on Applied Natural Language Processing (ANLP'92)", pages = "17--24", year = 1992, } @InProceedings{LeRi89, author = "Christophe Lecluse and Philippe Richard", title = "Modeling Complex Structures in Object-Oriented Databases", booktitle = PODS-89, year = "1989", pages = "362--369", } @InProceedings{LeRV88, author = "Christophe Lecluse and Philippe Richard and Fernando Velez", title = "{O}$_2$, an Object-Oriented Data Model", booktitle = SIGMOD, year = "1988", pages = "424--433", } @Book{Lehm92, editor = "Fritz Lehmann", title = "Semantic Networks in {A}rtificial {I}ntelligence", publisher = PP, address = "Oxford (United Kingdom)", year = "1992", } @InCollection{Lehm92b, author = "Fritz Lehmann", title = "Semantic Networks", booktitle = "Semantic Networks in {A}rtificial {I}ntelligence", editor = "Fritz Lehmann", publisher = PP, year = "1992", pages = "1--50" } @Book{LeGu90, author = "D. Lenat and R. V. Guha", title = "Building Large Knowledge-Based Systems: {R}epresentation and Inference in the {C}yc Project", publisher = AW, year = 1990 } @InProceedings{Lenz87, author = "Maurizio Lenzerini", title = "Covering and Disjointness Constraints in Type Networks", booktitle = DE-87, address = "Los Angeles (CA, USA)", publisher = COMPUTER, year = "1987", pages = "386--393", } @Article{Lenz91, author = "Maurizio Lenzerini", title = "Type Data Bases with Incomplete Information", journal = ISc, volume = 53, pages = "61--87", year = 1991 } @InProceedings{Lenz99, author = "Maurizio Lenzerini", title = "Description Logics and their Relationships with Databases", booktitle = ICDT-99, pages = "32--38", year = 1999, } @Book{LeNS91, editor = "Maurizio Lenzerini and Daniele Nardi and Maria Simi", title = "Inheritance Hierarchies in Knowledge Representation and Programming Languages", publisher = JWS, year = "1991", } @Article{LeNo90, author = "Maurizio Lenzerini and Paolo Nobili", title = "On the Satisfiability of Dependency Constraints in Entity-Relationship Schemata", journal = IS, volume = "15", number = "4", year = "1990", pages = "453--461", } @InProceedings{LeSa83, author = "Maurizio Lenzerini and Gaetano Santucci", title = "Cardinality Constraints in the Entity-Relationship Model", booktitle = ER-83, editor = "C. G. Davis and {o}thers", publisher = NH, year = "1983", pages = "529--549", } @InProceedings{LeSc91, author = "Maurizio Lenzerini and Andrea Schaerf", title = "Concept Languages as Query Languages", booktitle = AAAI-91, year = "1991", pages = "471--476", } @InProceedings{LeSc91b, author = "Maurizio Lenzerini and Andrea Schaerf", title = "Querying Concept-based Knowledge Bases", booktitle = "Proc.\ of the Workshop on Processing Declarative Knowledge, PDK-91", series = LNAI, publisher = SV, year = 1991, volume = 567, pages = "107--123", } @InProceedings{Leve81, author = "Hector J. Levesque", title = "The Interaction with Incomplete Knowledge Bases: a Formal Treatment", booktitle = IJCAI-81, year = "1981", } @Article{Leve84, author = "Hector J. Levesque", title = "Foundations of a Functional Approach to Knowledge Representation", journal = AIJ, year = "1984", volume = "23", pages = "155--212", } @Article{Leve86, author = "Hector J. Levesque", title = "Knowledge Representation and Reasoning", journal = "Annual Review of Computer Science", year = "1986", volume = "1", pages = "255--287", } @Article{Leve88, author = "Hector J. Levesque", title = "Logic and the Complexity of Reasoning", journal = JPL, year = "1988", volume = "17", pages = "355--389", } @Article{Leve90, author = "Hector J. Levesque", title = "All {I} Know: a Study in Autoepistemic Logic", journal = AIJ, year = "1990", volume = "42", pages = "263--310", } @InCollection{LeBr85, author = "Hector J. Levesque and Ron J. Brachman", title = "A Fundamental Tradeoff in Knowledge Representation and Reasoning", booktitle = "Readings in Knowledge Representation", year = "1985", pages = "41--70", editor = "Ron J. Brachman and Hector J. Levesque", publisher = MK, } @Article{LeBr87, author = "Hector J. Levesque and Ron J. Brachman", title = "Expressiveness and Tractability in Knowledge Representation and Reasoning", journal = CI, year = "1987", pages = "78--93", volume = "3", } @Article{LRLLS97, author = "H. J. Levesque and R. Reiter and Y. Lesperance and F. Lin and R. Scherl", title = "{GOLOG}: {A} Logic Programming Language for Dynamic Domains", journal = JLP, volume = 31, pages = "59--84", year = 1997, } @InProceedings{Levy96, author = "Alon Y. Levy", title = "Obtaining Complete Answers from Incomplete Databases", booktitle = VLDB-96, year = 1996, pages = "402--412" } @TechReport{Levy99, author = "Alon Y. Levy", title = "Answering Queries Using Views: A Survey", institution = "University of Washinghton", year = 1999, } @InCollection{Levy00, author = "Alon Y. Levy", title = "Logic-Based Techniques in Data Integration", booktitle = "Logic Based Artificial Intelligence", year = "2000", editor = "Jack Minker", publisher = KAP, } @Article{LeFS97, author = "Alon Levy and Richard E. Fikes and Shuky Sagiv", title = "Speeding up Inference using Relevance Reasoning: {A} Formalism and Algorithms", journal = AIJ, year = 1997, volume = 97, number = "1--2", } @InProceedings{LMSS95, author = "Alon Y. Levy and Alberto O. Mendelzon and Yehoshua Sagiv and Divesh Srivastava", title = "Answering Queries Using Views", booktitle = PODS-95, year = 1995, pages = "95--104" } @InProceedings{LeMu96, author = "Alon Y. Levy and Inderpal Singh Mumick", title = "Reasoning with Aggregation Constraints", booktitle = EDBT-96, editor = "P. Apers and M. Bouzeghoub and G. Gardarin", volume = 1057, series = LNCS, year = 1996, publisher = SV, address = "Avignon (France)", pages = "514--534" } @InProceedings{LMSS93, author = "Alon Y. Levy and Inderpal S. Mumick and Yehoshua Sagiv and Oded Shmueli", title = "Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions", booktitle = PODS-93, year = 1993, pages = "109--122", } @InProceedings{LeRO96, author = "Alon Y. Levy and Anand Rajaraman and Joann J. Ordille", title = "Query Answering Algorithms for Information Agents", booktitle = AAAI-96, year = "1996", pages = "40--47" } @InProceedings{LeRO96b, author = "Alon Y. Levy and Anand Rajaraman and Joann J. Ordille", title = "Querying Heterogenous Information Sources Using Source Descriptions", booktitle = VLDB-96, year = "1996", } @InProceedings{LeRo96c, author = "Alon Y. Levy and Marie-Christine Rousset", title = "Verification of Knowledge Bases based on Containment Checking", booktitle = AAAI-96, year = "1996", pages = "585--591" } @Article{LeRo98, author = "Alon Y. Levy and Marie-Christine Rousset", title = "Verification of Knowledge Bases based on Containment Checking", journal = AIJ, year = "1998", volume = "101(1-2)", pages = "227--250", } @InProceedings{LeRo96d, author = "Alon Y. Levy and Marie-Christine Rousset", title = "{CARIN}: {A} Representation Language Combining {H}orn Rules and Description Logics", booktitle = ECAI-96, year = 1996, pages = "323--327" } @Article{LeRo98b, author = "Alon Y. Levy and Marie-Christine Rousset", title = "Combining Horn Rules and Description Logics in {CARIN}", journal = AIJ, year = 1998, volume = 104, number = "1--2", pages = "165--209", } @InProceedings{LeRo96e, author = "Alon Y. Levy and Marie-Christine Rousset", title = "The Limits on Combining Recursive {H}orn Rules with Description Logics", booktitle = AAAI-96, year = "1996", pages = "577--584" } @InProceedings{LeRU96, author = "Alon Y. Levy and Anand Rajaraman and Jeffrey D. Ullman", title = "Answering Queries Using Limited External Query Processors", booktitle = PODS-96, year = 1996, pages = "227--237" } @TechReport{LeRo97, author = "Alon Y. Levy and Marie-Christine Rousset", title = "{CARIN}: {A} Representation Language Combining {H}orn Rules and Description Logics", year = 1997, institution = "AT\&T", } @InProceedings{LeRo97b, author = "Alon Y. Levy and Marie-Christine Rousset", title = "Verification of Knowledge Bases: a Unifying Logical View", booktitle = "Proc.\ of the 4th European Symposium on the Validation and Verification of Knowledge Based Systems", year = "1997", address = "Leuven, Belgium", } @Article{LeSK95, author = "Alon Y. Levy and Divesh Srivastava and Thomas Kirk", title = "Data Model and Query Evaluation in Global Information Systems", journal = JIIS, year = 1995, volume = 5, pages = "121--143" } @InProceedings{LeSa95, author = "Alon Y. Levy and Yehoshua Sagiv", title = "Semantic Query Optimization in Datalog Programs", booktitle = PODS-95, year = 1995, pages = "163-173" } @InProceedings{LeSu97, author = "Alon Y. Levy and Dan Suciu", title = "Deciding Containment for Queries with Complex Objects", booktitle = PODS-97, year = 1997, pages = "20--31" } @Book{Lewi79, author = "Harry R. Lewis", title = "Unsolvable Classes of Quantificational Formulas", publisher = AW, year = 1979, } @Book{LePa81, author = "Harry R. Lewis and Christos H. Papadimitriou", title = "Elements of the Theory of Computation", publisher = PH, year = 1981, } @InProceedings{LiCh00, author = "Chen Li and Edward Chang", title = "Query Planning with Limited Source Capabilities", booktitle = ICDE-00, pages = "401--412", year = 2000, } @InProceedings{LiCh01, author = "Chen Li and Edward Chang", title = "On Answering Queries in the Presence of Limited Access Patterns", booktitle = ICDT-01, year = 2001, } @InProceedings{LYVG*98, author = "Chen Li and Ramana Yerneni and Vasilis Vassalos and Hector Garcia-Molina and Yannis Papakonstantinou and Jeffrey D. Ullman and Murty Valiveti", title = "Capability Based Mediation in {TSIMMIS}", booktitle = SIGMOD, pages = "564--566", year = 1998, } @InProceedings{LiMc91, author = "Qing Li and Dennis McLeod", title = "An Object-Oriented Approach to Federated Databases", booktitle = "1st {IEEE} International Workshop on Interoperability in Database Systems", year = 1991, pages = "64--70", } @Article{Libk00, author = "Leonid Libkin", title = "Logics with Counting and Local Properties", journal = TOCL, year = 2000, volume = 1, number = 1, } @InProceedings{Lifs85, author = "Vladimir Lifschitz", title = "Computing Circumscription", booktitle = IJCAI-85, year = "1985", } @InCollection{Lifs90, author = "Vladimir Lifschitz", title = "On Open Defaults", booktitle = "Symposium on Computational Logics", publisher = "Springer-Verlag, {ESPRIT} Basic Research Action Series", pages = "96--113", editor = "J. W. Lloyd", year = 1990, } @InProceedings{Lifs91, author = "Vladimir Lifschitz", title = "Nonmonotonic Databases and Epistemic Queries", booktitle = IJCAI-91, year = 1991, pages = "381--386" } @Article{Lifs94, author = "Vladimir Lifschitz", title = "Minimal belief and negation as failure", journal = AIJ, volume = 70, pages = "53--72", year = 1994 } @InCollection{Lifs94b, author = "Vladimir Lifschitz", title = "Circumscription", booktitle = "Handbook of Logic in Artificial Intelligence and Logic Programming", pages = "298--352", publisher = OUP, year = 1994, volume = 3, } @InProceedings{LSPR93, author = "Ee-Peng Lim and Jaideep Srivastava and Satya Prabhakar and James Richardson", title = "Entity Identification in Database Integration", booktitle = ICDE-93, year = 1993, pages = "294--301" } @Article{LiSS96, author = "Ee-Peng Lim and Jaideep Srivastava and Shashi Shekhar", title = "An Evidential Reasoning Approach to Attribute Value Conflict Resolution in Database Integration", journal = TKDE, year = 1996, volume = 8, number = 5 } @Article{LiSh92, author = "Lin, F. and Shoham, Y.", title = "Epistemic Semantics for Fixed-Point Non-Monotonic Logics", journal = AIJ, volume = 57, pages = "271--289", year = 1992 } @Article{LiMR90, author = "Witold Litwin and Leo Mark and Nick Roussopoulos", title = "Interoperability of Multiple Autonomous Databases", journal = CS, year = 1990, volume = 22, number = 3, pages = "267--293", } @Book{Lloy87, author = "John W. Lloyd", title = "Foundations of Logic Programming (Second, Extended Edition)", year = 1987, publisher = SV, address = "Berlin, Heidelberg" } @Article{LlSh91, author = "John W. Lloyd and John .C. Shepherdson", title = "Partial Evaluation in Logic Programming", journal = JLP, year = 1991, volume = 11, pages = "217--242" } @Article{LuGN00, author = "Bernd Ludwig and G{\"u}nther G{\"o}rz and Heinrich Niemann", title = "Combining Expression and Content in Domains for Dialog Managers", journal = JLC, year = 2000, pages = "241--258", volume = 1, number = 2, } @InProceedings{Lutz99, author = "Carsten Lutz", title = "Complexity of Terminological Reasoning Revisited", booktitle = LPAR-99, series = LNAI, volume = 1705, publisher = SV, year = "1999", pages = "181--200", } @InProceedings{Lutz99b, author = "Carsten Lutz", booktitle = IJCAI-99, publisher = MK, title = "Reasoning with Concrete Domains", year = "1999", pages = "90--95", editor = "Thomas Dean", address = "Stockholm, Sweden" } @InProceedings{Lutz01, author = "Carsten Lutz", title = "Interval-Based Temporal Reasoning with General {TBoxes}", booktitle = IJCAI-01, pages = "89--94", year = 2001, } @InProceedings{Lutz01b, author = "Carsten Lutz", title = "{NEXPTIME}-complete Description Logics with Concrete Domains", booktitle = IJCAR-01, year = 2001, publisher = SV, pages = "45--60", } @InProceedings{LuSa00, author = "Carsten Lutz and Ulrike Sattler", title = "Mary likes all Cats", booktitle = DL-00, pages = "213--226", year = 2000, publisher = "CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-33/", } @InProceedings{LuSa00b, author = "Carsten Lutz and Ulrike Sattler", title = "The Complexity of Reasoning with Boolean Modal Logic", booktitle = "Proc.\ of Advances in Modal Logic~2000 (AiML~2000)", year = 2000, } @InProceedings{LuST99, author = "Carsten Lutz and Ulrike Sattler and Stephan Tobies", title = "A Suggestion for an $n$-ary Description Logic", booktitle = DL-99, year = 1999, pages = "81--85", publisher = "CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-22/", } @InProceedings{LuSW01, author = "Carsten Lutz and Ulrike Sattler and Frank Wolter", title = "Description Logics and the Two-Variable Fragment", booktitle = DL-01, pages = "66--75", year = 2001, } @InProceedings{LSWZ01, author = "Carsten Lutz and Holger Sturm and Frank Wolter and Michael Zakharyaschev", title = "Tableaux for Temporal Description Logic with Constant Domain", booktitle = IJCAR-01, pages = "121--136", year = 2001, editor = "R. Gor\'e and A. Leitsch and T. Nipkow", series = LNAI, volume = 2083, publisher = SV, } @InProceedings{LyVi87, author = "Peter Lyngbaek and Victor Vianu", title = "Mapping a Semantic Database Model to the Relational Model", booktitle = SIGMOD, year = "1987", pages = "132--142", } @InProceedings{LuGM01, author = "Bertram Ludascher and Amarnath Gupta and Maryann E. Martone", title = "Model-based mediation with Domain Maps", booktitle = ICDE-01, year = 2001, pages = "81--90" } %mmmmmmmmmmmmmmmmmmmmmmmmm %mmmmmmmmmmmmmmmmmmmmmmmmm @InProceedings{MacG88, author = "Robert Mac{G}regor", title = "A Deductive Pattern Matcher", year = "1988", booktitle = AAAI-88, pages = "403--408", } @TechReport{MaBa87, author = "Robert Mac{G}regor and R. Bates", title = "The {L}oom Knowledge Representation Language", institution = "University of Southern California, Information Science Institute", address = "Marina del Rey (CA, USA)", number = "ISI/RS-87-188", year = 1987, } @InCollection{MacG91, author = "Robert Mac{G}regor", title = "The Evolving Technology of Classification-Based Knowledge Representation Systems", booktitle = "Principles of Semantic Networks", year = "1991", pages = "385--400", editor = "John F. Sowa", publisher = MK, } @Article{MacG91b, author = "Robert Mac{G}regor", title = "Inside the {LOOM} Description Classifier", journal = SIGART, year = "1991", pages = "88--92", volume = "2", number = "3", } @InProceedings{MacG92, author = "Robert Mac{G}regor", title = "What's Needed to Make a Description Logic a Good {KR} Citizen", booktitle = "Working Notes of the AAAI Fall Symposium on Issues on Description Logics: Users meet Developers", year = "1992", pages = "53--55", } @InProceedings{MaBr92, author = "Robert Mac{G}regor and David Brill", title = "Recognition Algorithms for the {LOOM} Classifier", year = "1992", booktitle = AAAI-92, pages = "774--779", publisher = AAAIP, } @Article{MaBu91, author = "Robert Mac{G}regor and Mark H. Burstein", title = "Using a Description Classifier to Enhance Knowledge Representation", journal = EXPERT, year = "1991", month = jul, pages = "41--46", } @InProceedings{MacG94, author = "Robert Mac{G}regor", title = "A Description Classifier for the Predicate Calculus", year = 1994, booktitle = AAAI-94, pages = "213--220", } @Book{MaSi90, editor = "Mac Lane, Saunders and Dirk Siefkes", title = "The Collected Works of J.\ Richard B{\"}uchi", publisher = SV, year = 1990 } @Article{Maie80, author = "David Maier", title = "Minimum Covers in the Relational Database Model", journal = JACM, year = 1980, volume = 27, number = 4, pages = "664--674", } @Book{Maie83, author = "David Maier", title = "The Theory of Relational Databases", publisher = CSP, year = "1983", } @Article{MaSc91, author = "David Makinson and G. Schlechta", title = "Floating Conclusions and Zombie Paths: two deep difficulties in the ``directly skeptical'' approach to defeasible inheritance", journal = AIJ, year = 1991, pages = "199--209", volume = 48 } @Article{MaPn96, author = "J. A. Makowsky and Y. B. Pnueli", title = "Arity and Alternation in Second-Order Logic", journal = APAI, volume = 78, year = 1996, pages = "189-202", } @TechReport{MaDe98, title = "{XML} {L}inking {L}anguage ({XL}ink) -- {W3C} Working Draft 03-March-1998", author = "Eve Maler and Steve DeRose", institution = "World Wide Web Consortium", year = 1998, note = "Available at http://www.w3.org/TR/1998/WD-xlink-19980303" } @InProceedings{MaMo93b, author = "Margarida Mameide and Lu{\i}s Montero", title = "Decidability of a Terminological Language with Role Negation and Conjunction", booktitle = "Proc.\ of the Compulog Net area meeting on Knowledge Representation and Reasoning", year = 1993, address = "Lisbon, Portugal", publisher = "Departamento de Informatica, Universidade Nova de Lisboa", } @Book{MaPn92, author = "Z. Manna and A. Pnueli", title = "The Temporal Logic of Reactive and Concurrent Systems: Specification", publisher = SV, year = 1992, } @TechReport{MaMo93, author = "Margarida Mamede and Lu\'{\i}s Monteiro", title = "Towards Complete Answers in Concept Languages", institution = "ESPRIT Project 6810, Compulog 2", year = "1993", note = "Deliverable for year 1", } @InProceedings{MaBr88, author = "Rainer Manthey and Fran\c{c}ois Bry", title = "{SATCHMO}: a Theorem Prover Implemented in Prolog", booktitle = CADE-88, year = "1988", publisher = SV, series = LNCS, } @Book{Mart75, author = "B{\'e}la Martos", title = "Nonlinear Programming Theory and Methods", publisher = NH, year = 1975 } %% was DoMa00 @InProceedings{MaDo00, author = "Fabio Massacci and Francesco M. Donini", title = "Design and Results of {TANCS-00}", booktitle = TABLEAUX-00, series = LNAI, volume = 1847, editor = "R. Dyckhoff", year = 2000, publisher = SV, } @Article{Mati71, author = "Y. Matiyasevich", title = "Diophantine Representation of Recursively Enumerable Predicates", journal = "Ak.\ Nauk USSR, Ser.\ Math.", volume = 35, pages = "3--30", year = 1971, } @Article{MaDW91, author = "E. Mays and R. Dionne and R. Weida", title = "{K-REP} System Overview", journal = SIGART, year = "1991", volume = "2", number = "3", } @Misc{McAl91, author = "David McAllester", note = "Unpublished Manuscript", year = "1991", } @InProceedings{McAl96, author = "David A. McAllester and Robert Givan and Carl Witty and Dexter Kozen", title = "Tarskian Set Constraints", booktitle = LICS-96, year = 1996, pages = "138--147", } @InProceedings{McTu97, author = "Norman McCain and Hudson Turner", title = "Causal Theories of Action and Change", booktitle = AAAI-97, pages = "460--465", year = 1997, } @InProceedings{McTu98, author = "Norman McCain and Hudson Turner", title = "Satisfiability planning with Causal Theories", booktitle = KR-98, pages = "212--223", year = 1998, } @Article{McCa80, author = "John McCarthy", title = "Circumscription --- A Form of Non-Monotonic Reasoning", journal = AIJ, year = 1980, pages = "27--39,171--172", volume = 13, note = "Republished in \cite{Gins87}." } @Article{McHa69, author = "John McCarthy and Patrick J. Hayes", title = "Some Philosophical Problems from the Standpoint of Aritificial Intelligence", journal = "Machine Intelligence", year = 1969, volume = 4, pages = "463--502", } @InProceedings{Mcde82, author = "John McDermott", title = "{R1: A} Rule-Based Configurer of Computer Systems", booktitle = AIJ, volume = 19, year = 1982, } @InProceedings{McGu92, author = "Deborah L. McGuinness", title = "Making Description Logic Based Knowledge Representation Systems more Usable", booktitle = "Working Notes of the AAAI Fall Sysmposium on Issues on Description Logics: Users meet Developers", year = "1992", pages = "56--58", } @PhdThesis{Mcgu96, title = "Explaining Reasoning in Description Logics", author = "Deborah L. McGuinness", school = "Department of Computer Science, Rutgers University", number = "LCSR-TR-277", month = oct, year = 1996, note = "Also available as Rutgers Technical Report Number LCSR-TR-277", } @InProceedings{Mcgu98, author = "Deborah L. McGuinness", title = "Ontological Issues for Knowledge-Enhanced Search", booktitle = "Proceedings of Formal Ontology in Information Systems.", note = "Also published in {\it Frontiers in Artificial Intelligence and Applications}, IOS-Press, 1998", year = 1998, } %% was McAI95 @InProceedings{McRI95, author = "Deborah L. McGuinness and Lori Alperin Resnick and Charles Isbell", title = "{D}escription {L}ogic in Practice: A {CLASSIC} Application", booktitle = IJCAI-95, year = 1995, pages = "2045--2046", } @InProceedings{McBo95, author = "Deborah L. McGuinness and Alex Borgida", title = "Explaining Subsumption in Description Logics", booktitle = IJCAI-95, pages = "816--821", year = 1995, } %% was MPAI*98 @Article{MPRI*98, title = "A Description Logic Based Configurator for the Web", author = "Deborah McGuinness and Patel-Schneider, Peter F. and Lori Alperin Resnick and Charles Isbell and Matt Parker and Chris Welty", journal = SIGART, year = 1998, volume = 9, number = 2, pages = "20--22", } @Article{McWr98, author = "Deborah L. McGuinness and Jon R. Wright", title = "An Industrial Strength Description Logic-based Configuration Platform", year = 1998, journal = IEEE-IS, pages= "69--77", } @Article{McWr98b, author = "Deborah McGuinness and Jon R. Wright", title = "Conceptual Modelling for Configuration: {A} Description Logic-Based Approach", journal = "Artificial Intelligence for Engineering Design, Analysis, and Manufacturing J.\ -- Special Issue on Configuration", year = 1998, volume = 12, pages = "333--344", } @TechReport{McWi99, author = "Jason McHugh and Jennifer Widom", title = "Optimizing Branching Path Expressions", institution = "Stanford University", year = 1999, note = "Available at http://www-db.stanford.edu/pub/papers/mp.ps", } @Book{McMi93, author = "K. L. McMillan", title = "Symbolic Model Checking", publisher = KAP, year = 1993, } @Article{Mcna66, author = "R. McNaughton", title = "Testing and Generating Infinite Sequences by a Finite Automaton", journal = ICon, year = 1966, volume = 9, pages = "521--530" } @Book{McPa71, author = "R. McNaughton and S. Papert", title = "Counter-Free Automata", publisher = MIT, year = 1971 } @Article{MeMA99, author = "Giansalvatore Mecca and Paolo Merialdo and Paolo Atzeni", title = "Araneus in the Era of {XML}", journal = IEEEBDE, year = 1999, volume = 22, number = 3, pages = "19--26", } @Article{MIKS00, author = "E. Mena and A. Illarramendi and V. Kashyap and A. Sheth", title = "{OBSERVER}: {A}n Approach for Query Processing in Global Information Systems based on Interoperation across Pre-existing Ontologies", journal = "Distributed and Parallel Databases", year = 2000, volume = 8, number = 2, pages = "223--271", } @Article{MeMM97, author = "Alberto Mendelzon and George A. Mihaila and Tova Milo", title = "Querying the {W}orld {W}ide {W}eb", journal = JODL, year = 1997, volume = 1, number = 1, pages = "54--67" } @PhdThesis{Meyd92, author = "Ron van der Meyden", title = "The Complexity of Querying Indefinite Information", school = "Rutgers University", year = 1992 } @InCollection{Meyd98, author = "Ron van der Meyden", title = "Logical Approaches to Incomplete Information", booktitle = "Logics for Databases and Information Systems", editor = "Jan Chomicki and G{\"u}nter Saake", publisher = KAP, year = 1998, pages = "307--356", } @Book{MeHo92, author = "J. J. Meyer and W. van der Hoek", title = "Epistemic Logic for {AI} and Computer Science", publisher = CUP, year = 1995, } @Article{MiSh99, author = "Rob Miller and Murray Shanahan", title = "The Event Calculus in Classical Logic --- {A}lternative Axiomatisations", journal = ETAI, volume = 4, number = 16, year = 1999, } @Article{MiIR94, author = "R. J. Miller and Y. E. Yoannidis and R. Ramakrishnan", title = "Schema Equivalence in Heterogeneous Systems: Bridging Theory and Practice", journal = IS, year = 1994, volume = 19, number = 1, pages = "3--31" } @InProceedings{MiIR94b, author = "R. J. Miller and Y. E. Yoannidis and R. Ramakrishnan", title = "Schema Equivalence in Heterogeneous Systems: Bridging Theory and Practice", booktitle = EDBT-94, series = LNCS, year = 1994, publisher = SV, pages = "73--80" } @InProceedings{MiSu99, author = "Tova Milo and Dan Suciu", title = "Index Structures for Path Expressions", booktitle = ICDT-99, pages = "277--295", year = 1999, volume = 1540, series = LNCS, publisher = SV } @InProceedings{MiSu99b, author = "Tova Milo and Dan Suciu", title = "Type Inference for Queries on Semistructured Data", booktitle = PODS-99, year = 1999, pages = "215--226", } @InProceedings{MiZo98, author = "Tova Milo and Sagit Zohar", title = "Using Schema Matching to Simplify Heterogeneous Data Translation", booktitle = VLDB-98, pages = "279--290", year = 1999, } @InProceedings{Mink82, author = "Jack Minker", title = "On Indefinite Data Bases and the Closed World Assumption", booktitle = CADE-82, editor = SV, year = 1982, series = LNCS, volume = 138, } @InCollection{Mins81, author = "Marvin Minsky", title = "A Framework for Representing Knowledge", booktitle = "Mind Design", editor = "J. Haugeland", year = "1981", publisher = MIT, note = "A longer version appeared in {\it The Psychology of Computer Vision} (1975). Republished in \cite{BrLe85}", } @Article{Mitc83, author = "John C. Mitchell", title = "The Implication Problem for Functional and Inclusion Dependencies", journal = ICon, year = 1983, volume = 56, pages = "154--173" } @PhdThesis{Moli00, author = "Ralf Molitor", title = "Unterst{\"u}tzung der {M}odellierung verfahrenstechnischer {P}rozesse durch {N}icht-{S}tandardinferenzen in {B}eschreibungslogiken", school = "LuFG Theoretical Computer Science, RWTH-Aachen, Germany", year = 2000, note = "In German", } @InCollection{MoTr00, author = "Ralf Molitor and Christopher B. Tresp", title = "Extending Description Logics to Vague Knowledge in Medicine", booktitle = "Fuzzy Systems in Medicine", pages = "617--635", volume = 41, publisher = SV, year = 2000, editor = "P. Szczepaniak and P. J. G. Lisboa and J. Kacprzyk", series = "Studies in Fuzziness and Soft Computing", } @Article{Moor85, author = "Robert C. Moore", title = "Semantical Considerations on Nonmonotonic Logic", journal = AI, volume = 25, pages = "75--94", year = 1985, } @Article{MoPa93, author = "Johanna D. Moore and C{\'e}cile Paris", title = "Planning Text for Advisory Dialogues: {C}apturing Intentional and Rhetorical Information", journal = "Computational Linguistics", year = 1993, volume = 19, number = 4, pages = "651--694", } @Article{Mort75, author = "Michael Mortimer", title = "On Languages with two Variables", journal = "Zeitschrift f{\"u}r Mathematische Logik und Grundlagen der Mathematik", year = 1975, volume = 21, pages = "135--140" } @Book{Mosc74, author = "Yiannis N. Moschovakis", title = "Elementary Induction on Abstract Structures", publisher = NH, year = 1974 } @InProceedings{MoZa99, author = "M. Mosurovic and M. Zakharyaschev", title = "On the Complexity of Description Logics with Modal Operators", year = 1999, pages = "166--171", booktitle = "Proceedings of the 2nd Panhellenic Logic Symposion", editor = "P. Kolaitos AND G. Koletos", address = "Delphi, Greece", } @Article{MoMy92, author = "R. {Motschnig-Pitrik} and J. Mylopoulous", title = "Classes and Instances", journal = JICIS, year = "1992", volume = "1", number = "1", } @Article{Motr96, author = "Amihai Motro", title = "Panorama: A Database System that Annotates Its Answers to Queries with Their Properties", journal = JIIS, year = "1996", volume = "7", number = "1", } @InProceedings{MuCh92, author = "Marie-Laure Mugnier and Michel Chein", title = "Polynomial Algorithms for Projection and Matching", pages = "239--251", editor = "Heather D. Pfeiffer and Timothy E. Nagle", booktitle = "Proc.\ of the 7th Annual Workshop on Conceptual Structures: Theory and Implementation", year = 1992, series = LNAI, volume = 754, publisher = SV } @InProceedings{MuSS88, author = "D. E. Muller and A. Saoudi and P. E. Schupp", title = "Weak Alternating Automata Give a Simple Explanation of why Most Temporal and Dynamic Logics are Decidable in Exponential Time", booktitle = LICS-88, year = 1988, pages = "422--427" } @Article{MuSc87, author = "D. E. Muller and P. E. Schupp", title = "Alternating Automata on Infinite Trees", journal = TCS, year = 1987, volume = 54, pages = "267--276" } @Article{MyBW80, author = "J. Mylopoulos and P. A. Bernstein and E. Wong", title = "A Language Facility for Designing Database-Intensive Applications", journal = TODS, volume = "5", number = "2", month = jun, year = "1980", pages = "185--207", } %nnnnnnnnnnnnnnnnnnnnnnnnn %nnnnnnnnnnnnnnnnnnnnnnnnn @InProceedings{NaRo95, author = "Daniele Nardi and Riccardo Rosati", title = "A Preference Semantics for Ground Nonmonotonic Modal Logics", booktitle = EPIA-95, year = 1995, publisher = SV, series = LNAI, volume = 990, } @Article{Nebe88, author = "Bernhard Nebel", title = "Computational Complexity of Terminological Reasoning in {BACK}", journal = AIJ, year = "1988", pages = "371--383", volume = "34", number = "3", } @Article{Nebe90, author = "Bernhard Nebel", title = "Terminological Reasoning is Inherently Intractable", journal = AIJ, year = "1990", pages = "235--249", volume = "43", } @Book{Nebe90b, author = "Bernhard Nebel", title = "Reasoning and Revision in Hybrid Representation Systems", publisher = SV, year = 1990, series = LNAI, volume = 422, } @InCollection{Nebe91, author = "Bernhard Nebel", title = "Terminological Cycles: Semantics and Computational Properties", booktitle = "Principles of Semantic Networks", year = 1991, pages = "331--361", editor = "John F. Sowa", publisher = MK, } @InProceedings{NeLu88, author = "Bernhard Nebel and Kai von Luck", title = "Hybrid Reasoning in {BACK}", booktitle = ISMIS-88, year = "1988", publisher = NH, pages = "260--269", } @InProceedings{NePe91, author = "Bernhard Nebel and Christof Peltason", title = "Terminological Reasoning and Information Management", booktitle = "Artificial Intelligence and Information Systems: Integration Aspects", editor = "D. Karagianis", year = 1991, publisher = SV, series = LNCS, volume = 474, pages = "181--212", } @TechReport{NePe90, author = "Bernhard Nebel and Christof Peltason", title = "Terminological Reasoning and Information Management", institution = "Fachbereich Informatik, Technische Universit{\"a}t Berlin", number = "{KIT}-Report 85", year = "1990", address = "Berlin (Germany)", } @TechReport{NeSm89, author = "Bernhard Nebel and Gert Smolka", title = "Representation and Reasoning with Attributive Descriptions", institution = "{IWBS}, {IBM} Deutschland", number = 81, year = 1989, address = "P.O.\ Box 80 08 80 D-7000 Stuttgart 80, Germany", } @InCollection{NeSm90, author = "Bernhard Nebel and Gert Smolka", title = "Representation and Reasoning with Attributive Descriptions", booktitle = "Sorts and Types in Artificial Intelligence", year = 1990, pages = "112--139", editor = "K. H. Bl{\"a}sius and U. Hedtst{\"u}ck and C.-R. Rollinger", publisher = SV, series = LNAI, volume = 422, } @TechReport{NeSm91, author = "Bernhard Nebel and Gert Smolka", title = "Attributive Description Formalism \dots\ and the Rest of the World", year = 1991, institution = DFKI, address = "Saarbr{\"u}cken (Germany)", number = "RR-91-15", note = "Appeared also in O. Herzog and C.-R. Rollinger (eds.), {\it Textunderstanding in {LILOG}: Integrating Computational Linguistics and {A}rtificial {I}ntelligence}, Springer-Verlag, 1991", } @InCollection{NeSm91b, author = "Bernhard Nebel and Gert Smolka", title = "Attributive Description Formalism and the Rest of the World", year = "1991", booktitle = "Textunderstanding in {LILOG}: Integrating Computational Linguistics and {A}rtificial {I}ntelligence", publisher = SV, address = "Berlin (Germany)", editor = "O. Herzog and C.-R. Rollinger", } @Article{NeAM97, author = "Svetlozar Nestorov and Serge Abiteboul and Rajeev Motwani", title = "Inferring Structure in Semistructured Data", journal = SIGMODR, year = 1997, volume = 26, number = 4, pages = "39--43", } @InProceedings{NeAM98, author = "Svetlozar Nestorov and Serge Abiteboul and Rajeev Motwani", title = "Extracting Schema from Semistructured Data", booktitle = SIGMOD, pages = "295--306", year = 1998, } @Book{NiNi92, author = "H. R. Nielson and F. Nielson", title = "Semantics with Applications", publisher = JWS, year = 1992, } %ooooooooooooooooooooooooo %ooooooooooooooooooooooooo @InProceedings{Ohei99, author = "David von Oheimb", title = "Hoare Logic for Mutual Recursion and Local Variables", booktitle = "Foundations of Software Technology and Theoretical Computer Science", year = 1999, publisher = SV, series = LNCS, volume = 1738, pages = "168--180", editor = "C. Pandu Rangan, V. Raman and R. Ramanujam", } @Article{OpSu88, author = "F. Oppacher and E. Suen", title = "{HARP}: {A} Tableau-Based Theorem Prover", journal = JAR, year = 1988, volume = 4, pages = "69--100", } @InProceedings{Owsn88, author = "B. Owsnicki-Klewe", title = "Configuration as a Consistency Maintenance Task", booktitle = KI-88, year = 1988, pages = "77--87", publisher = SV, } @Article{OuNa94, author = "A. M. Ouksel and C. F. Naiman", title = "Coordinating Context Building in Heterogeneous Information Systems", journal = JIIS, year = 1994, volume = 3, pages = "151--183" } @InProceedings{Owsn90, author = "Bernd Owsnicki-Klewe", title = "A Cardinality-Based Approach to Incomplete Knowledge", booktitle = ECAI-90, year = "1990", } %ppppppppppppppppppppppppp %ppppppppppppppppppppppppp @InProceedings{PaST97, author = "Leszek Pacholski and Wieslaw Szwast and Lidia Tendera", title = "Complexity of Two-Variable Logic with Counting", booktitle = LICS-97, publisher = IEEEP, year = 1997, pages = "318--327", } @Article{PaST00, author = "Leszek Pacholski and Wies{\l}aw Szwast and Lidia Tendera", title = "Complexity Results for First-Order Two-Variable Logic with Counting", journal = SIAM-JOC, volume = 29, number = 4, pages = "1083--1117", year = 2000, } @InProceedings{PaNe93, author = "Lin Padgham and Bernhard Nebel", title = "Combining Classification and Non-Monotonic Inheritance Reasoning: {A} First Step", booktitle = ISMIS-93, year = "1993", editor = "J. Komorowski and Z. W. Ra\'s", } @InProceedings{PaZh93, author = "Lin Padgham and Tingting Zhang", title = "A Terminological Logic with Defaults: {A} Definition and an Application", booktitle = IJCAI-93, year = "1993", pages = "662--668", } @InProceedings{PaLK97, author = "Suzanne M. Paley and John D. Lawrence and Peter D. Karp", title = "A Generic Knowledge-Base Browser and Editor", booktitle = AAAI-97, year = 1997, pages = "1045--1051", } @InProceedings{PaTU00, author = "Luigi Palopoli and Giorgio Terracina and Domenico Ursino", title = "The System {DIKE}: {T}owards the Semi-Automatic Synthesis of Cooperative Information Systems and Data Warehouses", booktitle = "Proc.\ of Symposium on Advances in Databases and Information Systems (ADBIS-DASFAA~2000)", year = 2000, pages = "108--117", } @InProceedings{PaTU01, author = "Luigi Palopoli and Giorgio Terracina and Domenico Ursino", title = "A graph-based approach for extracting terminological properties of elements of {XML} documents", booktitle = ICDE-01, year = 2001, pages = "330--340", publisher = IEEEP, } @Article{PaTo97, author = "Luigi Palopoli and Riccardo Torlone", title = "Generalized Production Rules as a Basis for Integrating Active and Deductive Databases", journal = TKDE, year = 1997, volume = 9, number = 6, pages = "848--862" } @InProceedings{PaSU98, author = "Luigi Palopoli and Domenico Scacc{\`a} and Domenico Ursino", title = "An Automatic Techniques for Detecting Type Conflicts in Database Schemes", booktitle = CIKM-98, year = 1998, pages = "306--313" } @Article{PaSU99, author = "Luigi Palopoli and Domenico Sacc{\`a} and Domenico Ursino", title = "Semi-Automatic Techniques for Deriving Interscheme Properties from Database Schemes", journal = DKE, year = 1999, volume = 30, number = 3, pages = "239--273", } @Article{PPTU00, author = "Luigi Palopoli and Luigi Pontieri and Giorgio Terracina and Domenico Ursino", title = "Intensional and Extensional Integration and Abstraction of Heterogeneous Databases", journal = DKE, volume = 35, number = 3, pages = "201--237", year = 2000, } @Article{Papa81, author = "Christos H. Papadimitriou", title = "On the Complexity of Integer Programming", journal = JACM, volume = "28", number = "4", year = "1981", pages = "765--768", } @Book{Papa94, author = "Christos H. Papadimitriou", title = "Computational Complexity", publisher = AW, year = "1994", } @Book{PaSt82, author = "Christos H. Papadimitriou and Kenneth Steiglitz", title = "Combinatorial Optimization: Algorithms and Complexity", publisher = PH, year = "1982", } @Article{PaYa91, author = "C. H. Papadimitriou and M. Yannakakis", title = "Optimization, Approximation, and Complexity Classes", journal = JCSS, volume = "43", number = "3", year = "1991", pages = "425--440", } @InProceedings{PaAG96, author = "Yannis Papakonstantinou and Serge Abiteboul and Hector Garcia-Molina", editor = "T. M. Vijayaraman and Alejandro P. Buchmann and C. Mohan and Nandlal L. Sarda", title = "Object Fusion in Mediator Systems", booktitle = VLDB-96, year = 1996, pages = "413--424", } %% was PaFU96 @InProceedings{PaGU96, author = "Yannis Papakonstantinou and Hector Garcia-Molina and Jeffrey D. Ullman", editor = "Stanley Y. W. Su", title = "{M}ed{M}aker: {A} Mediation System Based on Declarative Specifications", booktitle = ICDE-96, year = 1996, pages = "132--141", } @InProceedings{PaGW95, author = "Yannis Papakonstantinou and Garcia-Molina, Hector and Jennifer Widom", title = "Object Exchange Across Heterogeneous Information Sources", booktitle = ICDE-95, year = 1995, pages = "251--260" } @InProceedings{PaVa99, author = "Yannis Papakonstantinou and Vasilis Vassalos", title = "Query Rewriting using Semistructured Views", booktitle = SIGMOD, year = 1999 } @InProceedings{PaVi00, author = "Yannis Papakonstantinou and Victor Vianu", title = "{DTD} Inference for Views of {XML} Data", booktitle = PODS-00, year = 2000, pages = "35--46" } @InProceedings{Pari80, author = "Rohit Parikh", title = "Propositional Logics of Programs: Systems, Models and Complexity", booktitle = POPL-80, pages = "186--192", address = "Las Vegas (USA)", year = "1980" } @InProceedings{Pari81, author = "Rohit Parikh", title = "Propositional Dynamic Logic of Programs: {A} Survey", booktitle = WOLP-81, series = LNCS, volume = 125, publisher = SV, pages = "102--144", year = 1981, } @Article{Pari83, author = "Rohit Parikh", title = "Propositional Logics of Programs: New Directions", journal = FCT, volume = 4, year = 1983 } @Article{PaVa96, author = "C. Paris and Vander Linden, K.", title = "{DRAFTER}: {A}n Interactive Support Tool for Writing Multilingual Instructions", journal = COMPUTER, year = 1996, month = jul, pages = "49--56", } @InProceedings{PaVa96b, author = "C. Paris and Vander Linden, K.", title = "Building Knowledge Bases for the Generation of Software Documentation", booktitle = COLING-96, year = 1996, pages = "734-739", } @Article{Park70, author = "David Park", title = "Fixpoint Induction and Proofs of Program Properties", journal = "Machine Intelligence", volume = 5, publisher = "Edinburgh University Press", pages = "59--78", year = 1970, } @Article{Park76, author = "David Park", title = "Finiteness is mu-ineffable", journal = TCS, volume = 3, pages = "173--181", year = 1976, } @Article{PaTi85, author = "Solomon Passy and Tinko Tinchev", title = "{PDL} with Data Constraints", journal = IPL, volume = 20, pages = "35--41", year = 1985, } @Article{PaTi91, author = "Solomon Passy and Tinko Tinchev", title = "An Essay in Combinatory Dynamic Logic", journal = ICOMP, volume = 93, pages = "263--332", year = 1991, } @InProceedings{Pate84, author = "Patel-Schneider, Peter F.", title = "Small Can Be Beautiful in Knowledge Representation", booktitle = "Proc.\ of the {IEEE} Workshop on Knowledge-Based Systems", year = "1984", note = "An extended version appeared as Fairchild Tech.\ Rep.\ 660 and {FLAIR} Tech.\ Rep.\ 37, October 1984.", } @InProceedings{Pate86, author = "Patel-Schneider, Peter F.", title = "A Four-Valued Semantics for Frame-Based Description Languages", booktitle = AAAI-86, year = 1986, pages = "344--348", } @Article{Pate87, author = "Patel-Schneider, Peter F.", title = "A Hybrid, Decidable, Logic-Based Knowledge Representation System", journal = CI, year = 1987, pages = "64--77", volume = 3, number = 2, } @InProceedings{Pate88, author = "Patel-Schneider, Peter F.", title = "Adding Number Restrictions to a Four-Valued Terminological Logic", booktitle = AAAI-88, year = 1988, pages = "485--490", } @Article{Pate89, author = "Patel-Schneider, Peter F.", title = "A Four-Valued Semantics for Terminological Logic", journal = AIJ, year = 1989, pages = "319--351", volume = 38, number = 1, } @Article{Pate89b, author = "Patel-Schneider, Peter F.", title = "Undecidability of Subsumption in {NIKL}", journal = AIJ, volume = 39, year = 1989, pages = "263--272", } @InProceedings{Pate98, author = "P. F. Patel-Schneider", title = "{DLP} System Description", pages = "87--89", booktitle = DL-98, year = 1998, publisher = "CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-11/", } @InProceedings{Pate99, author = "Patel-Schneider, Peter F.", title = "{DLP}", booktitle = DL-99, year = 1999, pages = "9--13", publisher = "CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-22/", } @Article{POKG*90, author = "P. F. Patel-Schneider and B. Owsnicki-Klewe and A. Kobsa and N. Guarino and R. MacGregor and W. S. Mark and D. L. McGuinness and B. Nebel and A. Schmiedel and J. Yen", title = "Report on the Workshop on Term Subsumption Languages in Knowledge Representation", journal = AIM, year = "1990", volume = "11", number = "2", pages = "16--22", } %% was also PaSw93b @TechReport{PaSw93, title = "Description-Logic Knowledge Representation System Specification from the {KRSS} Group of the {ARPA} Knowledge Sharing Effort ", author = "Patel-Schneider, Peter F. and Bill Swartout", year = 1993, institution = "AI Principles Research Department, AT\&T Bell Laboratories", note = "Available at \url{http://dl.kr.org/}", } @InProceedings{PaBL84, author = "Patel-Schneider, Peter F. and Ronald J. Brachman and Hector J. Levesque", title = "{ARGON}: Knowledge Representation Meets Information Retrieval", booktitle = "Proc.\ of the 1st Conf.\ on Artificial Inteligence Applications", year = 1984, note = "Also available as Fairchild Technical Report 654 and {FLAIR} Technical Report 29", } %% was PMBR91 @Article{PMBRB91, author = "Patel-Schneider, Peter F. and Deborah L. McGuiness and Ronald J. Brachman and Lori Alperin Resnick and Alexander Borgida", title = "The {CLASSIC} Knowledge Representation System: Guiding Principles and Implementation Rational", journal = SIGART, year = 1991, pages = "108--113", volume = 2, number = 3, } @Article{Pelt91, author = "C. Peltason", title = "The {BACK} System --- an Overview", journal = SIGART, year = 1991, pages = "114--119", volume = 2, number = 3, } @InProceedings{PiSS92, author = "Barbara Piza and Klaus-Dieter Schewe and Joachim W. Schmidt", title = "Term Subsumption with Type Constructors", booktitle = CIKM-92, address = "Baltimore (USA)", editor = "Y. Yesha", pages = "449--456", year = 1992, } @InProceedings{Pnue77, author = "Amir Pnueli", title = "The Temporal Logic of Programs", booktitle = FOCS-77, pages = "46--57", year = 1977, } @InProceedings{PoLe00, author = "Rachel Pottinger and Alon Y. Levy", title = "A Scalable Algorithm for Answering Queries Using Views", booktitle = VLDB-00, pages = "484--495", year = 2000, } @Book{Prio67, author = "Arthur Prior", title = "Past, Present and Future", publisher = OUP, year = 1967, } @InProceedings{Prat78, author = "Vaugham R. Pratt", title = "A Practical Decision Method for Propositional Dynamic Logic", booktitle = STOC-78, pages = "326--337", year = 1978, } @InProceedings{Prat79, author = "Vaugham R. Pratt", title = "Models of Program Logic", booktitle = FOCS-79, pages = "115--122", year = 1979, } @Article{Prat80, author = "Vaugham R. Pratt", title = "A Near-Optimal Method for Reasoning About Action", journal = JCSS, volume = "20", pages = "231--255", year = "1980" } @InProceedings{Prat81, author = "Vaugham R. Pratt", title = "Using Graphs to Understand {PDL}", booktitle = WOLP-81, series = LNCS, volume = 125, publisher = SV, pages = "387--396", year = 1981, } @InProceedings{Prat81b, author = "Vaugham R. Pratt", title = "A Decidable {$\mu$}-Calculus (Preliminary Report)", pages = "421--428", booktitle = FOCS-81, publisher = IEEEP, year = 1981, } @Article{Pust88, author = "J. Pustejovsky", title = "Constraints on the Acquisition of Semantic Knowledge", journal = "Int.\ J.\ of Intelligent Systems", year = 1988, volume = 3, pages = "247--268", } %qqqqqqqqqqqqqqqqqqqqqqqqq %qqqqqqqqqqqqqqqqqqqqqqqqq @InProceedings{Qian96, author = "Xiaolei Qian", title = "Correct Schema Transformations", booktitle = EDBT-96, editor = "P. Apers and M. Bouzeghoub and G. Gardarin", publisher = SV, series = LNCS, volume = 1057, year = 1996, pages = "114--128" } @InProceedings{Qian96b, author = "Xiaolei Qian", title = "Query folding", booktitle = ICDE-96, year = 1996, pages = "48--55", } @InProceedings{Quan93, author = "Joachim Quantz", title = "Interpretation as Exception Minimization", booktitle = IJCAI-93, year = 1993, pages = "1310--1315", } @PhdThesis{Quan95, author = "Joachim Quantz", title = "Preferential Disambiguation in Natural Language Processing", school = "TU-Berlin (Germany)", year = 1995, } @TechReport{QuKi90, author = "Joachim Quantz and Carsten Kindermann", title = "Implementation of the {BACK} System Version 4", institution = "Fachbereich Informatik, Technische Universit{\"a}t Berlin", number = "{KIT}-Report 78", year = "1990", address = "Berlin (Germany)", } @InProceedings{QuRo92, author = "Joachim Quantz and Veronique Royer", title = "A Preference Semantics for Defaults in Terminological Logics", booktitle = KR-92, publisher = MK, year = "1992", pages = "294--305", } @Article{QuSc94, author = "J. Quantz and B. Schmitz", title = "Knowledge-Based Disambiguation for Machine Translation", journal = "Minds and Machines", publisher = KAP, year = 1994, volume = 4, pages = "39--57", } @InProceedings{QRSUW95, author = "D. Quass and A. Rajaraman and I. Sagiv and J. Ullman and J. Widom", title = "Querying Semistructured Heterogeneous Information", booktitle = DOOD-95, year = 1995, publisher = SV, pages = "319--344" } @Article{Quil67, author = "M. Ross Quillian", title = "Word Concepts: {A} Theory and Simulation of Some Basic Capabilities", journal = "Behavioral Science", year = "1967", volume = "12", pages = "410--430", note = "Republished in \cite{BrLe85}", } @InCollection{Quil68, author = "M. Ross Quillian", title = "Semantic Memory", booktitle = "Semantic Information Processing", year = 1968, pages = "216-270", editor = "M. Minsky", publisher = MIT, note = "", } %rrrrrrrrrrrrrrrrrrrrrrrrr %rrrrrrrrrrrrrrrrrrrrrrrrr @Article{Rabi69, author = "M. O. Rabin", title = "Decidability of Second-Order Theories and Automata on Infinite Trees", journal = TAMS, year = 1969, volume = 141, pages = "1--35" } @InProceedings{Rabi70, author = "M. O. Rabin", title = "Weakly Definable Relations and Special Automata", booktitle = "Proc.\ of Symp.\ on Mathematical Logic and Foundations of Set Theory", editor = "Y. Bar-Hillel", year = 1970, publisher = NH, pages = "1--23" } @InProceedings{Rabi72, author = "M. O. Rabin", title = "Automata on Infinite Objects and {C}hurch's problem", booktitle = "Proc.\ of Regional AMS Conf.\ Series in Mathematics", volume = 13, year = 1972, pages = "1--22" } @Article{RaSc59, author = "M. O. Rabin and D. Scott", title = "Finite Automata and their Decision Problems", journal = "IBM Journal of Research and Development", volume = 3, pages = "115--125", year = 1959 } @InProceedings{RaSU95, author = "Anand Rajaraman and Yehoshua Sagiv and Jeffrey D. Ullman", title = "Answering Queries Using Templates with Binding Patterns", booktitle = PODS-95, year = 1995, } @InProceedings{RaCC92, author = "David A. Randell and Zhan Cui and Anthony G. Cohn", title = "A Spatial Logic Based on Regions and Connection", booktitle = KR-92, publisher = MK, year = 1992, pages = "165--176", } @InProceedings{ReNG93, author = "A. L. Rector and W. A. Nowlan and A. Glowinski", title = "Goals for Concept Representation in the {\textsc{Galen}} Project", booktitle = "Proc.\ of the 17th Annual Symposium on Computer Applications in Medical Care (SCAMC'93)", address = "Washington DC, USA", year = 1993 , pages = "414--418", } @Article{RBGH*97, author = "A. Rector and S. Bechhofer and C. A. Goble and I. Horrocks and W. A. Nowlan and W. D. Solomon", title = "The {\textsc{Grail}} Concept Modelling Language for Medical Terminology", journal = "Artificial Intelligence in Medicine", year = 1997, volume = 9, pages = "139--171", } @Article{RPRG94, author = "M. P. Reddy and B. E. Prasad and P. G. Reddy and A. Gupta", title = "A Methodology for Integration of Heterogeneous Databases", journal = TKDE, year = 1994, volume = 6, number = 6, pages = "920--933" } @InCollection{Reit78, author = "Raymond Reiter", title = "On Closed World Data Bases", booktitle = "Logic and Databases", year = "1978", pages = "119--140", editor = "Herv\'e Gallaire and Jack Minker", publisher = PLENUM, note = "Republished in \cite{Gins87}.", } @Article{Reit80, author = "Raymond Reiter", title = "A Logic for Default Reasoning", journal = AIJ, year = "1980", pages = "81--132", volume = "13", note = "Republished in \cite{Gins87}.", } @InCollection{Reit84, author = "Raymond Reiter", title = "Towards a Logical Reconstruction of Relational Database Theory", booktitle = "On Conceptual Modelling", editor = "M. L. Brodie and J. Mylopoulos and J. W. Schmidt", publisher = SV, year = "1984", } @ARTICLE{Reit90, author = "Raymond Reiter", title = "What Should a Database Know?", journal = JLP, volume = "14", year = "1990", pages = "127--153" } @InProceedings{Reit00, author = "Raymond Reiter", title = "Narratives as Programs", booktitle = KR-00, pages = "99--108", year = 2000, } @InProceedings{Reit90b, author = "Raymond Reiter", pages = "96--113", title = "On Asking What a Database Knows", booktitle = "Computational Logics, Symposium Proceedings", year = 1990, editor = "John W. Lloyd", publisher = SV, } @TechReport{Reit99, author = "Raymond Reiter", title = "Open World Planning in the Situation Calculus", institution = "University of Toronto", year = 1999, } @Book{Reit01, author = "Raymond Reiter", title = "Knowledge in Action: {L}ogical Foundations for Specifying and Implementing Dynamical Systems", year = 2001, publisher = MIT, } @Article{Rich56, author = "R. H. Richens", title = "Preprogramming for Mechanical Translation", journal = "Mechanical Translation", volume = "3", number = "1", year = "1956", note = "Discontinued Journal", } @Article{Rich91, author = "Rich, Charles (ed.)", title = "{S}pecial Issue on Implemented Knowledge Representation and Reasoning Systems", journal = "{SIGART} Bulletin", year = 1991, volume = 2, number = 3, } @Article{Robi71, author = "R. Robinson", title = "Undecidability and Nonperiodicity of Tilings on the Plane", journal = "Inventiones Math.", year = 1971, volume = 12, pages = "177--209" } @InProceedings{Rosa97, author = "Riccardo Rosati", title = "Reasoning with Minimal Belief and Negation as Failure: {A}lgorithms and Complexity", booktitle = AAAI-97, key = "nmr-deduct", publisher = AAAIP, year = 1997, pages = "430--435", sponsors = "MURST", } @InProceedings{Rosa97b, author = "Riccardo Rosati", title = "Complexity of Only Knowing: {T}he Propositional Case", booktitle = LPNMR-97, key = "nmr-deduct", editor = SV, series = LNAI, volume = 1265, year = 1997, pages = "76--91", } @InProceedings{Rosa97c, author = "Riccardo Rosati", title = "Embedding Minimal Knowledge into Autoepistemic Logic", booktitle = AI*IA-97, key = "nmr-deduct", number = 1321, series = LNAI, publisher = SV, year = 1997, pages = "231--241", } @InProceedings{Rosa98, author = "Riccardo Rosati", title = "Reducing Query Answering to Satisfiability in Nonmonotonic Logics", booktitle = AAAI-98, publisher = AAAIP, year = 1998, pages = "853--858", } @Article{Rosa98b, author = "Riccardo Rosati", title = "Autoepistemic Description Logics", journal = AIC, volume = 11, number = "3--4", pages = "219--221", year = 1998, } @InProceedings{Rosa99, author = "Rosati, Riccardo", booktitle = DL-99, pages = "160--164", title = "Towards Expressive {KR} Systems Integrating {D}atalog and Description Logics: {P}reliminary Report", year = 1999, publisher = "CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-22/", } @InProceedings{Rose81, author = "Stanley J. Rosenschein", title = "Plan Synthesis: {A} Logical Perspective", booktitle = IJCAI-81, pages = "331--337", year = 1981 } @Book{Rose82, author = "Joseph G. Rosenstein", title = "Linear Orderings", publisher = AP, year = 1982, address = "New York (USA)" } @InProceedings{Rous99, author = "Marie-Christine Rousset", title = "Backward Reasoning in {ABoxes} for Query Answering", booktitle = DL-99, year = 1999, pages = "18--22", publisher = "CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-22/", } @InProceedings{RoQu94, author = "V. Royer and J. J. Quantz", title = "Intuitionistic Query Answering in Description Bases", booktitle = DL-94, year = 1994, publisher = DFKI, number = "D-94-10", } @Article{RuSK91, author = "M. Rusinkiewicz and A. Sheth and G. Karabatis", title = "Specifying Interdatabase Dependencies in a Multidatabase Environment", journal = COMPUTER, volume = 24, number = 12, year = 1991, pages = "46--53", } @InProceedings{Rych96, author = "Nestor Rychtyckyj", title = "{DLMS}: An Evaluation of {KL-ONE} in the Automobile Industry", booktitle = KR-96, year = 1996, pages = "588--596", } @InProceedings{Rych99, author = "Nestor Rychtyckyj", title = "{DLMS}: {T}en Years of {AI} for Vehicle Assembly Process Planning", booktitle = IAAI-99, year = 1999, pages = "821--828", } %sssssssssssssssssssssssss %sssssssssssssssssssssssss @InProceedings{Safr88, author = "Shmuel Safra", title = "On the Complexity of $\omega$-Automata", booktitle = FOCS-88, pages = "319--327", year = 1988 } @Article{SaYa80, author = "Y. Sagiv and M. Yannakakis", title = "Equivalences among Relational Expressions with the Union and Difference Operators", journal = JACM, year = 1980, volume = 27, number = 4, pages = "633--655" } @InProceedings{SaSt90, author = "Vieri Samek-Lodovici and Carlo Strapparava", title = "Identifying Noun Phrase References: the Topic Module of the {AlF}resco System", booktitle = ECAI-90, pages = "573--578", year = 1990, } @InCollection{SaSh95, author = "Erik Sandewall and Yoav Shoham", title = "Non-monotonic temporal reasoning", booktitle = "Handbook of Logic in Artificial Intelligence and Logic Programming", publisher = "Oxford Science Publications", year = "1995", volume = "4", pages = "439--498" } @Book{Sand94, author = "Erik Sandewall", title = "Features and Fluents: {T}he Representation of Knowledge about Dynamical Systems", publisher = CP, year = 1994, address = "Oxford", } @InProceedings{SaVa89, author = "Shmuel Safra and Moshe Y. Vardi", title = "On $\omega$ Automata and Temporal Logic", booktitle = STOC-89, year = 1989, pages = "127--137" } @InProceedings{Salo92, author = "Sandro Salomone", title = "An {$O(n\log n)$} algorithm for Subsumption in {${\cal FL^-}$}", booktitle = "Proceedings of the Fourth Italian Conference on Theoretical Computer Science", year = "1992", month = oct, publisher = "World Scientific Publishing Co.", pages = "125--139", editor = "A. Marchetti Spaccamela and P. Mentrasti and M. Venturini Zilli", } @InProceedings{Satt95, author = "Ulrike Sattler", title = "A Concept Language for an Engineering Application with Part-Whole Relations", booktitle = DL-95, year = 1995, pages = "119--123", } @InProceedings{Satt96, author = "Ulrike Sattler", title = "A Concept Language Extended with Different Kinds of Transitive Roles", booktitle = KI-96, series = LNAI, number = 1137, pages = "333--345", editor = "G{\"unter} G{\"o}rz and Steffen H{\"o}lldobler", publisher = SV, year = 1996, } @PhdThesis{Satt98, author = "Ulrike Sattler", title = "Terminological Knowledge Representation Systems in a Process Engineering Application", school = "LuFG Theoretical Computer Science, RWTH-Aachen, Germany", year = 1998, } @Article{Savi70, author = "W. J. Savitch", title = "Relationship between Nondeterministic and Deterministic Tape Complexities", journal = JCSS, volume = 4, pages = "177--192", year = 1970 } @InProceedings{Scha78, author = "Thomas J. Schaefer", title = "The Complexity of Satisfiability Problems", booktitle = STOC-78, pages = "216--226", year = 1978, } @Article{Scha91, author = "Andrea Schaerf", title = "Interrogazione di basi di conoscenza mediante linguaggi di concetti", journal = AIIAnot, year = 1991, pages = "10--21", volume = "IV", number = 4, month = dec, note = "In italian" } @Article{Scha93, author = "Andrea Schaerf", title = "On the Complexity of the Instance Checking Problem in Concept Languages with Existential Quantification", journal = JIIS, volume = "2", year = "1993", pages = "265--278" } @InProceedings{Scha93b, author = "Andrea Schaerf", title = "Reasoning with Individuals in Concept Languages", year = 1993, booktitle = AI*IA-93, publisher = SV, series = LNAI, } @TechReport{Scha93c, author = "Andrea Schaerf", title = "Reasoning with Individuals in Concept Languages", institution = DIS, year = 1993, number = "07.93", note = "An abridged version appeared in \begingroup\em " # AI*IA-93 # "\endgroup", } @Article{Scha94, author = "Andrea Schaerf", title = "Reasoning with Individuals in Concept Languages", year = 1994, journal = DKE, volume = 13, number = 2, pages = "141--176" } @PhDthesis{Scha94b, author = "Andrea Schaerf", title = "Query Answering in Concept-Based Knowledge Representation Systems: Algorithms, Complexity, and Semantic Issues", year = "1994", school = DIS } @TechReport{Schi88, author = "Klaus Schild", title = "Undecidability of Subsumption in {$\cal U$}", institution = "Fachbereich Informatik, Technische Universit{\"a}t Berlin", number = "{KIT}-Report 67", address = "Berlin (Germany)", year = 1988, } @TechReport{Schi89, author = "Klaus Schild", title = "Towards a Theory of Frames and Rules", institution = "Fachbereich Informatik, Technische Universit{\"a}t Berlin", year = 1989, address = "Berlin (Germany)", } @InProceedings{Schi91, author = "Klaus Schild", title = "A Correspondence Theory for Terminological Logics: Preliminary Report", booktitle = IJCAI-91, year = 1991, pages = "466--471", } @InProceedings{Schi93, author = "Klaus Schild", title = "Combining Terminological Logics with Tense Logic", pages = "105--120", year = 1993, booktitle = EPIA-93, series = LNCS, volume = 727, publisher = SV } @InProceedings{Schi94, author = "Klaus Schild", title = "Terminological Cycles and the Propositional $\mu$-Calculus", booktitle = KR-94, pages = "509--520", address = "Bonn (Germany)", editor = "J. Doyle and E. Sandewall and P. Torasso", publisher = MK, year = "1994" } @PhdThesis{Schi95, author = "Klaus Schild", title = "Querying Knowledge and Data Bases by a Universal Description Logic with Recursion", school = "Universit{\"a}t des Saarlandes, Germany", year = 1995, } @Article{Ship81, author = "D. W. Shipman", title = "The Functional Data Model and the Data Language {DAPLEX}", year = "1981", journal = TODS, volume = 6, number = 1, pages = "140--173" } @InProceedings{Schm89, author = "Manfred {Schmidt-Schau{\ss}}", title = "Subsumption in {KL-ONE} is Undecidable", booktitle = KR-89, editor = "Ron J. Brachman and Hector J. Levesque and Ray Reiter", year = "1989", pages = "421--431", publisher = MK, } @TechReport{ScSm88, author = "Manfred {Schmidt-Schau{\ss}} and Gert Smolka", title = "Attributive Concept Descriptions with Unions and Complements", institution = "Fachbereich Informatik, Universit{\"a}t Kaiserslautern", number = "SR-88-21", year = "1988", address = "Kaiserslautern (Germany)", } @Article{ScSm91, author = "Manfred {Schmidt-Schau{\ss}} and Gert Smolka", title = "Attributive Concept Descriptions with Complements", year = "1991", journal = AIJ, volume = "48", number = "1", pages = "1--26", } @InProceedings{Schm90, author = "Albrecht Schmiedel", title = "A Temporal Terminological Logic", year = 1990, pages = "640--645", booktitle = AAAI-90, } @InProceedings{Schm89b, author = "James G. Schmolze", title = "Terminological Knowledge Representation Systems Supporting n-ary Terms", booktitle = KR-89, year = "1989", pages = "432--443", } @InProceedings{Shmu87, author = "Oded Shmueli", title = "Decidability and Expressiveness Aspects of Logic Queries", booktitle = PODS-87, year = 1987, pages = "237--249", } @Article{Shmu93, author = "Oded Shmueli", title = "Equivalence of {D}atalog Queries is Undecidable", journal = JLP, year = 1993, volume = 15, number = 3, pages = "231--241", } @InProceedings{ScLT91, author = "Mark H. Scholl and Cristian Laasch and Markus Tresch", title = "Updatable Queries in {O}bject-{O}riented Databases", booktitle = DOOD-91, year = 1991, pages = "189--207", publisher = SV, series = LNCS, volume = 566, } @Book{Schr86, author = "Alexander Schrijver", title = "Theory of Linear and Integer Programming", pages = 471, publisher = JWS, year = 1986 } @InCollection{ScGC79, author = "Len K. Schubert and Randy G. Goebel and Nicola J. Cercone", title = "The Structure and Organization of a Semantic Net for Comprehension and Inference", booktitle = "Associative Networks: Representation and Use of Knowledge by Computers", year = 1979, pages = "121-175", editor = "N. V. Findler", publisher = AP, } @InProceedings{SeSt91, author = "Fabrizio Sebastiani and Umberto Straccia", title = "A Computationally Tractable Terminological Logic", booktitle = "Proc.\ of the 3rd Scandinavian Conf.\ on Artificial Intelligence SCAI-91", year = 1991, pages = "307--315", } @Article{Seid90, author = "H. Seidl", title = "Deciding Equivalence of Finite Tree Automata", year = 1990, journal = SIAM-JOC, volume = 19, number = 3, pages = "424--437", } @Article{SeLe93, author = "Bart Selman and Hector J. Levesque", title = "The Complexity of Path-Based Defeasible Inheritance", journal = AIJ, pages = "303--339", volume = 62, number = 2, year = 1993, } @Manual{SGML-ISO-86, title = "{ISO-8879}: {I}nformation processing --- {T}ext and office systems --- {S}tandard {G}eneralized {M}arkup {L}anguage ({SGML})", organization = "International Organization for Standardization", year = 1986, month = oct } @Book{Shan97, author = "Murray Shanahan", title = "Solving the Frame Problem: {A} Mathematical Investigation of the Common Law of Inertia", publisher = MIT, year = 1997, } @Article{ShGN93, author = "Amit P. Sheth and Sunit K. Gala and Shamkant B. Navathe", title = "On Automatic Reasoning for Schema Integration", journal = JICIS, year = 1993, volume = 2, number = 1, pages = "23--50" } @InProceedings{ShKa92, author = "Amit Sheth and Vipul Kashyap", title = "So Far (Schematically) yet So Near (Semantically)", booktitle = "Proc.\ of the IFIP DS-5 Conf.\ on Semantics of Interoperable Database Systems", year = 1992, publisher = ESP } @Article{ShLa90, author = "Amit P. Sheth and James A. Larson", title = "Federated Database Systems for Managing Distributed, Heterogeneous, and Autonomous Databases", journal = CS, year = 1990, volume = 22, number = 3, pages = "183--236" } @InProceedings{Shoh87, author = "Yoav Shoham", title = "A Semantical Approach to Nonmonotonic Logics", booktitle = LICS-87, pages = "275--279", year = 1987, } @InCollection{Simm73, author = "Robert F. Simmons", title = "Semantic Networks: {T}heir Computation and Use for Understanding {E}nglish Sentences", year = 1973, booktitle = "Computer Models of Thought and Language", editor = "Roger C. Schank and Kenneth M. Colby", pages = "63--113", publisher = "W. H. Freeman", address = "San Francisco, CA", } @Article{SiCl85, author = "A. Prasad Sistla and E. M. Clarke", title = "The Complexity of Propositional Linear Temporal Logic", journal = JACM, year = 1985, volume = 32, number = 3, pages = "733--749" } @Article{SiVW87, author = "A. Prasad Sistla and Moshe Y. Vardi and Pierre Wolper", title = "The Complementation Problem for {B\"u}chi Automata with Applications to Temporal Logic", journal = TCS, volume = 49, pages = "217--237", year = 1987, } @PhdThesis{Smit82, author = "Brian C. Smith", title = "Reflection and Semantics in a Procedural Language", school = "MIT", year = 1982, type = "{Ph.D.} {T}hesis and {T}ech.\ {R}eport {MIT/LCS/TR-272}", note = "Prologue republished in \cite{BrLe85}" } @InProceedings{SmWe98, author = "David E. Smith and Daniel S. Weld", title = "Conformant {G}raphplan", booktitle = AAAI-98, pages = "889--896", year = 1998, } @TechReport{Smol88, author = "Gert Smolka", title = "A Feature Logic with Subsorts", institution = "{IWBS}, {IBM} Deutschland", number = "33", year = "1988", address = "P.O.\ Box 80 08 80 D-7000 Stuttgart 80, Germany", } @Book{Smul68, author = "R. M. Smullyan", title = "First Order Logic", publisher = SV, address = "Berlin (Germany)", year = "1968", } @InProceedings{SoWB84, author = "N. Sondheimer and R. Weischedel and R. Bobrow", title = "Semantic Interpretation using {KL-ONE}", booktitle = COLING-94, year = 1984, } @Article{SoLe86, author = "Elliot Soloway and Stan Letovsky", title = "Delocalized Plans and Program Comprehension", journal = SOFTWARE, volume = 3, number = 3, year = 1986, } @InProceedings{SLPL86, author = "Elliot Soloway and Stan Letovsky and Juan Pinto and Diane Littman", title = "Mental Models and Software Maintenance", booktitle = "Proceedings of the Conference on Empirical Studies of Programmers", publisher = ABLEX, pages = "80--98", year = 1986, } @Proceedings{SoSO87, editor = "E. Soloway and S. Sheppard and G. Olson", title = "Proceedings of the Second Workshop on Empirical Studies of Programmers", year = 1987, publisher = ABLEX, month = Dec, } @Book{Sowa84, author = "John F. Sowa", title = "Conceptuals Structures: {I}nformation Processing in Mind and Machine", publisher = AW, year = 1984 } @InCollection{Sowa87, author = "John F. Sowa", title = "Semantic Networks", editor = "Stuart C. Shapiro", booktitle = "Encyclopedia of Artificial Intelligence 2", year = 1987, publisher = JWS, } @Book{Sowa91, editor = "John F. Sowa", title = "Principles of Semantic Networks", year = "1991", publisher = MK, } @Article{SpPD92, author = "Stefano Spaccapietra and Christine Parent and Yann Dupont", title = "Model Independent Assertions for Integration of Heterogeneous Schemas", journal = VLDBJ, year = 1992, volume = 1, pages = "81--126" } @InProceedings{SRVM95, author = "P.-H. Speel and F. van Raalte and P. E. van der Vet and N. J. I. Mars", title = "Runtime and Memory Usage Performance of Description Logics", pages = "13--27", booktitle = "Knowledge Retrieval, Use and Storage for Efficiency: Proc.\ of the 1st Int.\ KRUSE Symposium", year = 1995, editor = "G. Ellis and R. A. Levinson and A. Fall and V. Dahl", } @InProceedings{SDJL96, author = "D. Srivastava and S. Dar and H. V. Jagadish and A. Levy", title = "Answering Queries with Aggregation Using Views", booktitle = VLDB-96, pages = "318--329", year = 1996 } @Article{StNJ94, author = "M. Staudt and M. Nissen and M. Jeusfeld", title = "Query by Class, Rule and Concept", journal = JApI, year = 1994, volume = 4, number = 2, pages = "133--157" } @Book{Sted99, author = "Manfred Stede", title = "Lexical Semantics and Knowledge Representation in Multilingual Text Generation", publisher = KAP, year = 1999, } @InProceedings{StRo94, author = "Manfred Stede and Dietmar R{\"o}sner", title = "Mapping Knowledge to Language with {LOOM}", booktitle = "Working Notes of the AAAI Fall Symposium on ``Knowledge Representation for Natural Language Processing in Implemented Systems''", year = 1994, } @Article{StIn94, author = "Bernhard Steffen and Anna Ing{\'o}lfsd{\'o}ttir", title = "Characteristic Formulae for Processes with Divergence", journal = ICOMP, year = 1994, volume = 110, pages = "149--163" } @Article{Stic85, author = "Mark E. Stickel", title = "Automated Deduction by Theory Resolution", journal = JAR, year = 1985, volume = 1, number = 4, pages = "333--355" } @InCollection{Stir92, author = "Colin Stirling", title = "Modal and Temporal Logic", booktitle = "Handbook of Logic in Computer Science", editor = "S. Abramsky and D. M. Gabbay and T. S. E. Maibaum", publisher = CP, address = "Oxford (United Kingdom)", pages = "477--563", year = 1992, } @InCollection{Stir96, author = "Colin Stirling", title = "Modal and Temporal Logics for Processes", booktitle = "Logics for Concurrency: {S}tructure versus Automata", publisher = SV, year = 1996, editor = "Faron Moller and Graham Birtwistle", volume = 1043, series = LNCS, pages = "149--237" } @InProceedings{SCCF*91, author = "O. Stock and G. Carenini and F. Cecconi and E. Franconi and A. Lavelli and B. Magnini and F. Pianesi and M. Ponzi and V. Samek-Lodovici and C. Strapparava", title = "Natural Language and Exploration of an Information Space: the {AlF}resco Interactive System", booktitle = IJCAI-91, pages = "972--978", year = 1991, } @InCollection{SCCF*93, author = "O. Stock and G. Carenini and F. Cecconi and E. Franconi and A. Lavelli and B. Magnini and F. Pianesi and M. Ponzi and V. Samek-Lodovici and C. Strapparava", title = "{AlF}resco: {E}njoying the Combination of Natural Language Processing and Hypermedia for Information Exploration", booktitle = "Intelligent Multimedia Interfaces", chapter = 9, editor = "Mark T. Maybury", pages = "197--224", publisher = MIT, year = 1993, } @InProceedings{Stra93, author = "Umberto Straccia", title = "Default Inheritance Reasoning in Hybrid {KL-ONE}-style Logics", booktitle = IJCAI-93, year = 1993, publisher = MK, pages = "676--681", } @InProceedings{Stra98, author = "Umberto Straccia", title = "A Fuzzy Description Logic", pages = "594--599", booktitle = AAAI-98, publisher = AAAIP, year = 1998, } @Article{Stre82, author = "Robert S. Streett", title = "Propositional Dynamic Logic of Looping and Converse is Elementarily Decidable", journal = ICon, year = 1982, volume = 54, pages = "121--141", } @InProceedings{StEm84, title = "The Propositional Mu-Calculus is Elementary", author = "Robert S. Streett and E. Allen Emerson", editor = "Jan Paredaens", booktitle = ICALP-84, year = 1984, series = LNCS, volume = 172, publisher = SV, pages = "465--472" } @Article{StEm89, author = "Robert S. Streett and E. Allen Emerson", title = "An Automata Theoretic Decision Procedure for the Propositional $\mu$-Calculus", journal = ICOMP, year = 1989, volume = 81, pages = "249--264" } @Article{StWo01, author = "Holger Sturm and Frank Wolter", title = "A Tableau Calculus for Temporal Description Logic: {T}he Expanding Domain Case", journal = JLC, year = 2001, note = "To appear", } %ttttttttttttttttttttttttt %ttttttttttttttttttttttttt @InProceedings{Tacc99, author = "Armando Tacchella", title = "{*SAT} System Description", pages = "142--144", booktitle = DL-99, year = 1999, publisher = "CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-22/", } @Book{Tars51, author = "Alfred Tarski", title = "A Decision Method for Elementary Algebra and Geometry", publisher = "University of California Press", address = "Berkeley", year = 1951, } @Article{Tars55, author = "Alfred Tarski", title = "A Lattice-Theoretical Fixpoint Theorem and Its Applications", journal = "Pacific Journal of Mathematics", volume = 5, pages = "285--309", year = 1955, } @Book{Teor89, author = "Toby J. Teorey", title = "Database Modeling and Design: {T}he Entity-Relationship Approach", publisher = MK, year = 1989 } @Article{TeYF86, author = "Toby J. Teorey and Dongqing Yang and James P. Fry", title = "A Logical Design Methodology for Relational Databases Using the Extended Entity-Relationship Model", journal = CS, year = 1986, volume = 18, number = 2, pages = "197--222" } @InProceedings{TeUr00, author = "Giorgio Terracina and Domenico Ursino", title = "Deriving Synonymies and Homonymies of Object Classes in Semi-Structured Information Sources", booktitle = "Proc. of International Conference on Management of Data (COMAD~2000)", year = 2000, pages = "21--32", publisher = MGH, } @InProceedings{Thal92, author = "Bernhard Thalheim", title = "Fundamentals of Cardinality Constraints", booktitle = ER-92, editor = "G. Pernoul and A. M. Tjoa", publisher = SV, year = 1992, pages = "7--23", } @Book{Thal93, author = "Bernhard Thalheim", title = "Fundamentals of the Entity Relationship Model", publisher = SV, year = 1993 } @Book{Thay89, editor = "A. Thayse", title = "From Modal Logic to Deductive Databases", booktitle = "From Modal Logic to Deductive Databases", publisher = JWS, year = 1989, } @InProceedings{ThLS99, author = "Dimitri Theodoratos and Spyros Ligoudistianos and Timos Sellis", title = "Designing the Global {D}ata {W}arehouse with {SPJ} Views", booktitle = CAiSE-99, year = 1999 } @InProceedings{ThSe97, author = "Dimitri Theodoratos and Timos Sellis", title = "Data Warehouse Design", booktitle = VLDB-97, pages = "126--135", year = 1997, } @InProceedings{Thie96, author = "Michael Thielscher", title = "Causality and the Qualification Problem", booktitle = KR-96, year = 1996, pages = "51--62", publisher = "Morgan Kaufmann", } @Article{Thie98, author = "Michael Thielscher", title = "Introduction to the Fluent Calculus", journal = ETAI, year = 1998, volume = 3, number = 14, } @Article{TTCB*90, author = "Gomer Thomas and Glenn R. Thompson and Chin-Wan Chung and Edward Barkmeyer and Fred Carter and Marjorie Templeton and Stephen Fox and Berl Hartman", title = "Heterogeneous Distributed Database Systems for Production Use", journal = CS, year = 1990, volume = 22, number = 3, pages = "237--266", } @InCollection{Thom90, author = "Wolfgang Thomas", title = "Automata on Infinite Objects", booktitle = "Handbook of Theoretical Computer Science", publisher = ESP, volume = "B", chapter = 4, pages = "134--189", year = 1990, } @InCollection{Thom97, author = "Wolfgang Thomas", title = "Languages, Automata, and Logic", booktitle = "Handbook of Formal Language Theory", year = 1997, volume = "III", pages = "389--455" } @InProceedings{Tobi99, author = "Stephan Tobies", title = "A {PSPACE} Algorithm for Graded Modal Logic", pages = "52--66", editor = "H. Ganzinger", booktitle = CADE-99, year = 1999, series = LNAI, volume = 1632, publisher = SV, } @InProceedings{Tobi99b, author = "Stephan Tobies", title = "A {NEXPTIME}-complete Description Logic Strictly Contained in {C$^2$}", pages = "292--306", editor = "J. Flum and M. Rodr{\'i}guez-Artalejo", booktitle = CSL-99, series = LNCS, volume = 1683, publisher = SV, year = 1999, } @InProceedings{Tobi99c, author = "Stephan Tobies", title = "On the Complexity of Counting in Description Logics", booktitle = DL-99, year = 1999, pages = "105--109", publisher = "CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-22/", } @Article{Tobi00, author = "Stephan Tobies", title = "The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics", journal = JAIR, volume = 12, pages = "199--217", year = 2000, } @Article{RaTW96, author = "D. R. Raymond and F. W. Tompa and D. Wood", title = "From Data Implementation to Data Model: {M}eta-Semantic Issues in the Evolution of {SGML}", journal = "Computer Standards and Interfaces", volume = 18, year = 1996, pages = "25--36", } @InProceedings{Toma94, author = "Anthony Tomasic", title = "Determining Correct View Update Translations via Query Containment", booktitle = "Workshop on Deductive Databases and Logic Programming (In conjunction with ICLP)", year = 1994, pages = "75--83" } @TechReport{ToRV95, author = "Anthony Tomasic and Louiqa Raschid and Patrick Valduriez", title = "Scaling Heterogeneous Databases and the Design of {DISCO}", institution = "INRIA", number = "2704", year = 1995 } @Article{ToRV98, author = "Anthony Tomasic, Louiqa Raschid, Patrick Valduriez", title = "Scaling Access to Heterogeneous Data Sources with {DISCO}", journal = TKDE, year = 1998, volume = 10, number = 5, pages = "808--823", } @InProceedings{TWFHM82, author = "F. Tou and M. Williams and R. Fikes and A. Henderson and T. Malone", title = "{RABBIT}: {A}n intelligent database assistant", booktitle = AAAI-82, year = 1982, pages = "314--318", } @InProceedings{ToHT87, author = "David S. Touretzky and John F. Horty and Richmond H. Thomason", title = "A Clash of Intuitions: the Current State of Nonmonotonic Multiple Inheritance Systems", booktitle = IJCAI-87, year = 1987, pages = "476--482", } @InProceedings{ToTH91, author = "David S. Touretzky and Richmond Thomason and Jeff Horty", title = "A Skeptic's Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies in Nonmonotonic Inheritance", booktitle = IJCAI-91, year = 1991, pages = "478--483" } @InProceedings{TrMo98, author = "Christopher B. Tresp and Ralf Molitor", title = "A Description Logic for Vague Knowledge", pages = "361--365", booktitle = ECAI-98, year = 1998, } @InProceedings{TrLN99, author = "Stefano M. Trisolini and Maurizio Lenzerini and Daniele Nardi", title = "Data Integration and Warehousing in {T}elecom {I}talia", booktitle = SIGMOD, year = 1999, pages = "538--539", } @Article{TsSI96, author = "O. G. Tsatalos and M. H. Solomon and Y. E. Ioannidis", title = "The {GMAP}: {A} Versatile Tool for Phyisical Data Independence", journal = VLDBJ, year = 1996, volume = 5, number = 2, pages = "101--118" } %uuuuuuuuuuuuuuuuuuuuuuuuu %uuuuuuuuuuuuuuuuuuuuuuuuu @Book{Ullm88, author = "Jeffrey D. Ullman", title = "Principles of Database and Knowledge Base Systems", volume = 1, publisher = CSP, year = 1988, } @InProceedings{Ullm97, author = "Jeffrey D. Ullman", title = "Information Integration using Logical Views", booktitle = ICDT-97, pages = "19--40", year = 1997, series = LNCS, publisher = SV, volume = 1186, } %vvvvvvvvvvvvvvvvvvvvvvvvv %vvvvvvvvvvvvvvvvvvvvvvvvv @Article{Vali84, author = "L. G. Valiant", title = "A Theory of the Learnable", journal = CACM, year = 1984, volume = 27, number = 11, pages = "1134--1142", } @Book{VanD89, author = "Dirk van Dalen", title = "Logic and Structure", publisher = SV, year = 1989, } @Book{VanH89, author = "Van Hentenryck, Pascal", title = "Constraint Satisfaction in Logic Programming", publisher = "MIT Press", year = 1989, } @InProceedings{Vard82, author = "Moshe Y. Vardi", title = "The Complexity of Relational Query Languages", booktitle = STOC-82, place = "San Francisco", pages = "137--146", year = 1982, } @InProceedings{Vard85, author = "Moshe Y. Vardi", title = "The Taming of Converse: Reasoning about Two-Way Computations", editor = "R. Parikh", volume = 193, series = LNCS, pages = "413--424", booktitle = "Proc.\ of the 4th Workshop on Logics of Programs", year = 1985, publisher = SV } @Article{Vard86, author = "Moshe Y. Vardi", title = "Querying Logical Databases", journal = JCSS, year = 1986, volume = 33, pages = "142--160", } @InProceedings{Vard88, author = "Moshe Y. Vardi", title = "A Temporal Fixpoint Calculus", pages = "250--259", booktitle = POPL-88, year = 1988, address = "San Diego (CA, USA)" } @Article{Vard89, author = "Moshe Y. Vardi", title = "A Note on the Reduction of Two-Way Automata to One-Way Automata", journal = IPL, volume = 30, number = 5, pages = "261--264", year = 1989 } @InProceedings{Vard95, author = "Moshe Y. Vardi", title = "An Automata-Theoretic Approach to Fair Realizability and Synthesis", booktitle = CAV-95, series = LNCS, volume = 939, year = 1995, publisher = SV, pages = "267--292", } @InCollection{Vard96, author = "Moshe Y. Vardi", title = "An Automata-Theoretic Approach to Linear Temporal Logic", booktitle = "Logics for Concurrency: {S}tructure versus Automata", editor = "Faron Moller and Graham Birtwistle", series = LNCS, publisher = SV, volume = 1043, pages = "238--266", year = 1996, } @InProceedings{Vard97, author = "Moshe Y. Vardi", title = "Why Is Modal Logic so Robustly Decidable", booktitle = "DIMACS Series in Discrete Mathematics and Theoretical Computer Science", volume = 31, year = 1997, publisher = "American Mathematical Society", pages = "149--184" } @InProceedings{Vard98, author = "Moshe Y. Vardi", title = "Reasoning about the Past with Two-Way Automata", booktitle = ICALP-98, series = LNCS, volume = 1443, publisher = SV, year = 1998, pages = "628--641", } @InProceedings{VaSt85, author = "Moshe Y. Vardi and Larry Stockmeyer", title = "Improved Upper and Lower Bounds for Modal Logics of Programs: Preliminary Report", pages = "240--251", booktitle = STOC-85, year = 1985 } @InProceedings{VaWo84, author = "Moshe Y. Vardi and Pierre Wolper", title = "Automata-theoretic Techniques for Modal Logics of Programs", booktitle = STOC-84, year = "1984", pages = "446--455", } @Article{VaWo86, author = "Moshe Y. Vardi and Pierre Wolper", title = "Automata-theoretic Techniques for Modal Logics of Programs", journal = JCSS, year = 1986, pages = "183--221", volume = 32, note = "A preliminary version appeared in {\it Proc.\ of the 16th ACM SIGACT Symp.\ on Theory of Computing (STOC'84)}", } @Article{VaWo94, author = "Moshe Y. Vardi and Pierre Wolper", title = "Reasoning about Infinite Computations", journal = ICOMP, volume = 115, number = 1, pages = "1--37", year = 1994, } @InProceedings{Vian01, author = "Victor Vianu", title = "A Web Odyssey: {F}rom {C}odd to {XML}", booktitle = PODS-01, year = 2001, note = "Invited talk", } @InProceedings{ViWi94, author = "Vania M. Vidal and Marianne Winslett", title = "Preserving Update Semantics in Schema Integration", booktitle = CIKM-94, year = 1994, pages = "263--271" } @InProceedings{Vila91, author = "Marc Vilain", title = "Deduction as Parsing: Tractable Classification in the {KL-ONE} Framework", booktitle = AAAI-91, year = 1991, pages = "464--470", } %wwwwwwwwwwwwwwwwwwwwwwwww %wwwwwwwwwwwwwwwwwwwwwwwww @Book{Wahl00, editor = "Wolfgang Wahlster", title = "{V}erbmobil: {F}oundations of Speech-to-Speech Translation", publisher = SV, year = 2000, } @Article{WAFPR93, author = "Wolfgang Wahlster and Elisabeth Andr{\'e} and Wolfgang Finkler and Hans-J{\"u}rgen Profitlich and Thomas Rist", title = "Plan-Based Integraton of Natural Language and Graphics Generation", year = 1993, journal = AIJ, volume = 63, number = "1--2", pages = "387--428" } @Book{Wand80, author = "Mitchell Wand", title = "Induction, Recursion, and Programming", publisher = NH, year = 1980, } @InCollection{Wang63, author = "H. Wang", title = "Dominoes and the {$\forall\exists\forall$} Case of the Decision Problem", booktitle = "Mathematical Theory of Automata", publisher = "Polytechnic Press", year = 1963, pages = "23--55" } @InProceedings{WeLi92, author = "Robert Weida and Diane Litman", title = "Terminological Reasoning with Constraint Networks and an Application to Plan Recognition", booktitle = KR-92, publisher = MK, year = 1992, pages = "282--293", } @InProceedings{Weis89, author = "R. M. Weischedel", title = "A Hybrid Approach to Representation in the {J}anus Natural Language Processor", booktitle = "Proc.\ of the 27th Annual Meeting of the Association for Computational Linguistics (ACL'89)", year = 1989, pages = "193--202", } @InProceedings{WeEt94, author = "Daniel S. Weld and Oren Etzioni", title = "The First Law of Robotics ({A} Call to Arms)", booktitle = AAAI-94, year = 1994, pages = "1042--1047" } @PhdThesis{Welt95, author = "Christopher Welty", title = "An Integrated Representation for Software Development and Discovery", year = 1995, school = "Rensselaer Polytechnic Institute", } @InProceedings{Welt96, author = "Christopher Welty", title = "An {HTML} interface for {C}lassic", booktitle = DL-96, series = "AAAI Technical Report", number = "WS-96-05", publisher = AAAIP, year = 1996, } @InProceedings{Welt97, author = "Christopher Welty", title = "Augmenting Abstract Syntax Trees for Program Understanding", booktitle = "Proc.\ of the 1997 Automated Software Engineering Conf.", year = 1997, publisher = IEEEP, } @InProceedings{Werm95, author = "Michel Wermelinger", title = "Conceptual Graphs and First-Order Logic", booktitle = ICCS-95, pages = "323--337", year = 1995, editor = "Gerard Ellis and Robert Levinson and William Rich and John F. Sowa", series = LNAI, volume = 954, publisher = SV, } @Article{Wied92, author = "Gio Wiederhold", title = "Mediators in the Architecture of Future Information Systems", journal = COMPUTER, volume = 25, number = 3, pages = "38--49", year = 1992, } @TechReport{WGLZ*96, author = "Janet L. Wiener and Himanshu Gupta and Wilburt J. Labio and Yue Zhuge and Hector Garcia-Molina and Jennifer Widom", title = "A System Prototype for Warehouse View Maintenance", institution = "Stanford University", year = 1996, note = "Available at http://www-db-stanford.edu/warehousing/warehouse.html" } @InProceedings{Wido95, author = "Jennifer Widom", title = "Research Problems in Data Warehousing", booktitle = CIKM-95, year = 1995 } @Article{WiSe98, author = "Roy Williams and Bruce Sears", title = "A High Performance Active Digital Library", journal = "Parallel Computing, Special Issue on Metacomputing", year = 1998, volume = 24, number = "12--13", pages = "1791--1806", } @Article{Wolp83, author = "Pierre Wolper", title = "Temporal Logic can be More Expressive", journal = ICon, year = 1983, volume = 56, pages = "72--99" } @Article{Wolt00, author = "Frank Wolter", title = "The Product of Converse {PDL} and Polymodal {K}", year = 2000, journal = JLC, volume = 10, number = 2, pages = "223--251", } @InProceedings{WoZa98, author = "Frank Wolter and Michael Zakharyaschev", title = "Dynamic Description Logic", year = 1999, booktitle = "Advances in Modal Logic, Volume 2", editor = "K. Segerberg and M. de Rijke and H. Wansing and M. Zakharyaschev", publisher = "CSLI Publications", } @InProceedings{WoZa98b, author = "Frank Wolter and Michael Zakharyaschev", title = "Satisfiability Problem in Description Logics with Modal Operators", year = 1998, pages = "512--523", booktitle = KR-98, } @InProceedings{WoZa98c, author = "Frank Wolter and Michael Zakharyaschev", title = "Temporalizing Description Logics", year = 1999, booktitle = FroCoS-98, address = "Amsterdam", editor = "M. de Rijke and D. Gabbay", publisher = "Wiley", } @InCollection{WoZa99, author = "Frank Wolter and Michael Zakharyaschev", title = "Temporalizing Description Logic", year = 1999, booktitle = "Frontiers of Combining Systems", editor = "D. Gabbay and M. de Rijke", publisher = "Studies Press/Wiley", pages = "379 - 402", } @InProceedings{WoZa99b, author = "Frank Wolter and Michael Zakharyaschev", title = "Multi-Dimensional Description Logics", booktitle = IJCAI-99, pages = "104--109", year = 1999, } @Article{WoZa99c, author = "Frank Wolter and Michael Zakharyaschev", title = "Modal Description Logics: {M}odalizing Roles", journal = FUND-INF, year = 1999, volume = 39, number = 4, pages = "411--438", } @InCollection{Wood95, author = "Derick Wood", title = "{S}tandard {G}eneralized {M}arkup {L}anguage: {M}athematical and Philosophical Issues", booktitle = "Computer Science Today, Recent Trends and Developments", year = 1995, pages = "344--365", editor = "Jan van Leeuwen", publisher = SV, series = LNCS, volume = 1000 } @InCollection{Wood75, author = "William A. Woods", title = "What's in a Link: Foundations for Semantic Networks", booktitle = "Representation and Understanding: Studies in Cognitive Science", year = 1975, pages = "35--82", editor = "D. G. Bobrow and A. M. Collins", publisher = AP, note = "Republished in \cite{BrLe85}.", } @InCollection{Wood91, author = "William A. Woods", title = "Understanding Subsumption and Taxomony: {A} Framework for Progress", booktitle = "Principles of Semantic Networks", year = 1991, pages = "45--94", editor = "J. F. Sowa", publisher = MK, } @TechReport{WoSc90, author = "William A. Woods and James G. Schmolze", title = "The {KL-ONE} Family", institution = "Aiken Computation Laboratory, Harvard University", address = "Cambridge (MA, USA)", year = 1990, number = "TR-20-90", note = "Published in a special issue of {\it Computers \& Mathematics with Applications}, Volume 23, Number 2--9.", } @InCollection{WoSc92, author = "William A. Woods and James G. Schmolze", title = "The {KL-ONE} Family", booktitle = "Semantic Networks in Artificial Intelligence", year = 1992, editor = "F. W. Lehmann", pages = "133--178", publisher = PP, note = "Published as a special issue of {\it Computers \& Mathematics with Applications}, Volume 23, Number 2--9.", } @Article{WWVB*93, author = "Jon R. Wright and Elia S. Weixelbaum and Gregg T. Vesonder and Karen E. Brown and Stephen R. Palmer and Jay I. Berman and Harry H. Moore", title = "A Knowledge-Based Configurator that Supports Sales, Engineering, and Manufacturing at {AT\&T} Network Systems", year = 1993, journal = AIM, volume = 14, number = 3, pages = "69--80", } %xxxxxxxxxxxxxxxxxxxxxxxxx %xxxxxxxxxxxxxxxxxxxxxxxxx %% use BrPS98 instead TechReport{XML-W3C98, title = "Extensible {M}arkup {L}anguage {(XML)} 1.0 --- {W3C} Recommendation", author = "Tim Bray and Jean Paoli and C. M. Sperberg-McQueen", institution = "World Wide Web Consortium", year = 1998, note = "Available at http://www.w3.org/TR/1998/REC-xml-19980210" } %yyyyyyyyyyyyyyyyyyyyyyyyy %yyyyyyyyyyyyyyyyyyyyyyyyy @InProceedings{YaKL97, author = "Jian Yang and Kamalakar Karlapalem and Qing Li", title = "Algorithms for Materialized View Design in Data Warehousing Environment", booktitle = VLDB-97, pages = "136-145", year = 1997, } @InProceedings{YaOz99, author = "Ling-Ling Yan and M. Tamer {\"O}zsu", title = "Conflict Tolerant Queries in {AURORA}", booktitle = CoopIS-99, pages = "279--290", year = 1999, } @InProceedings{Yann81, author = "Mihalis Yannakakis", title = "Algorithms for Acyclic Database Schemes", booktitle = VLDB-81, pages = "82--94", year = 1981, } @InProceedings{YePS94, author = "Xian Ye and Christine Parent and Stefano Spaccapietra", title = "Cardinality Consistency of Derived Objects in {DOOD} Systems", booktitle = ER-94, address = "Manchester (United Kingdom)", year = 1994, editor = "P. Loucopoulos", pages = "278--295", publisher = SV, series = LNCS, volume = 881 } @InProceedings{Yell00, author = "Philip Y. Yelland", title = "An Alternative Combination of {B}aysian Networks and Description Logics", booktitle = KR-00, pages = "225--234", year = 2000, } @InProceedings{Yen91, author = "John Yen", title = "Generalizing Term Subsumption Languages to Fuzzy Logic", pages = "472--477", editor = "Ray Reiter and John Myopoulos", booktitle = IJCAI-91, year = "1991", } @Article{YeNM91, author = "John Yen and Robert Neches and Robert MacGregor", title = "{CLASP}: Integrating Term Subsumption Systems and Production Systems", year = 1991, journal = TKDE, volume = 3, number = 1, pages = "25--31", } @InProceedings{YLGU99, author = "Ramana Yerneni and Chen Li and Hector Garcia-Molina and Jeffrey D. Ullman", title = "Computing Capabilities of Mediators", booktitle = SIGMOD, pages = "443--454", year = 1999, } @InProceedings{YLUG99, author = "Ramana Yerneni and Chen Li and Jeffrey D. Ullman and Hector Garcia-Molina", title = "Optimizing Large Join Queries in Mediation Systems", booktitle = ICDT-99, pages = "348--364", year = 1999, } %zzzzzzzzzzzzzzzzzzzzzzzzz %zzzzzzzzzzzzzzzzzzzzzzzzz @InProceedings{Zhan97, author = "Zhang, Hantao", title = "{SATO}: an Efficient Propositional Prover", booktitle = CADE-97, series = LNCS, year = 1997, } @InProceedings{ZhOz95, author = "Xubo Zhang and Z. Meral Ozsoyoglu", title = "On efficient Reasoning with Implication Constraints", booktitle = DOOD-93, volume = 760, series = LNCS, year = 1993, publisher = SV, pages = "236--252" } @Article{ZhHK96, author = "Gang Zhou and Richard Hull and Roger King", title = "Generating Data Integration Mediators that Use Materializations", journal = JIIS, year = 1996, volume = 6, pages = "199--221" } @InProceedings{ZHKF95, author = "Gang Zhou and Richard Hull and Roger King and Jean-Claude Franchitti", title = "Using Object Matching and Materialization to Integrate Heterogeneous Databases", booktitle = CoopIS-95, year = 1995, pages = "4--18" } @Article{ZHKF95b, author = "Gang Zhou and Richard Hull and Roger King and Jean-Claude Franchitti", title = "Data Integration and Warehousing Using {H20}", journal = IEEEBDE, year = 1995, volume = 18, number = 2, pages = "29--40" } @InProceedings{ZGHW95, author = "Yue Zhuge and Hector Garcia-Molina and Joachim Hammer and Jennifer Widom", title = "View Maintenance in a Warehousing Environment", booktitle = SIGMOD, year = 1995, pages = "316--327" } %%% Proceedings Proceedings Proceedings Proceedings Proceedings Proceedings %%% Proceedings Proceedings Proceedings Proceedings Proceedings Proceedings @Proceedings{BLNN95, editor = "Alexander Borgida and Maurizio Lenzerini and Daniele Nardi and Bernhard Nebel", title = DL-95, booktitle = DL-95, year = 1995, address = "Rome (Italy)", series = "Technical Report, RAP 07.95, " # DIS, } %%% previously also AAAIWIG95 @Proceedings{KnLe95, editor = "Craig Knoblock and Alon Y. Levy", title = "Proc.\ of the {AAAI'95} Spring Symp.\ on Information Gathering from Heterogeneous, Distributed Environments", booktitle = "Proc.\ of the {AAAI'95} Spring Symp.\ on Information Gathering from Heterogeneous, Distributed Environments", year = 1995, series = "AAAI Spring Symposium Series", number = "SS-95-08", publisher = AAAIP, } @Proceedings{FKKR99, editor = "Dieter Fensel and Craig Knoblock and Nicholas Kushmerick and Marie-Christine Rousset", title = "Proc.\ of the {IJCAI'99} Workshop on Intelligent Information Integration", booktitle = "Proc.\ of the {IJCAI'99} Workshop on Intelligent Information Integration", year = 1999, publisher = "CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-23/", } %%% Collections Collections Collections Collections Collections Collections %%% Collections Collections Collections Collections Collections Collections @Proceedings{BLNP94, editor = "Franz Baader and Maurizio Lenzerini and Werner Nutt and Patel-Schneider, Peter F.", title = DL-94, year = 1994, publisher = DFKI, number = "D-94-10", } @Book{BrLe85, editor = "Ronald J. Brachman and Hector J. Levesque", title = "Readings in Knowledge Representation", booktitle = "Readings in Knowledge Representation", publisher = MK, year = 1985, } @Book{BoLe01, editor = "Mokrane Bouzeghoub and Maurizio Lenzerini", title = IS # " -- Special Issue on Data Extraction, Cleaning, and Reconciliation", booktitle = IS # " -- Special Issue on Data Extraction, Cleaning, and Reconciliation", year = 2001, note = "To appear", } @Book{DaFM98, editor = "Tim Darr and Mark Fox and Deborah McGuinness", title = "Artificial Intelligence for Engineering Design, Analysis, and Manufacturing J.\ -- Special Issue on Configuration", year = 1998, publisher = CUP, } @Book{HeRo91, editor = "O. Herzog and C. R. Rollinger", title = "Text Understanding in {LILOG}", booktitle = "Text Understanding in {LILOG}", publisher = SV, year = 1991, } @Proceedings{LiMV95, editor = "Tok Wang Ling and Alberto O. Mendelzon and Laurent Vieille", title = DOOD-95, year = 1995, publisher = SV, series = LNCS, volume = 1013, } @Proceedings{MMMR92, editor = "Robert Mac{G}regor and Deborah Mc{G}uinness and Eric Mays and Tom Russ", title = "Working Notes of the AAAI Fall Symposium on ``Issues on Description Logics: Users meet Developers''", year = 1992, address = "Boston, MA (USA)", } @Proceedings{NePV91, editor = "Bernhard Nebel and Christof Peltason and Kai von Luck", title = "Proc.\ of the Int.\ Workshop on Terminological Logics", publisher = DFKI, year = "1991", number = "D-91-13", } %%% previously IEEEBDE95 @Book{Wido95b, editor = "Jennifer Widom", title = IEEEBDE # " -- Special Issue on Materialized Views and Data Warehousing", booktitle = IEEEBDE # " -- Special Issue on Materialized Views and Data Warehousing", publisher = IEEEP, year = 1995, volume = 18, number = 2, } @Book{Wido99, editor = "Jennifer Widom", title = IEEEBDE # " -- Special Issue on Materialized Views and Data Warehousing", booktitle = IEEEBDE # " -- Special Issue on Materialized Views and Data Warehousing", publisher = IEEEP, year = 1999, volume = 22, number = 3, } %%% previously JIIS96 @Book{Wied96, editor = "Gio Wiederhold", title = JIIS # " -- Special Issue: {I}ntelligent Integration of Information", booktitle = JIIS # " -- Special Issue: {I}ntelligent Integration of Information", year = 1996, volume = 6, number = "2/3", } @Book{Leuv90, editor = "J. van Leuven", title = "Handbook of Theoretical Computer Science", booktitle = "Handbook of Theoretical Computer Science", publisher = ESP, year = 1990 } @Book{DWQ99, title = "The Data Warehouse Quality Project", year = 1999, address = "http://www.dbnet.ece.ntua.gr/$\sim$dwq/" } %%% Local Variables: %%% save-place: t %%% End: