@string{AAAI80 = "Proceedings of the First National Conference on Artificial Intelligence"} @string{AAAI82 = "Proceedings of the Second National Conference on Artificial Intelligence"} @string{AAAI83 = "Proceedings of the Third National Conference on Artificial Intelligence"} @string{AAAI84 = "Proceedings of the Fourth National Conference on Artificial Intelligence"} @string{AAAI86 = "Proceedings of the Fifth National Conference on Artificial Intelligence"} @string{AAAI87 = "Proceedings of the Sixth National Conference on Artificial Intelligence"} @string{AAAI88 = "Proceedings of the Seventh National Conference on Artificial Intelligence"} @string{AAAI90 = "Proceedings of the Eighth National Conference on Artificial Intelligence"} @string{AAAI91 = "Proceedings of the Ninth National Conference on Artificial Intelligence"} @string{AAAI92 = "Proceedings of the Tenth National Conference on Artificial Intelligence"} @string{AAAI93 = "Proceedings of the Eleventh National Conference on Artificial Intelligence"} @string{AAAI94 = "Proceedings of the Twelfth National Conference on Artificial Intelligence"} @string{KR89 = "Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning"} @string{KR91 = "Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning"} @string{KR92 = "Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning"} @string{KR94 = "Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning"} @string{STOC77 = "Proceedings of the Ninth Annual ACM Symposium on Theory of Computing"} @string{IJCAI69 = "Proceedings of the First International Joint Conference on Artificial Intelligence"} @string{IJCAI71 = "Proceedings of the Second International Joint Conference on Artificial Intelligence"} @string{IJCAI73 = "Proceedings of the Third International Joint Conference on Artificial Intelligence"} @string{IJCAI75 = "Proceedings of the Fourth International Joint Conference on Artificial Intelligence"} @string{IJCAI77 = "Proceedings of the Fifth International Joint Conference on Artificial Intelligence"} @string{IJCAI79 = "Proceedings of the Sixth International Joint Conference on Artificial Intelligence"} @string{IJCAI81 = "Proceedings of the Seventh International Joint Conference on Artificial Intelligence"} @string{IJCAI83 = "Proceedings of the Eighth International Joint Conference on Artificial Intelligence"} @string{IJCAI85 = "Proceedings of the Ninth International Joint Conference on Artificial Intelligence"} @string{IJCAI87 = "Proceedings of the Tenth International Joint Conference on Artificial Intelligence"} @string{IJCAI89 = "Proceedings of the Eleventh International Joint Conference on Artificial Intelligence"} @string{IJCAI91 = "Proceedings of the Twelfth International Joint Conference on Artificial Intelligence"} @string{IJCAI93 = "Proceedings of the 13th International Joint Conference on Artificial Intelligence"} @string{IJCAI95 = "Proceedings of the 14th International Joint Conference on Artificial Intelligence"} @string{AIJ = "Artificial Intelligence"} @string{JAIR = "Journal of Artificial Intelligence Research"} @INCOLLECTION{HS, AUTHOR="Herbert A. Simon", TITLE="The Architecture of Complexity", BOOKTITLE="Sciences of the Artificial", PUBLISHER="MIT Press", ADDRESS="Cambridge Mass" } @inproceedings{OM93, author ="J. J. Ordille and B. P. Miller", title = "Distributed Active Catalogs and Meta-Data Caching in Descriptive Name Services", booktitle = "Proceedings of the 13th International IEEE Conference on Distributed Computing Systems", year = 1993} @misc{dp92, author="Steven Dorner and Paul Pomes ", title="The CCSO Nameserver \- A Description", howpublished="Computer and Communications Services Office Technical Report, University of Illinois, Urbana, USA, Available from ftp://vixen.cso.uiuc.edu/pub/qi.tar.gz", year=1992} @misc{whois, author="E. Feinler, K. Harrenstien and M. Stahl", title="NICNAME/WHOIS", howpublished="Request for Comments 953, Available from ftp://ds.internic.net/rfc/rfc953.txt", month="October", year=1985} @inproceedings{O94, author ="Joann J. Ordille", title = "Information Gathering and Distribution in Nomenclator", booktitle = "Working Notes of the AAAI Spring Symposium on Information Gathering from Heterogeneous, Distributed Environments, Stanford, California, USA", pages="138-141", year = 1994} @inproceedings{Morgenstern87, author="Leora Morgenstern", title="Knowledge Preconditions for Actions and Plans", booktitle=IJCAI87, year="1987"} @inproceedings{life91, author="Hasan {A\"{i}t}-Kaci and Andreas Podelski", title="Towards the Meaning of {LIFE}", booktitle="Proceedings of the 3rd International Symposium on Programming Language Implementation and Logic Programming", year="1991"} @InProceedings{rickel, title = "Automated Modeling for Answering Prediction Questions: Exploiting Interaction Paths", author = "Jeff Rickel and Bruce Porter", booktitle = "Proceedings of the Sixth International Workshop on Qualitative Reasoning about Physical Systems", year = "1992", month = "August" } @inproceedings{BY92, author= "Fahiem Bacchus and Qiang Yang", title= "The Expected Value of Hierarchical Problem-Solving", booktitle = AAAI92, year = 1992, pages = "369--374"} @inproceedings{Dalal88, author= "Mukesh Dalal", title= "Investigations into the Theory of Knowledge Base Revision: preliminary report", booktitle = AAAI88, year = 1988, pages = "475--479"} @inproceedings{KM89, author= "H. Katsuno and A.O. Mendelzon", title=" A Unified View of Propositional Knowledge Base Updates", booktitle= IJCAI89, year= 1989, pages="1413--1419"} @inproceedings{KM91, author= "H. Katsuno and A.O. Mendelzon", title=" On the Difference Between Updating a Knowledge Base and Revising it", booktitle= KR91, year= 1991, pages="387--394"} @inproceedings{BGHK93, author={F. Bacchus and A.~J. Grove and J.~Y. Halpern and D. Koller}, title={Statistical Foundations for Default Reasoning}, booktitle = {Proceedings of the 13th International Joint Conference on Artificial Intelligence}, year = 1993} % note = {Also in Proc. AAAI Workshop on Non-monotonic Logic, 1992} @inproceedings{Nebel89, author=" B. Nebel", title="A Knowledge Level Analysis of Belief Revision", year = 1989, booktitle= "Proceedings of KR-89", pages="301--311"} @inproceedings{levy-roussetDL95, author="Alon Y. Levy and Marie-Christine Rousset", title="{CARIN:} A Representation Language Integrating Rules and Description Logics", booktitle="Proceedings of the International Workshop on Description Logics, Roma, Italy", year=1995} @misc{levy94:lcw, author="Alon Y. Levy", title="Relating {LCW} to the Detection of Queries Independent of Updates", howpublished="In Preparation", year=1994} @misc{blrr95, author="Catriel Beeri and Alon Y. Levy and Anand Rajaraman and Marie-Christine Rousset", title="View Rewriting for Complex Class Hierarchies", howpublished="Submitted for publication", year=1995} @inproceedings{Etzioni-kr94, author="Oren Etzioni and Keith Golden and Daniel Weld", title="Tractable Closed World Reasoning with Updates", year = 1994, booktitle= "Proceedings of KR-94. "} @book{Winslett90, author = "Marianne Winslett", title="Updating Logical Databases", publisher=" Cambridge University Press", year=1990, address= "Cambridge, England"} @book{Krol93, author = "Ed Krol", title="The Whole Internet", publisher="O'Reilly \& Associates, Inc.", year=1993, address= "Sebastopol, CA"} @article{littlestone88, author="Nick Littlestone", title="Learning quickly when irrelevant attributes abound: A new linear-threshold algorithm", journal= "Machine Learning", year=1988, volume= 2, pages="285-318"} @book{GKP89, author = "Ronald L. Graham and Donald E. Knuth and Oren Patashnik", title="Concrete Mathematics: A Foundation for Computer Science", publisher=" Addison Wesley", year=1989} @book{Enderton, author = "Herbert B. Enderton", title="A Mathematical Introduction to Logic", publisher="Academic Press, Inc.", year=1972, address= "Orlando, Florida"} @misc{tlss94, author="Thomas Kirk and Alon Levy and Yehoshua Sagiv and Divesh Srivastava", title="Challenges for Global Information Systems: Data Models and Query Optimization", howpublished="AT\&T Bell Laboratories Techinal Report", year=1994} @inproceedings{borgida94, AUTHOR="Alexander Borgida", TITLE="On The Relationship Between Description Logic and Predicate Logic", booktitle = "Proceedings of {CIKM-94}", year = "1994"} @misc{lsk94, author="Alon Y. Levy and Divesh Srivastava and Thomas Kirk", title="The {IM} Global Information System: Data Model and Query Evaluation", howpublished=" AT\&T Bell Laboratories Technical Report. Submitted for publication", year=1994} @misc{tsimmis, author="S. Chawathe and H. {Garcia-Molina} and J. Hammer and K. Ireland and Y. Papakonstantinou and J. Ullman and J. Widom", title="The {TSIMMIS} Project: Integration of Heterogeneous Information Sources", howpublished="In proceedings of IPSJ, Japan", month="October", year="1994"} @article{AGM, author= "C. Alchourron and Peter {G\"{a}rdenfors} and D. Makinson", title=" On the Logic of Theory Change: Partial Meet Contraction and Revision Functions", journal = "Journal of Symbolic Logic", volume = 50, year = 1985, pages = "510--530"} @inproceedings{Loom-paper, author="R. M. MacGregor", title="A Deductive Pattern Matcher", booktitle="Proceedings of AAAI-88", year=1988} @inproceedings{pggu95, author="Y. Papakonstantinou and A. Gupta and H. Garcia-{Molina} and J. Ullman", title="A Query Translation Scheme for Rapid Implementation of Wrappers", booktitle="In proceedings of {DOOD-95}", year=1995} @inproceedings{macgregor94, author="Robert M. MacGregor", title="A Description Classifier for the Predicate Calculus", booktitle="Proceedings of AAAI-94", year=1994} @inproceedings{yen90, author="John Yen", title="A Principled Approach to Reasoning about the Specificity of Rules", booktitle="Proceedings of AAAI-90", year=1990} @article{Baalen-aij, author="Jeffrey {Van Baalen}", title="Automated Design of Specialized Representations", journal= AIJ, volume = 54, pages="121--198", year=1992} @article{hors-rousset95, author="Pascale Hors and Marie-Christine Rousset", title="Consistency of Structured Knowledge : a Formal Framework Based on Description Logics.", journal="International Journal of Expert Systems and Applications", volume="8(3)", year=1995} @article{Gottlob92, author="Thomas Eiter and Georg Gottlob", title="On the complexity of propositional knowledge base revision, updates and counterfactuals", journal= AIJ, volume = 57, pages="227-270", year=1992} @article{Sl85, author= "G. Slutzki", title="Alternating Tree Automata", journal = "Theoretical Computer Science", volume = 41, year = 1985, pages = "305--318"} @article{Litwin90, author= "Witold Litwin and Leo Mark and Nick Roussopoulos", title="Interoperability of Multiple Autonomous Databases", journal = "ACM Computing Surveys", volume = "22 (3)", year = 1990, pages = "267--293"} @article{batini86, author= "C. Batini and M. Lenzerini and S. B. Navathe", title="A comparative analysis of methodologies for database schema integration", journal = "ACM Computing Surveys", volume = "18 (4)", year = 1986, month= "December", pages = "323-364"} @article{Buchheit93-jair, author="Martin Buchheit and Francesco M. Donini and Andrea Schaerf", title="Decidable Reasoning in Terminological Knowledge Representation Systems", journal=JAIR, volume=1, pages="109--138", year=1993} @inproceedings{yen89, author="John Yen and Robert Neches and Robert MacGregor", title="Using terminological models to enhance the rule-based paradigm.", booktitle="Proceedings of the Second International Symposium on Artificial Intelligence", month=October, year=1989} @inproceedings{hybrid-datalog-paper, author="Francesco Donini and M. Lenzerini and D. Nardi and A. Schaerf", title="A Hybrid System Integrating Datalog and Concept Languages", booktitle="Working notes of the AAAI Fall Symposium on Principles of Hybrid Reasoning", year=1991} @incollection{donini91, author = {Donini, Francesco M. and Lenzerini, Maurizio and Nardi, Daniele and Schaerf, Andrea}, title = {A hybrid system with Datalog and concept languages}, booktitle= {Trends in Artificial Intelligence}, volume = {LNAI 549}, publisher="Springer Verlag", year = 1991 } @article{Levitt91, author= "Raymond E. Levitt and Yan Jin and Clive L. Dym", title="Knowledge Based Support for Management of Concurrent, Multidisciplinary Design", journal = "AI in Engineering, Design and Manufacturing", volume = "2(5)", year = 1991, pages = "77--95"} @misc{CML-document, author= "Adam Farquhar and Danny Bobrow and Brian Falkenhainer and Richard Fikes and Kenneth Forbus and Thomas Gruber and Yumi Iwasaki and Benjamin Kuipers", title="A Compositional Modeling Language", year= 1993, howpublished="Knowledge Systems Laboratory Technical Report KSL-93-53, Stanford University, Stanford, California"} @article{Pact-reference, author="Mark R. Cutkosky and Robert S. Engelmore and Richard E. Fikes and Michael R. Genesereth and Thomas R. Gruber and William S. Mark and Jay M. Tenenbaum and Jay C. Weber", title="{PACT}: An Experiment in Integrating Concurrent Engineering Systems", journal="IEEE Computer", year="1993", Volume = "26(1)", pages="28--37"} @inproceedings{FUV83, author="Ronald Fagin and Jeffrey Ullman and Moshe Vardi", title=" On the Semantics of Updates in Databases", booktitle="Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems", year= 1983, pages="352-365"} @inproceedings{Etzioni-kr92, author="Oren Etzioni and Steve Hanks and Daniel Weld and Denise Draper and Neal Lesh and Mike Williamson", title="An Approach to Planning with Incomplete Information", booktitle="Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning", pages="115-125", year=1992} @InProceedings{Subramanian90, author = "Devika Subramanian and Ronen Feldman", title = "The Utility of EBL in Recursive Domain Theories", booktitle = AAAI90, year = "1990" } @InProceedings{Chandra77, author = "A.K. Chandra and P.M. Merlin", title = "Optimal Implementation of conjunctive queries in relational databases", booktitle = STOC77, year = "1977", pages = "77-90" } @InProceedings{Etzioni90, author = "Oren Etzioni", title = "Why {PRODIGY/EBL} Works", booktitle = AAAI90, year = "1990" } @InProceedings{Shmueli87, author = "Oded Shmueli", title = " Decidability and expressiveness aspects of logic queries", booktitle = "Proceedings of the 6th ACM Symposium on Principles of Database Systems", pages = "237-249", year = 1987} @InProceedings{Imielinski94, author = "Daniel Barbar\'{a} and Tomasz Imieli\'{n}ski", title = "Sleepers and Workaholics: Caching Strategies in Mobile Environments", booktitle = "Proceedings of SIGMOD-94", pages = "1--12", year = 1994} @InProceedings{hermes96, author = "S. Adali and K. Candan and Y. Papakonstantinou and V.S. Subrahmanian", title = "Query Caching and Optimization in Distributed Mediator Systems", booktitle = "Proceedings of SIGMOD-96", year = 1996} @InProceedings{ggt94, author = "Luis Gravano and Hector Garcia-Molina and Anthony Tomasic", title = "The Effectiveness of Gloss for the Text Database Discovery Problem", booktitle = "Proceedings of SIGMOD-94", pages = "126--137", year = 1994} @InProceedings{Wolfson94, author = "Yixiu Huang and Prasad Sistla and Ouri Wolfson", title = "Data Replication for Mobile Computers", booktitle = "Proceedings of SIGMOD-94", pages = "13--24", year = 1994} @InProceedings{Hiroshi90, author = "Kenichi Yoshida and Hiroshi Motoda", title = "Towards Automatic Generation of Hierarchical Knowledge Bases", booktitle = "Proceedings of the Workshop on Automatic Generation of Approximations and Abstractions", year = "1990" } @InProceedings{Darwiche92, author = "Adnan Y. Darwiche and Matthew L. Ginsberg", title = "Abstract States of Belief and Conditionalization", booktitle = AAAI92, year = "1992" } @InProceedings{Yoshida92, author = "Kenichi Yoshida and Hiroshi Motoda", title = "Concept Learning from Inference Pattern to Improve Performance", booktitle = "Proceedings of the Workshop on Knowledge Assimilation", year = "1992" } @InProceedings{Bennett87, author = "Scott W. Bennett", title = "Approximation in Mathematical Domain", booktitle = "Proceedings of the Tenth International Joint Conference on Artificial Intelligence, pp. 239-241", year = "1986" } @InProceedings{Ellman93, author = "Thomas Ellman", title = "Abstraction via Approximate Symmetry", booktitle =IJCAI93, pages="916-921", year = "1993" } @InProceedings{Ellman88, author = "Thomas Ellman", title = "Approximate Theory Formation: An Explanation-Based Approach", booktitle = "Proceedings of the Seventh National Conference on Artificial Intelligence, pp. 570-574", year = "1988" } @InProceedings{Williams90, author = "Brian C. Williams", title = "Capturing How Things Work: Constructing Critical Abstractions of Local Interactions", booktitle = "Proceedings of the AAAI Workshop on Automatic Generation of Approximations and Abstractions, pp.163-174", year = "1990" } @proceedings{Ellman90, editor = "Thomas Ellman", title="Working Notes of the Automatic Generation of Approximations and Abstractions Workshop", publisher = "American Association for Artificial Intelligence.", year = "1990"} @proceedings{kl-proc95, editor = "Craig A. Knoblock and Alon Y. Levy", title="Working Notes of the {AAAI} Spring Symposium on Information Gathering from Heterogeneous Distributed Environments", publisher = "American Association for Artificial Intelligence.", year = "1995"} @proceedings{greiner-proc94, editor = "Russell Greiner and Devika Subramanian", title="Working Notes of the {AAAI} Fall Symposium on Relevance", publisher = "American Association for Artificial Intelligence.", year = "1994"} @inproceedings{klss95, author = "Thomas Kirk and Alon Y. Levy and Yehoshua Sagiv and Divesh Srivastava.", title="The Information Manifold", booktitle="Working Notes of the {AAAI} Spring Symposium on Information Gathering from Heterogeneous Distributed Environments", publisher = "American Association for Artificial Intelligence.", year = "1995"} @inproceedings{perkowitz95, author = "Mike Perkowitz and Oren Etzioni", title="Category Translation: Learning to Understand Information on the Internet", booktitle="Working Notes of the {AAAI} Spring Symposium on Information Gathering from Heterogeneous Distributed Environments", publisher = "American Association for Artificial Intelligence.", year = "1995"} @inproceedings{fikes-sss95, author = "Richard E. Fikes and Robert S. Engelmore and Adam Farquhar and Wanda Pratt", title="Network-Based Information Brokers", booktitle="{AAAI} Spring Symposium on Information Gathering from Heterogeneous Distributed Environments", publisher = "American Association for Artificial Intelligence.", year = "1995"} @inproceedings{li95, author = "Wen-Syan Li", title="Knowledge gathering and matching in heterogeneous databases", booktitle="Working Notes of the {AAAI} Spring Symposium on Information Gathering from Heterogeneous Distributed Environments", publisher = "American Association for Artificial Intelligence.", year = "1995"} @proceedings{Ellman92, editor = "Thomas Ellman", title="Working Notes of the Workshop on Approximation and Abstraction of Computational Theories", publisher = "American Association for Artificial Intelligence.", year = "1992"} @InProceedings{Williams90a, author = "Brian C. Williams", title = "Interaction-based Invention: Designing Novel Devices from First Principles", booktitle = AAAI90, year = "1990" } @inproceedings{rousset-ecai88, author="Marie-Christine Rousset", title="On the Consistency of Knowledge Bases: the {COVADIS} system", booktitle=" Proceedings {ECAI}-88", year=1988} @inproceedings{rousset-ecai94, author="Marie-Christine Rousset", title="Knowledge Formal Specifications for Formal Verification: a Proposal based on the Integration of Different Logical Formalisms", booktitle=" Proceedings of {ECAI}-94", year=1994} @inproceedings{rousset-ecai96, author="Marie-Christine Rousset and Pascale Hors", title="Modeling and Verifying Complex Objects: A Declarative Approach based on Description Logics", booktitle=" Proceedings of {ECAI}-96", year=1996} @inproceedings{wright-et-al, author=" J.R Wright and E.S. Weixelbaum and K. Brown and G.T Vesonder and S.R Palmer and J.I Berman and H.H Moore", title="A knowledge-based configurator that supports sales, engineering and manufacturing at {AT\&T} network systems", booktitle="Proceedings of IAAI-93", year= 1993} @InProceedings{Ellman, author = "Thomas Ellman", title = "Mechanical Generation of Heuristics through Approximation of Intractable Theories", booktitle = "Proceedings of the Workshop on Automatic Generation of Approximations and Abstractions", year = "1990" } @InProceedings{EllMos, author = "Jack Mostow and Thomas Ellman and Armand Prieditis", title = "A Unified Transformational Model for Discovering Heuristics by Idealizing Intractable Problems", booktitle = "Proceedings of the Workshop on Automatic Generation of Approximations and Abstractions", year = "1990" } @InProceedings{Mostow, author = "Jack Mostow and Tom Fawcett", title = "Generating Useful Approximations: A Transformational Model", booktitle = "Proceedings of the Workshop on Automatic Generation of Approximations and Abstractions", year = "1990" } @MISC{LI92, AUTHOR="Alon Y. Levy and Yumi Iwasaki and Hiroshi Motoda", TITLE="Relevance Reasoning to Guide Compositional Modeling", HOWPUBLISHED="Knowledge System Laboratory Technical Report. Computer Science Department, Stanford University", YEAR=1992} @inproceedings{lss94, author="Alon Y. Levy and Yehoshua Sagiv and Divesh Srivastava", title="Towards Efficient Information Gathering Agents", booktitle="Working Notes of the {AAAI} Spring Symposium on Software Agents, March, 1994, Stanford, California.", year=1994, pages="64-70"} @inproceedings{cohen94, author="Philip R. Cohen and Adam Cheyer and Michelle Wang and Soon Cheol Baeg", title="An Open Agent Architecture", booktitle="Working Notes of the {AAAI} Spring Symposium on Software Agents, March, 1994, Stanford, California.", year=1994, pages="1--8"} @inproceedings{lfs94, author="Alon Y. Levy and Richard E. Fikes and Yehoshua Sagiv", title="A Proof-Theoretic Approach to Irrelevance: Foundations and Applications", booktitle="Working Notes of the {AAAI} Fall Symposium on Relevance, November, 1994", year=1994} @inproceedings{lo95, author="Alon Y. Levy and Joann J. Ordille", title="Integrating Internet Information Sources", booktitle="Working Notes of the {AAAI} Fall Symposium on AI Applications in Knowledge Navigation", year=1994} @misc{lfs94a, author="Alon Y. Levy and Richard E. Fikes and Yehoshua Sagiv", title="Speeding Up Inferences in Large Knowledge Bases", howpublished="AT\&T Technical Memorandum", year=1994} @inproceedings{darwiche94, author="Adnan Darwiche", title="A Logical Notion of Conditional Independence", booktitle="Working Notes of the {AAAI} Fall Symposium on Relevance, November, 1994", year=1994} @inproceedings{draper94, author="Denise L. Draper", title="Relevance Measures for Localized Partial Evaluation of Belief Networks", booktitle="Working Notes of the {AAAI} Fall Symposium on Relevance, November, 1994", year=1994} @inproceedings{raogreiner94, author="R. Bharat Rao and Russell Greiner and Tom Hancock", title="Exploiting the Absence of Irrelevant Information: What You Don't Know Can Help You", booktitle="Working Notes of the {AAAI} Fall Symposium on Relevance, November, 1994", year=1994} @inproceedings{lms94, author="Alon Y. Levy and Inderpal Singh Mumick and Yehoshua Sagiv", title="Query Optimization by Predicate Move-around", booktitle="Proceedings of the 20th VLDB Conference, Santiago, Chile", year=1994} @inproceedings{lm96, author="Alon Y. Levy and Inderpal Singh Mumick", title="Reasoning with Aggregation Constraints", booktitle="Proceedings of the Conference on Extending Database Technology, EDBT-96", month="March", year=1996} @inproceedings{nl95, AUTHOR="P. Pandurang Nayak and Alon Y. Levy", TITLE="A Semantic Theory of Abstractions", booktitle=IJCAI95, YEAR=1995} @MISC{NL94, AUTHOR="P. Pandurang Nayak and Alon Y. Levy", TITLE="A Semntic Theory of Abstractions: A Preliminary Report", HOWPUBLISHED="Technical Report, AT\&T Bell Laboratories", YEAR=1994} @INCOLLECTION{Yumi91, AUTHOR="Yumi Iwasaki", TITLE="Reasoning With Multiple Abstraction Models", BOOKTITLE="Recent Advances in Qualitative Physics", PUBLISHER="MIT Press", EDITOR="Peter Struss and Boi Faltings", ADDRESS="Cambridge Mass", YEAR="1991" } @inproceedings{shmueli95, author="David Konopnicki and Oded Shmueli", title="{W3QS}: A Query System for the {WWW}", booktitle="Proceedings {VLDB}", year=1995} @article{Iwasaki86, author = "Yumi Iwasaki and Herb Simon", title="Causality in Device Behavior", journal = AIJ, year = 1986, volume = "29", pages = "3--32"} @article{wiederhold92, author = "Gio Wiederhold", title="Mediators in the architecture of future information systems", journal = "IEEE Computer", year = 1992, pages = "38-49"} @INCOLLECTION{Dunn86, AUTHOR="Michael Dunn", TITLE="Relevance Logic and Entailment", BOOKTITLE="Handbook of Philosophical Logic, Volume III. Alternatives to Classical Logic", PUBLISHER="D. Reidel Publishing Company", EDITOR="Dov Gabbay and Franz Guenthner", ADDRESS="Dordrecht, Holland", YEAR="1986", pages= "117--224" } @INCOLLECTION{Clark78, AUTHOR="K. Clark", TITLE="Negation as Failure", BOOKTITLE="Logic and Data Bases", PUBLISHER="Plenum Press", EDITOR="J. Minker and H. Gallaire", ADDRESS="New York", YEAR="1978", pages= "293--322"} @INPROCEEDINGS{AID92, AUTHOR="Yumi Iwasaki and B. Chandrasekaran", TITLE="Design verification through function and behavior-oriented representations: Bridging the gap between function and behavior", BOOKTITLE="Proceedings of the Second International Conference on Artificial Intelligence in Design", PUBLISHER="Kluwer Academic Publishers", YEAR="1992" } @INPROCEEDINGS{QPC, AUTHOR="James Crawford, Adam Farquhar, and Ben Kuipers", TITLE="A Compiler from Physical Models into Qualitative Differential Equations", BOOKTITLE=AAAI90, PUBLISHER="Morgan Kaufmann", ADDRESS="Los Altos, CA", YEAR="1990" } @INCOLLECTION{Knoblock89, AUTHOR="Craig A. Knoblock", TITLE="A Theory of Abstraction for Hierarchical Planning", BOOKTITLE="Proceedings of the Workshop on Change of Representation and Inductive Bias", PUBLISHER="Kluwer", EDITOR="Paul Benjamin", ADDRESS="Boston, Mass", YEAR="1989" } @article{Knoblock93, author="Craig A. Knoblock", title="Automatically Generating Abstractions for Planning", year=1993, journal=AIJ} @proceedings{Lowry92, editor = "Michael R. Lowry", title="Proceedings of the Workshop on Change of Representation and Problem Reformulation", year= "1992", publisher=" NASA Ames Research Center Technical Report FIA-92-06"} @INPROCEEDINGS{Knoblock90, AUTHOR="Craig A. Knoblock", TITLE="Learning Abstraction Hierarchies for Problem Solving", BOOKTITLE=AAAI90, YEAR=1990, PUBLISHER="Morgan Kaufmann", ADDRESS="Los Altos, CA" } @INPROCEEDINGS{Knoblock91, AUTHOR="Craig A. Knoblock", TITLE="Search Reduction in Hierarchical Problem Solving", BOOKTITLE=AAAI91, YEAR=1991, pages="686-691"} @article{Sac74, AUTHOR="Earl D. Sacerdoti", TITLE="Planning in a Hierarchy of Abstraction Spaces", journal=AIJ, volume="5", YEAR="1974", PAGES="115-135" } @article{Greiner-AIJ, AUTHOR="Russell Greiner", TITLE="Finding Optimal Derivation Strategies in a Redundant Knowledge Base", journal=AIJ, volume="50(1)", YEAR="1991", PAGES="95-116" } @INPROCEEDINGS{Sagiv81, AUTHOR="Y. Sagiv and M. Yannakakis", TITLE="Equivalence Among Relational Expressions With the Union and Difference Operators", BOOKTITLE="J. ACM 27:4 pp. 633-655", YEAR="1981"} @inproceedings{Bancilhon86, author="F. Bancilhon and D. Maier and Y. Sagiv and J. Ullman", title="Magic Sets and Other Strange Ways to Implement Logic Programs", booktitle="Proceedings of the Fifth {ACM} Symposium on Principles of Database Systems", year=1986, pages="1--15"} @inproceedings{Beeri87, author="Catriel Beeri and Raghu Ramakrishnan", title="On the Power of Magic", booktitle="Proceedings of the Sixth {ACM} Symposium on Principles of Database Systems", year=1987, pages="269--283"} @article{Vie89, author="Laurent Vieille", title="Recursive Query Processing: The power of Logic", journal="Theoretical Computer Science", volume= 69, year= 1989, pages="1--53"} @article{Kowar92, author="W. L. J. Kowarschick", title="Semantic Optimization: What are Disjunctive Residues Useful for?", journal="{SIGMOD} Record", volume= "21(3)", month= "Sept.", year = 1992, pages="26--32"} @INPROCEEDINGS{Gruber91, AUTHOR="Thomas Gruber", TITLE="Learning Why by Being Told What", BOOKTITLE="IEEE Expert", YEAR="1991", PAGES="Vol. 6, Number 4, pp. 65-75" } @INPROCEEDINGS{GN92, AUTHOR="Thomas Gruber and Pandu Nayak", TITLE="Computer-assisted Formulation of Engineering Models: Issues for Knowledge Acquisition", BOOKTITLE= "Submitted to the special issue on Modeling of International Journal of Intelligent Systems", YEAR="1992"} @article{Plaisted, AUTHOR="D. Plaisted", TITLE="Theorem Proving with Abstraction", journal=AIJ, YEAR="1981", volume="16", PAGES="47-108" } @INPROCEEDINGS{Lenat83, AUTHOR="Douglas B. Lenat", TITLE="Eurisko: A Program That Learns New Heuristics and Domain Concepts", BOOKTITLE=AIJ, YEAR="1983", PAGES="Vol. 21, pp. 61-98"} @article{FF, AUTHOR="Brian Falkenhainer and Ken Forbus", TITLE="Compositional Modeling: Finding the Right Model for the Job", journal=AIJ, volume= "51", pages="95-143", YEAR= 1991} @article{Forbus84, AUTHOR="Kenneth D. Forbus", TITLE="Qualitative Process Theory", journal=AIJ, volume=24, pages="85-168", year = 1984} @article{Fikes71, Author="Richard E. Fikes and Nils J. Nilsson", title= "STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving", journal = AIJ, volume = 2, pages= "189-208", year= 1971} @INPROCEEDINGS{QPT, AUTHOR="Ken Forbus", TITLE="Qualitative Process Theory", BOOKTITLE=AIJ, YEAR="Vol. 24, 1984"} @INCOLLECTION{QPE, AUTHOR="Ken Forbus", TITLE="The Qualitative Process Engine", BOOKTITLE="Readings in Qualitative Reasoning about Physical Systems", EDITOR="Dan Weld and Johan de~Kleer", PUBLISHER="Morgan Kaufmann", ADDRESS="Los Altos, CA", YEAR=1989 } @article{Fausto, AUTHOR="Fausto Giunchiglia and Toby Walsh", TITLE="A Theory of Abstraction", journal= AIJ, year = "1992", month = "October", volume = "56 (3)"} @INPROCEEDINGS{Smith, AUTHOR="David E. Smith and Michael R. Genesereth", TITLE="Ordering Conjunctive Queries", BOOKTITLE=AIJ, YEAR="1985", PAGES="26(2) pp. 171-215"} @article{Gardenfors78, AUTHOR="Peter {G\"{a}rdenfors}", TITLE="On the Logic of Relevance", journal="Sythese", YEAR="1978", volume="37", PAGES="351-367"} @book{Gardenfors-book, AUTHOR="Peter {G\"{a}rdenfors}", TITLE="Knowledge in Flux: Modeling the Dynamics of Epistemic States", YEAR="1988", publisher = "MIT Press, Cambridge, MA"} @INPROCEEDINGS{Genesereth92, AUTHOR="Michael R. Genesereth", TITLE="An Agent-Based Framework for Software Interoperability", BOOKTITLE="Proceedings of the Software Technology Conference, Los Angeles, CA", YEAR=1992} @misc{Fikes91, Author = "Richard Fikes and Mark Cutkosky and Thomas Gruber and Jeffrey {Van Baalen}", title="Knowledge Sharing Technology, Project Overview", howpublished = "Knowledge Systems Laboratory technical report No. KSL 91-71", year = 1991} @misc{lro95, Author = "Alon Y. Levy and Anand Rajaraman and Joann J. Ordille", title="Query Processing in the Information Manifold", howpublished = "AT\&T Bell Labs technical report. Submitted for publication", year = 1995} @misc{Fikes91-HTW, Author = "Richard Fikes and Thomas Gruber and Yumi Iwasaki and Alon Levy and Pandurang Nayak", title="How Things Work Project Overview", howpublished = "Knowledge Systems Laboratory, Stanford University, technical report No. KSL 91-70", year = 1991} @book{Keynes, AUTHOR="J. M. Keynes", TITLE="A Treatise on Probability", YEAR="1921", publisher = "Macmillan, London"} @book{Carnap, AUTHOR="R. Carnap", TITLE="Logical Foundations of Probability", YEAR=1950, publisher = "University of Chicago Press, Chicago"} @INCOLLECTION{Amarel, AUTHOR="Saul Amarel", TITLE="On Representations of Problems of Reasoning about Actions", BOOKTITLE="Readings in Artificial Intelligence", EDITOR="Bonnie L. Webber and Nils J. Nilsson", PUBLISHER="Morgan Kaufmann", ADDRESS="Los Altos, CA", YEAR=1981 } @INCOLLECTION{PH, AUTHOR="Patrick J. Hayes", TITLE="The Second Naive Physics Manifesto", BOOKTITLE="Readings in Knowledge Representation", EDITOR="Ronald Brachman and Hector Levesque", PUBLISHER="Morgan Kaufmann", ADDRESS="Los Altos, CA", YEAR=1985 } @article{davis84, author="Randall Davis", title="Diagnostic reasoning based on structure and behavior", journal= AIJ, volume=24, year=1984, pages="347-410"} @article{smolka92, author="Gert Smolka", title="Feature Constraint Logics for Unification Grammars", journal= "Journal of Logic Programming", volume=12, year=1992, pages="51-87"} @book{bobrow84, editor="Daniel Bobrow", title="Qualitative reasoning about physical systems", year=1984, Publisher= "North Holland"} @INCOLLECTION{Sag88, AUTHOR="Yehoshua Sagiv", TITLE="Optimizing Datalog Programs", BOOKTITLE="Foundations of Deductive Databases and Logic Programming", EDITOR="Jack Minker", PUBLISHER="Morgan Kaufmann", ADDRESS="Los Altos, CA", Pages = "659-698", YEAR=1988 } @INCOLLECTION{Minker, AUTHOR="U. S. Chakravarthy and John Grant and Jack Minker", TITLE="Foundations of Semantc Query Optimization for Deductive Databases", BOOKTITLE="Foundations of Deductive Databases and Logic Programming", EDITOR="Jack Minker", PUBLISHER="Morgan Kaufmann", ADDRESS="Los Altos, CA", Pages = "243--273", YEAR=1988 } @INCOLLECTION{Imielinski88, AUTHOR="Tomasz Imielinski", TITLE="Intelligent Query Answering in Rule Based Systems", BOOKTITLE="Foundations of Deductive Databases and Logic Programming", EDITOR="Jack Minker", PUBLISHER="Morgan Kaufmann", ADDRESS="Los Altos, CA", Pages = "275-312", YEAR=1988 } @INCOLLECTION{EXAI, AUTHOR="Ken Forbus", TITLE="Qualitative Physics", BOOKTITLE="Exploring Artificial Intelligence", EDITOR="Howard Schrobe", PUBLISHER="Morgan Kaufmann", ADDRESS="Los Altos, CA", YEAR=1986 } @INCOLLECTION{JMC1, AUTHOR="John McCarthy", TITLE="Programs With Common Sense", BOOKTITLE="Readings in Knowledge Representation", EDITOR="Ronald J. Brachman and Hector J. Levesque", PUBLISHER="Morgan Kaufmann", ADDRESS="Los Altos, CA", YEAR=1987 } @INCOLLECTION{BES, AUTHOR="Douglas B. Lenat and Randall Davis and Jon Doyle and Michael R. Genesereth", TITLE="Reasoning About Reasoning", BOOKTITLE="Building Expert Systems", EDITOR="Frederick Hayes-Roth and Donald A. Waterman and Douglas B. Lenat", PUBLISHER="Addison Wesley", ADDRESS="Reading Mass.", YEAR=1983 } @MISC{GL90, AUTHOR="R. V. Guha and Alon Y. Levy", TITLE="A Relevance Based Meta-level", YEAR=1990, HOWPUBLISHED="MCC Technical Report No. ACT-CYC-040-90"} @MISC{MRS-manual, AUTHOR="Stuart Russell", TITLE="The Complete Guide to {MRS}", YEAR=1985, HOWPUBLISHED="Technical Report KSL-85-12, Knowledge Systems Laboratory, Department of Computer Science, Stanford University, CA"} @inproceedings{LS-ijcai, AUTHOR="Alon Y. Levy and Yehoshua Sagiv", TITLE="Exploiting Irrelevance Reasoning to Guide Problem Solving", YEAR=1993, pages="138-144", booktitle = IJCAI93} @MISC{Levy92, AUTHOR="Alon Y. Levy", TITLE="Irrelevance in Problem Solving", HOWPUBLISHED="Proceedings of the Workshop on Change of Representation, Asilomar, California.", YEAR=1992} @inproceedings{LIM92, AUTHOR="Alon Levy and Yumi Iwasaki and Hiroshi Motoda", TITLE="Using Relevance Reasoning to Guide Compositional Modeling", booktitle = "The Proceedings of the Second Pacific Rim International Conference on Artificial Intelligence, Seoul, South Korea. Also appears in the Proceedings of the Workshop on Approximations and Abstractions of Computational Theories, AAAI-92, San Jose, CA", year = "1992" } @MISC{Abs92, AUTHOR="Alon Y. Levy", TITLE="Creating Abstractions Using Relevance Claims", HOWPUBLISHED="In preparation", YEAR=1992} @inproceedings{LMSS93, AUTHOR="Alon Y. Levy and Inderpal Singh Mumick and Yehoshua Sagiv and Oded Shmueli", TITLE="Equivalence, Query-Reachability and Satisfiability in Datalog Extensions", booktitle = "Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Washington D.C.", year = "1993"} @misc{LS-AI93, author ="Alon Y. Levy and Richard Fikes and Yehoshua Sagiv", title = "Speeding Up Inferences From Large Knowledge Bases", howpublished = "Submitted to KR-94", year = 1993} @inproceedings{lmss95, author="A. Y. Levy and A. O. Mendelzon and Y. Sagiv and D. Srivastava", title="Answering Queries Using Views", booktitle="Proceedings of {ACM} {PODS}", year=1995} @inproceedings{djls95, author="Shaul Dar and H. V. Jagadish and Alon Y. Levy and Divesh Srivastava", title="Answering {SQL} Queries with Aggregatin Using Materialized Views", booktitle="Working notes of the Post-ILPS95 Workshop on Constraints, Databases and Logic Programming", year=1995} @inproceedings{LS93, author ="Alon Y. Levy and Yehoshua Sagiv", title = "Queries Independent of Updates", booktitle = "Proceedings of {VLDB}--93", year = 1993} @inproceedings{abiteboul93, author ="Serge Abiteboul and Sophie Cluet and Tova Milo", title = "Querying and Updating the File", booktitle = "Proceedings of the 19th VLDB Conference, Dublin, Ireland", year = 1993} @inproceedings{Brodsky93, author ="Alexander Brodsky and Joxan Jaffar and Michael J. Maher", title = "Toward Practical Constraint Databases", booktitle = "Proceedings of the 19th VLDB Conference, Dublin, Ireland", pages="567--580", year = 1993} @inproceedings{LS95, author ="Alon Y. Levy and Yehoshua Sagiv", title = "Semantic Query Optimization in Datalog Programs", booktitle="Proceedings {PODS}-95", year = 1995} @article{Burckert94, author="{Hans-J\"{u}rgen} {B\"{u}rckert}", title="A Resolution Principle for Constrained Logics", journal= AIJ, volume=66, year=1994, pages="235--271"} @article{catarci93, author="T. Catarci and M. Lenzerini", title="Representing and using interschema knowledge in cooperative information systems", journal= "Journal of Intelligent and Cooperative Information Systems", year=1993} @article{wahlster93, author="W. Wahlster and E. Andre and W. Finkler and H.J. Profitlich and T. Rist", title="Plan-based integration of natural language and graphics generation", journal= AIJ, volume="63(1-2)", pages="387-428", year=1993} @article{buchheit-views94, author="M. Buchheit and M. Jeusfeld and W. Nutt and M. Staudt", title="Subsumption between queries to object-oriented databases", journal= "Information Systems", volume="19(1)", pages="33-54", year=1994} @inproceedings{LS94, author ="Alon Y. Levy and Yehoshua Sagiv", title = "Semantic Query Optimization in Datalog Programs", howpublished="Working notes of the Post {ILPS} Workshop on Constraints in Databases, Ithica, N.Y.", year = 1994} @misc{ls94a, author="Alon Y. Levy and Divesh Srivastava", title="Data Model and Query Evaluation in the Information Manifold System", howpublished="In preparation", year=1994} @inproceedings{manifold95, author="Thomas Kirk and Alon Y. Levy and Divesh Srivastava", title="The Information Manifold", booktitle="In Working Notes of the {AAAI} Spring Symposium on Information Gathering in Distributed Heterogeneous Environments", year=1995} @inproceedings{IL93, author ="Yumi Iwasaki and Alon Y. Levy", title = "Automated Model Selection for Simulation", booktitle = "Proceedings the Seventh International Workshop on Qualitative Reasoning about Physical Systems", year = 1993} @inproceedings{IL94, author ="Yumi Iwasaki and Alon Y. Levy", title = "Automated Model Selection for Simulation", booktitle = AAAI94, year = 1994} @inproceedings{Levy94, author ="Alon Y. Levy", title = "Creating Abstractions Using Relevance Reasoning", booktitle = AAAI94, year = 1994} @inproceedings{LS92, AUTHOR="Alon Y. Levy and Yehoshua Sagiv", TITLE="Constraints and Redundancy in {D}atalog", booktitle = "The Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, San Diego, CA.", year = "1992", pages="67--80" } @article{Cour, author="B. Courcelle", title="Recursive queries and context-free graph grammars", journal="Theoretical Computer Science", volume= 78, year=1991, pages="217--244"} @inproceedings{CV92, AUTHOR="Surajit Chaudhuri and Moshe Vardi", TITLE="On the Equivalence of Recursive and Nonrecursive Datalog Programs", booktitle = "Proceedings of {PODS}-92", year = "1992", pages="55--66" } @inproceedings{AK92, author="Yigal Arens and Craig A. Knoblock", title="Planning and Reformulating Queries for Semantically-modeled Multidatabase Systems", booktitle="Proceedings of the First International Conference on Information and Knowledge Management, Baltimore, MD", year=1992} @inproceedings{Seth93, author=" Darrel Woelk and Paul Attie and Phil Cannata and Greg Meredith and Amit Seth and Munindar Sing and Christine Tomlinson", title="Task Scheduling Using Intertask Dependencies in {Carnot}", booktitle="Proceedings of {SIGMOD--93}", pages="491-494", year= 1993} @inproceedings{classic-sigmod, author="Alex Borgida and Ronald Brachman and Deborah McGuinness and Lori Resnick", title="{CLASSIC}: A Structural Data Model for Objects", booktitle="Proceedings of the 1989 {ACM SIGMOD} International Conference on Management of Data", pages="59-67", year= 1989} @inproceedings{KLK91, author="Ravi Krishnamurthy and Witold Litwin and William Kent", title="Language features for interoperability of databases with schematic discrepancies.", booktitle="Proceedings of the 1991 {ACM SIGMOD} International Conference on Management of Data", pages="40--49", year= 1991} @book{Pearl, author = "Judea Pearl", title = "Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference", year = "1988", publisher = "Morgan Kaufmann Publishers, Inc., San Mateo, California"} @incollection{mcleod94, author="D. Fang and J. Hammer and D. McLeod", title="The Identification and Resolution of Semantic Heterogeneity in Multidatabase Systems", booktitle="Multidatabase Systems: An Advanced Solution for Global Information Sharing", editors="A. R. Hurson and M. W. Bright and S. H. Pakzad", year=1994} @book{hbp94, editor = "A. R. Hurson and M. W. Bright and S. H. Pakzad", title = "Multidatabase Systems: An Advanced Solution for Global Information Sharing", year = "1994", publisher = "IEEE Computer Society Press, Los Alamitos, California"} @incollection{GP90, author= "Hector Geffner and Judea Pearl", title="A framework for Reasoning with Defaults", booktitle=" Knowledge Representation and Defeasible Reasoning", editor =" H.E. Kyburg and R. Loui and G Carlson", publisher= "Academic Press, Dordrecht, Netherlands", year= 1990} @incollection{Pearl-system-z, author = " Judea Pearl", title=" System {Z}: A Natural Ordering of Defaults with Tractable Applications to Nonmonotic Reasoning", booktitle="Theoretical Aspects of Reasoning About Knowledge", editor= "Moshe Y. Vardi", publisher="Morgan Kaufmann Publishers", pages="121--135", year=1990} @book{Minton88, author = "Steve Minton", title = "Learning Search Control Knowledge: An Explanation Based Approach.", year = "1988", publisher = "Academic Publishers, Hingham, MA."} @inproceedings{SR92, AUTHOR="Divesh Srivastava and Raghu Ramakrishnan", TITLE="Pushing Constraint Selections", booktitle = "Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, San Diego, CA.", year = "1992" } @inproceedings{RBK88, AUTHOR="Raghu Ramakrishnan and Catriel Beeri and Ravi Krishnamurthy", TITLE="Optimizing Existential Datalog Queries", booktitle = "Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Austin TX.", year = "1988", pages="89--101" } @inproceedings{Greiner92-pods, AUTHOR="Russell Greiner", TITLE="Learning Efficient Query Processing Strategies", booktitle = "Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, San Diego, CA.", year = "1992" } @inproceedings{Morris88, AUTHOR="K. A. Morris", TITLE=" An algorithm for ordering subgoals in {NAIL!}", booktitle = "Proceedings {ACM PODS}", year = "1988" } @inproceedings{Greiner92-aaai, AUTHOR="Russell Greiner and Igor Juri\v{s}ica", TITLE="A Statistical Approach to Solving the {EBL} Utility Problem", booktitle = AAAI92, year = "1992" } @inproceedings{Minton88b, AUTHOR="Steve Minton", TITLE="Quantitative Results Concerning the Utility of Explanation Based Learning", booktitle = AAAI88, year = "1988" } @inproceedings{Ki88, AUTHOR="M. Kifer", TITLE="On safety, domain independence, and capturability of database queries.", booktitle = "Proceedings of the International Conference on Data and Knowledge Bases, Jerusalem", year = "1988" } @inproceedings{BKMR89, AUTHOR="I. Balbin and D.B. Kemp and K. Meenakshi and K. Ramamohanarao", TITLE="Propagating constraints in recursive deductive databases.", booktitle = "North American Conference of Logic Programming", pages = "16-20", year = "1989" } @inproceedings{MFPR90, AUTHOR="I. S. Mumick and S.J. Finkelstein and H. Pirahesh and R. Ramakrishnan", TITLE="Magic Conditions", booktitle = "Proceedings of the 9th ACM Symposium on Principles of Database Systems", pages = "314-330", year = "1990" } @INPROCEEDINGS{VH91, AUTHOR="Moshe Vardi and Joe Halpern", TITLE="Model Checking - A Manifesto", BOOKTITLE="Proceedings of the Second Conference on Knowledge Representation", YEAR=1991, PUBLISHER="Morgan Kaufmann", ADDRESS="Los Altos, CA" } @MISC{RLL, AUTHOR="Russell Greiner", TITLE="{RLL-1}: A Representation Language Language", HOWPUBLISHED="Stanford Heuristic Programming Project, HPP-80-9 (Working Paper)", YEAR=1980} @MISC{HPP, TITLE="HPP Staff, Applied Artificial Intelligence Research: The Heuristic Programming Project", YEAR=1990, HOWPUBLISHED="Knowledge Systems Laboratory"} @MISC{Christensen90, AUTHOR="Jens Christensen", TITLE="Pablo: A Hierarchical Planner that Learns its own Abstraction Hierarchies", YEAR=1990, Booktitle=AAAI90} @INPROCEEDINGS{HL85, AUTHOR="Hector J. Levesque ", TITLE="Making Believers out of Computers", BOOKTITLE="Artificial Intelligence 30", YEAR="October, 1986", PAGES="81-108" } @INPROCEEDINGS{IL91, AUTHOR="Yumi Iwasaki and Chee Meng Low", TITLE= "Device Modeling Environment: An integrated model-formulation and simulation environment for continuous and discrete phenomena", BOOKTITLE ="Proceedings of Conference on Intelligent Systems Engineering", YEAR=1992} @INPROCEEDINGS{Addanki, AUTHOR="Sanjaya Addanki and R. Cremonini and J. Penberthy", TITLE="Reasoning about assumptions in graphs of models", BOOKTITLE=IJCAI89, year= 1989} @INPROCEEDINGS{Levesque89, AUTHOR="Hector Levesque", TITLE="A Knowledge-level Account of Abduction", BOOKTITLE=IJCAI89, year= 1989} @inproceedings{AH88, author = "Serge Abiteboul and Richard Hull", title = "Data Functions, Datalog and Negation", booktitle="Proceedings of ACM SIGMOD 1988 International Conference on Management of Data", year= 1988} @article{universal-plans, author="Matthew Ginsberg", title=" Universal Planning: An (almost) universally bad idea", journal="AI Magazine", volume="10(4)", pages= "40-44", year=1989} @inproceedings{Ordille93, author = "Joann J. Ordille and Barton P. Miller", title = "Database Challenges in Global Information Systems", booktitle="Proceedings of ACM SIGMOD 1993 International Conference on Management of Data", pages="403-407", year= 1993} @phdthesis{Ordille-thesis, AUTHOR="Joann J. Ordille", TITLE="Descriptive Name Services for Large Internets", school="University of Wisconsin", YEAR=1993, ADDRESS="Madison, WI"} @inproceedings{KKS92, author = "Michael Kifer and Won Kim and Yehoshua Sagiv", title = "Querying Object Oriented Databases", booktitle="Proceedings of ACM SIGMOD 1992 International Conference on Management of Data", pages="393-402", year= 1992} @INPROCEEDINGS{EB89, AUTHOR="David Etherington and Alex Borgida and Ronald J. Brachman and Henry Kautz", TITLE="Vivid Knowledge and Tractable Reasoning: Preliminary Report", BOOKTITLE=IJCAI89, PAGES="1146-1152", YEAR=1989, PUBLISHER="Morgan Kaufmann", ADDRESS="Los Altos, CA" } @INPROCEEDINGS{Imi87, AUTHOR="Tomasz Imielinski", TITLE="Domain Abstraction and Limited Reasoning", BOOKTITLE=IJCAI87, PAGES="997-1003", YEAR=1987, PUBLISHER="Morgan Kaufmann", ADDRESS="Los Altos, CA" } @INPROCEEDINGS{Te87, AUTHOR="Josh D. Tenenberg", TITLE="Preserving Consistency across Abstraction Mappings", BOOKTITLE=IJCAI87, PAGES="1011-1014", YEAR=1987, PUBLISHER="Morgan Kaufmann", ADDRESS="Los Altos, CA" } @INPROCEEDINGS{KTY91, AUTHOR="Craig Knoblock and Josh D. Tenenberg and Qiang Yang", TITLE="Characterizing Abstraction Hierarchies for Planning", BOOKTITLE=AAAI91, PAGES="692-697", YEAR=1991, PUBLISHER="MIT Press", ADDRESS="Cambridge MA"} @INPROCEEDINGS{Kautz91, AUTHOR="Bart Selman and Henry Kautz", TITLE="Knowledge Compilation Using Horn Approximations", BOOKTITLE=AAAI91, PAGES="904-909", YEAR=1991, PUBLISHER="MIT Press", ADDRESS="Cambridge MA"} @INPROCEEDINGS{EB89A, AUTHOR="Alex Borgida and David W. Etherington", TITLE="Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning", BOOKTITLE="Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning", PAGES="33-42", YEAR=1989, PUBLISHER="Morgan Kaufmann", ADDRESS="Los Altos, CA" } @INPROCEEDINGS{Gen88, AUTHOR="Michael R. Genesereth", TITLE="Introspective Fidelity", BOOKTITLE="Meta-Level Architectures and Reflection", PAGES="75-86", YEAR=1988, PUBLISHER="Elsevier Science Publishers B.V. (North Holland)"} @INPROCEEDINGS{Pat73, AUTHOR="Patrick J. Hayes", TITLE="Computation and Deduction", BOOKTITLE="Proceedings of the 1973 Mathematical Foundations of Computer Science Symposium, Czechoslovakian Academy of Sciences", YEAR=1973} @INCOLLECTION{Te89, AUTHOR="Josh D. Tenenberg", TITLE="Abstracting First Order Theories", BOOKTITLE="Change of Representation and Inductive Bias", PUBLISHER="Kluwer", EDITOR="Paul Benjamin", ADDRESS="Boston, Mass", YEAR="1990" } @INPROCEEDINGS{Ho85, AUTHOR="Jerry R. Hobbs", TITLE="Granularity", BOOKTITLE=IJCAI85, PAGES="432-435", YEAR=1985, PUBLISHER="Morgan Kaufmann", ADDRESS="Los Altos, CA" } @INPROCEEDINGS{FH, AUTHOR="Fagin R. and Halpern J.", TITLE="Belief Awareness and Limited Reasoning", BOOKTITLE=IJCAI85, YEAR=1985, PAGES="491-501", PUBLISHER="Morgan Kaufmann", ADDRESS="Los Altos, CA" } @INPROCEEDINGS{DS, AUTHOR="D. Subramanian and M.R. Genesereth", TITLE="The relevance of irrelevance", BOOKTITLE=IJCAI87, YEAR=1987, PUBLISHER="Morgan Kaufmann", ADDRESS="Los Altos, CA" } @INPROCEEDINGS{Gen83, AUTHOR="Michael R. Genesereth", TITLE="An Overview of Metalevel Architectures", BOOKTITLE=AAAI83, YEAR=1983, PAGES="119-123", PUBLISHER="Morgan Kaufmann", ADDRESS="Los Altos, CA" } @INPROCEEDINGS{Ginsberg91, AUTHOR="Matthew L. Ginsberg and Donald F. Geddis", TITLE="Is there any need for domain-dependent meta-level control information", BOOKTITLE=AAAI91, YEAR=1991, PUBLISHER="Morgan Kaufmann", ADDRESS="Los Altos, CA" } @INPROCEEDINGS{Cl83, AUTHOR="William J. Clancey", TITLE="The Advantages of Abstract Control Knowledge in Expert System Design", BOOKTITLE=AAAI83, YEAR=1983, PAGES="74-78", PUBLISHER="Morgan Kaufmann", ADDRESS="Los Altos, CA" } @INPROCEEDINGS{Weld, AUTHOR="Daniel Weld", TITLE="Approximation Reformulation", BOOKTITLE=AAAI90, YEAR=1990, PUBLISHER="Morgan Kaufmann", ADDRESS="Los Altos, CA" } @MISC{Laird86, AUTHOR="Laird J. E., Rosenbloom P. and Newell A.", TITLE="Universal Subgoaling and Chunking: The Automatic Generation and Learning of Goal Hierarchies", PUBLISHER="Kluwer Academic Publishers", ADDRESS="Hingham, MA", YEAR=1986 } @BOOK{LG90, AUTHOR=" Douglas B. Lenat and R.V. Guha", TITLE="Building Large Knowledge Bases", PUBLISHER="Addison Wesley", ADDRESS="Reading Mass.", YEAR=1990 } @inproceedings{Vardi89, author= "Moshe Y. Vardi", title= "Automata Theory for Database Theoreticians", year = 1989, booktitle="Proceedings of the Eighth Symposium on Principles of Database Systems (PODS)", pages="83--92", month= "March"} @inproceedings{gsuw94, author= "Ashish Gupta and Yehoshua Sagiv and Jeffrey D. Ullman and Jennifer Widom", title= "Constraint Checking with Parial Information", year = 1994, booktitle="Proceedings of the Thirteenth Symposium on Principles of Database Systems (PODS)", pages="45-55"} @BOOK{AB75, AUTHOR="Alan R. Anderson and Nuel D. Belnap", TITLE="Entailment", PUBLISHER="Princeton University Press", ADDRESS="Princeton, New Jersey", YEAR=1975 } @BOOK{Manna, AUTHOR=" Zohar Manna and Richard Waldinger", TITLE="The Logical Basis for Computer Programming. Volume 2: Deductive Systems", PUBLISHER="Addison Wesley", ADDRESS="Reading Mass.", YEAR=1990 } @BOOK{LFAI, AUTHOR="Michael R. Genesereth and Nils J. Nilsson", TITLE="Logical Foundations of Artificial Intelligence", PUBLISHER="Morgan Kaufmann", ADDRESS="Los Altos, CA", YEAR=1987 } @BOOK{Gruber, AUTHOR="Thomas R. Gruber", TITLE="The Acquisition of Strategic Knowledge", PUBLISHER="Academic Press", ADDRESS="San Diego, CA", YEAR=1989 } @BOOK{Ullman, AUTHOR=" Jeffrey D. Ullman", TITLE="Principles of Database and Knowledge-base Systems, Volumes I, II", PUBLISHER="Computer Science Press", ADDRESS="Rockville MD", YEAR=1989 } @BOOK{ahv95, AUTHOR=" Serge Abiteboul and Richard Hull and Victor Vianu", TITLE="Foundations of Databases", PUBLISHER="Addison Weseley", YEAR=1995 } @ARTICLE{MD82, AUTHOR="Drew McDermott", TITLE="A Temporal Logic for Reasoning about Processes and Plans", JOURNAL="Cognitive Science", YEAR=1982, VOLUME= "6(2)", PAGES= "101-155" } @article{prodigy-ebl, author="Steven Minton and Jaime Carbonell and Craig Knoblock and D. Kuokka and Oren Etzioni and Yolanda Gil", title= "Explanation Based Learning: A Problem Solving Perspective", journal = AIJ, volume = 40, pages = "63--118", year = 1989} @misc{lr95:capabilities, author="Alon Y. Levy and Anand Rajaraman and Jeffrey D. Ullman", title="Answering Queries Using Limited External Processors", howpublished="AT\&T Technical Memorandum", year=1995} @misc{ru95, author="Anand Rajaraman and Jeffrey D. Ullman", title=" Integrating Information by Outerjoins and Full Disjunctions", howpublished="Submitted for publication, 1995. Available by anonymous ftp from db.stanford.edu as the file pub/rajaraman/1995/outerjoin.ps", year=1995} @article{ACHK93, author="Yigal Arens and Chin Y. Chee and Chun-Nan Hsu and Craig A. Knoblock", title="Retrieving And Integrating Data from Multiple Information Sources", journal="International Journal on Intelligent and Cooperative Information Systems", year= 1994} @article{lsk95, author="A.~Y. Levy and D. Srivastava and T. Kirk", title="Data model and query evaluation in global information systems", journal="Journal of Intelligent Information Systems", volume= "5 (2)", month= "September", year= 1995} @article{Nebel88, author="B. Nebel", title= "Computational Complexity of Terminological Reasoning in {BACK}", journal = AIJ, volume = "34(3)", pages = "371-383", year = 1988} @article{BS85, author="Ronald J. Brachman and J. G. Schmolze", title= "An Overview of the {KL-ONE} Knowledge Representation System", journal = "Cognitive Science", volume = "9(2)", pages = "171--216", year = 1985} @InCollection{brachman-et-al:living-with-classic, title= "Living with {\sc classic}: When and How to Use a {\sc kl-one}-Like Language", author= "R. J. Brachman and A. Borgida and D. L. McGuinness and P. F. Patel-Schneider and L. A. Resnick", booktitle= "Principles of Semantic Networks", year= 1991, pages= "401--456", publisher= "Morgan Kaufmann", editor= "John Sowa", address= "San Mateo, CA", area= "Knowledge Representation", topics= "frame-based knowledge representation systems", description= "This will be a lengthy description of CLASSIC, concentrating on its novel features."} @article{Shoham93, author="Yoav Shoham", title= "Agent-Oriented Programming", journal = AIJ, volume = 60, pages = "51-92", year = 1993} @inproceedings{Shoham91, author="Yoav Shoham", title="{AGENT0:} A simple Agent Language and its Interpreter", booktitle=AAAI91, pages="704--709", year=1991} @inproceedings{Singh91, author="Munindar P. Singh", title="Towards A Formal Theory of Communication for Multiagent Systems", booktitle=AAAI91, pages="69--74", year=1991} @article{deKleer84, author="J. {de Kleer} and J. S. Brown", title= "A Qualitative Physics Based on Confluences", journal = AIJ, volume = 24, pages = "7--83", year = 1984} @article{deKleer86b, author="J. {de Kleer} and J. S. Brown", title= "Theories of Causal Ordering", journal = AIJ, volume = 29, pages = "33--61", year = 1986} @article{deKleer86, author="J. {de Kleer}", title= "An Assumption-based {TMS}", journal = AIJ, volume = 28, pages = "127--162", year = 1986} @article{Avron92, author= "Arnon Avron", title = "Whither Relevance Logic?", journal = "Journal of Philosophical Logic", volume = 21, pages= "243-281", year = 1992, publisher = "Kluwer Academic Publishers, Netherlands"} @phdthesis{DST, AUTHOR="Devika Subramanian", TITLE="A Theory of Justified Reformulations", school=" Stanford University", YEAR=1989, ADDRESS="Stanford, CA" } @phdthesis{ThomasT, AUTHOR="Becky Thomas", TITLE="{PLACA}, An Agent Oriented Programming Language", school=" Stanford University", YEAR=1993, ADDRESS="Stanford, CA" } @phdthesis{King, AUTHOR="J. J. King", TITLE="Query Optimization by Semantic Reasoning", school=" Stanford University", YEAR=1981, ADDRESS="Stanford, CA" } @phdthesis{Guha-thesis, AUTHOR="Ramanathan V. Guha", TITLE="Contexts: A Formalization and Some Applications", school=" Stanford University", YEAR=1991, ADDRESS="Stanford, CA" } @phdthesis{Nayak-thesis, AUTHOR="Pandurang Nayak", TITLE="Automated Model Selection", school = "Stanford University", YEAR=1992, ADDRESS="Stanford, CA" } @phdthesis{SmithT, AUTHOR="David Smith", TITLE="Controlling Inference", YEAR=1986, school = "Stanford University", ADDRESS="Stanford, CA" } @MISC{Jeff, AUTHOR="Jeffrey S. Rosenschein and Vineet Singh", TITLE="The Utility of the Meta-level Effort", YEAR=1983, HOWPUBLISHED="Heuristic Programming Project, Report No. HPP-83-20", ADDRESS="Stanford, CA" } @inproceedings{Finin91, author="Donald P. McKay and Timothy W. Finin and Anthony O'Hare", title="The Intelligent Database Interface: Integrating AI and Database Systems", year=1990, booktitle=AAAI90} @article{Carnot, author="C. Collet and M. N. Huhns and W. Shen", title="Resource Integration using a Large Knowledge Base in Carnot", journal="IEEE Computer", year=1991} @INPROCEEDINGS{BSM91, AUTHOR= "Maurice Bruynooghe and Danny De-Schreye and Bern Martens", TITLE= "A General Criterion for Avoiding Infinite Unfolding during Partial Deduction of Logic Programs", YEAR= 1991, BOOKTITLE="Proceedings of the International Symposium on Logic Programming", PAGES= "117--131"} @article{BSK89, AUTHOR= "Maurice Bruynooghe and Danny De-Schreye and B. Krekels", TITLE= "Compiling Control", YEAR= 1989, journal="Journal of Logic Programming", PAGES= "(6) 135--162"} @inproceedings{Hickey90, author = "Donald A. Smith and Timothy J. Hickey", title=" Partial Evaluation of a {CLP} Language", booktitle="Proceedings of the International Symposium on Logic Programming", PAGES= "119-138", year=1990} @article{Etzioni-AIJ, author = "Oren Etzioni", title = "Acquiring Search-Control Knowledge via Static Analysis", journal= AIJ, volume= "62", year = 1993} @article{etzioniweld94, author="Oren Etzioni and Dan Weld", title="A Softbot-based Interface to the Internet", journal="CACM", volume="37(7)", year=1994} @article{harvest94, author="C. Mic Bowman and Peter B. Danzig and Udi Manber and Michael F. Schwartz", title="Scalable Internet Resource Discovery: Research problems and approaches", journal="CACM", volume="37(8)", pages="98-107", month="August", year=1994} @inproceedings{Etzioni-ML92, author = "Oren Etzioni and Steven Minton", title = "Why {EBL} Produces Overly-Specific Knowledge: A Critique of the {PRODIGY} Approaches", booktitle= "Proceedings of the Machine Learning Conference", year = 1992} @article{Sickel, AUTHOR="Susan Sickel", TITLE="A Search Technique for Clause Interconnectivity Graphs", journal= "IEEE Transactions on Computers", YEAR="1976", volume="C-25(8)", PAGES="823-835"} @article{Kowalski75, author = "Robert Kowalski", title=" A Proof Procedure Using Connection Graphs", journal="Journal of the ACM", pages=" 22(4): 572-595", year= 1975} @article{Chandra81, author = "Ashok Chandra and Dexter Kozen and Larry Stockmeyer", title="Alternation", journal="Journal of the ACM", pages=" 28(1): 114--133", year= 1981} @inproceedings{Chang79, author = "C. L. Chang", title="Resolution Plans in Theorem Proving", booktitle=IJCAI79, pages = "143-148", year = "1979"} @inproceedings{VanGelder, author=" Allen Van-Gelder", title=" A Message Passing Framework for Logical Query Evaluation", booktitle="ACM SIGMOD International Conference on Management of Data", pages="155-165", year= 1986} @article{Lloyd91, author="J.W. Lloyd and J.C. Shepherdson", title= " Partial Evaluation In Logic Programming", journal=" Journal of Logic Programming", volume="(11)", pages="217-242", year= 1991} @inproceedings{Nayak-causal-approximations, author="Pandurang Nayak", title= "Causal Approximations", booktitle=AAAI92, year= 1992} @inproceedings{Nayak92, author="Pandurang Nayak and Leo Joskowicz and Sanjaya Addanki", title= "Automated Model Selection Using Context Dependent Behaviors", booktitle=AAAI92, year= 1992} @phdthesis{Levy93, AUTHOR="Alon Y. Levy", TITLE="Irrelevance Reasoning in Knowledge Based Systems", YEAR=1993, school = "Stanford University", ADDRESS="Stanford, CA" } @phdthesis{Meyden-thesis, AUTHOR="Ron {van der Meyden}", TITLE="The Complexity of Querying Indefinite Information: Defined Relations Recursion and Linear Order", YEAR=1992, school = "Rutgers University", ADDRESS="New Brunswick, New Jersey" } @BOOK{joy-of-cooking, AUTHOR="Irma S. Rombauer and Marion Rombauer-Becker", TITLE="Joy of Cooking", YEAR=1975, Publisher="Bobbs Merrill Company Inc.", ADDRESS="N.Y.C., N.Y"} @article{Bl89, author= "J. A. Blakeley and N. Coburn and P. A. Larson", title= "Updating derived relations: detecting irrelevant and autonomously computable updates.", journal=" Transactions of Database Systems", year = 1989, volume = 14, number = 3, pages = "369--400"} @inproceedings{Elkan90, author= "Charles Elkan", title=" Independence of Logic Database Queries and Updates.", year = 1990, booktitle=" Proceedings of the 9th ACM Symp.\ on Principles of Database Systems", pages = "154--160"} @inproceedings{KKR90, author= "P.C. Kanellakis and G.M. Kuper and P.Z. Revesz", title=" Constraint query languages", year = 1990, booktitle=" Proceedings of the 9th ACM Symp.\ on Principles of Database Systems", pages = "299--313"} @inproceedings{kanellakis95, author= "P.C. Kanellakis", title="Tutorial: Constraint programming and query languages", year = 1995, booktitle=" Proceedings of the 14th ACM Symp.\ on Principles of Database Systems"} @article{Kl88, author = "A. Klug", title=" On conjunctive queries containing inequalities", journal="Journal of the ACM", pages=" 35(1): 146--160", year= 1988} @article{GMSV, author="H. Gaifman and H. Mairson and Y. Sagiv and M. Vardi", title="Undecidable Optimization Problems for Database Logic Programs", journal= "Journal of the {ACM}", volume= "40(3)", pages="683--713", year = 1993} @inproceedings{Meyden-pods92, AUTHOR="Ron van~der~Meyden", TITLE="The Complexity of Querying Indefinite Data about Linearly Ordered Domains", booktitle = "The Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, San Diego, CA.", year = "1992", pages="331--345" } @article{Davis87, author = "Davis, Ernest", title = " Constraint Propagation with Interval Labels", journal = "Artificial Intelligence", year = "1987", pages = "281-331", volume = "32", number = "3", month = "July", key = "constraints,inequalities,intervals", note = " An excellent overview of constraint propagation where quantities are labelled with intervals. Describes the inference schemes in different AI systems. Discusses the completeness and running time for various kinds of labels and constraints using the Waltz algorithm." } @inproceedings{Meiri91, author = "Meiri, Itay", title = "Combining Qualitative and Quantitative Constraints in Temporal Reasoning", booktitle = "Proceedings of the Ninth National Conference on Artificial Intelligence", year = "1991", pages = "260-267", organization = "American Association for Artificial Intelligence", publisher = "AAAI Press, The MIT Press", month = "July", key = "constraints", note = " presents a general model capable of handling quantitative and qualitative info considered in the literature so far (ie metric constraints and allen constraints). reasoning tasks are formulated as CSPs. The representation language has qualitative constraints with basic II, PP and IP relations.. QA (qualitative algebra) has 2^13 II, 2^3 PP, 2^5 PI and 2^5 IP possible relations. Intersection and composition is defined on QA. Quantitative constraints refer to absolute location or distance between points. these can be unary or binary. a point, or distance between points can belong to a union of a set of convex intervals. Intersection and composition operations are defined. Some qual constr entail some quant ones and some quant ones entail some qual constr. the paper then presents temporal constraint networks to process the contraints. A hierarchy of networks is defined and complexity results for them stated. we have net(CPA) < net(PA) < net(IPA) < net(IA) = QN. ie Interval Algebra represents all qualitative networks, and others are proper subsets. Consistency of PA network is O(n^2), of IPA is NP-hard. consistency of PA over discrete domains is NP-hard." } @techreport{Cousot92, title="Abstract Interpretation and Application to Logic Programs", author="Patrick Cousot and Radhia Cousot", year=1992, number="LIX/RR/92/08", institution="Ecole Polytechnique, Laboratoire d'Informatique, Paris, France"} @techreport{qian95, title="Query Folding", author="Xiaolei Qian", year=1995, number="SRI-CSL-95-09", institution="Stanford Research Institute, Menlo Park, California"} @inproceedings{Cousot77, title="Abstract Interpretation: a unified lattice model for static analysis of programs by construction of approximation of fixpoints", author="Patrick Cousot and Radhia Cousot", booktitle="Proceedings of 4th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages", pages="238-252", year=1977} @techreport{Meiri-tech, author = "Meiri, Itay ", title = "Combining Qualitative and Quantitative Constraints in Temporal Reasoning ", institution = "Cognitive Systems Laboratory, Computer Science Dept, UCLA", month = "December", year = "1991", number = "R-160", address = "Cognitive Systems Laboratory, Computer Science Dept, University of California, Los Angeles, CA 90024", note = "look under meiri91. This is a detailed version of that paper. Discussed are tractable classes of augmented CPA networks and efficient algorithms for determining their consistency and computing minimal domains. Cyclic networks are reduced to acyclic ones in O(k*n^2) time by collapsing the strongly connected components. In fact, a more efficient test - directional arc-consistency, can be used for augmented-CPA networks. Minimal domains can be computed using 2DAC which involves finding a topological order in the acyclic precedence graph and starting the assignment from the source and sink respectively for the upper and lower bounds."} @inproceedings{Sacks87, author = "Sacks, Elisha", title = "Hierarchical Reasoning about Inequalities", booktitle = "Proceedings of the Sixth National Conference on Artificial Intelligence", year = "1987", pages = "649-654", organization = "American Association for Artificial Intelligence", publisher = "Morgan Kaufmann Publishers, Inc.", month = "July", key = "constraints", note = " also appears as chapter 3.7 in Readings in Qualitative Reasoning about Physical Systems, edited by Weld and de Kleer. The system BOUNDER, has a series of 4, progressively complex algorithms which compute the upper and lower bounds of a function e over a constraint set C. the first algo is linear and the rest are exponential. the bounds computed are not tightest possible, except for linear functions. min/max functions can also be used. not clear how the substitution algo works." } @article{Karmarkar84, author = "Karmarkar, N.", title = "A New Polynomial-Time Algorithm for Linear Programming", journal = "Combinatorica", number = "4", year = "1984", pages = "373-395", note = "" } @article{Burckert90, author = "Burckert, Hans-Jurgen", title = "A Resolution Principle for Clauses with Constraints", journal = "Lecture Notes in Artificial Intelligence", year = "1990", pages = "178-192", volume = "449", number = "", month = "", publisher = "Springer-Verlag", key = "constraints, clauses, resolution", note = "" } @inproceedings{lakermeyer95, author="Gerhard Lakermeyer", title="A Logical Account of Relevance", booktitle=IJCAI95, year=1995, pages="853-859"} @inproceedings{knoblock95, author="Craig A. Knoblock", title="Planning Executing, Sensing and Replanning for Information Gathering", booktitle="Proceedings of {IJCAI-95}", year=1995} @misc{Brachman94, author="Ronald J. Brachman and Tej Anand", title="The Process of Knowledge Discovery", howpublished="Sumbitted to KDD-94", year=1994} @inproceedings{Kellog92, AUTHOR="Charles Kellog and Brian Livezey", TITLE="Intelligent Data Exploration and Analysis", booktitle = "The Proceedings of the first International Conference on Information and Knowledge Management (CIKM-92)", year = "1992", pages="257--264" } @Inproceedings{ambros-ingerson88, author = "Jose Ambros-Ingerson and Sam Steel", title = "Integrating planning, execution, and monitoring", booktitle = AAAI88, pages = "83-88", year = 1988} @Inproceedings{Chaudhuri-views, author = "S. Chaudhuri and R. Krishnamurthy and S. Potamianos and K. Shim", title = "Optimizing Queries with Materialized Views", booktitle = "Proceedings of {ICDE-95}", year = 1995} @Inproceedings{Larson85, author = "P. A. Larson and H.Z. Yang", title = "Computing Queries from Derived Relations", booktitle = "Proceedings of the 11th International VLDB Conference", pages="259--269", year = 1985} @Inproceedings{Larson87, author = "H. Z. Yang and P. A. Larson", title = "Query Transformation for {PSJ}-queries", booktitle = "Proceedings of the 13th International VLDB Conference", pages="245--254", year = 1987} @Inproceedings{Tsatalos94, author = "Odysseas G. Tsatalos and Marvin H. Solomon and Yannis E. Ioannidis", title = "The {GMAP}: A Versatile Tool for Physical Data Independence", booktitle = "Proceedings of the 20th International VLDB Conference, Santiago, Chile", pages="367--378", year = 1994} @Inproceedings{Keller94, author = "Arthur M. Keller and Julie Basu", title = "A Predicate-based Caching Scheme for Client-server Database Architectures", booktitle = "Proceedings of PDIS-94", year = 1994} @inproceedings{GMR94, author = "Ashish Gupta and Inderpal Singh Mumick and Kenneth A. Ross", title = "Redefining Materialized Views", booktitle = "AT\&T Technical Memorandum", year = 1994, } @inproceedings{GMR95, author = "Ashish Gupta and Inderpal Singh Mumick and Kenneth A. Ross", title = "Adapting Materialized Views after Redefinitions", booktitle = "Proceedings of {SIGMOD-95}", year = 1995, } @misc{rsu94, author = "Anand Rajaraman and Yehoshua Sagiv and Jeffrey D. Ullman", title = "Query Optimization for Limited Operation Sets", booktitle = "Submitted for publication", year = 1994, } @inproceedings{rsu95, author = "Anand Rajaraman and Yehoshua Sagiv and Jeffrey D. Ullman", title = "Answering Queries Using Templates with Binding Patterns", booktitle="Proceedings of {ACM} {PODS} 1995", year=1995} @article{Forgy82, author = "Charles L. Forgy", title = "{RETE}: A Fast Algorithm for the Many Pattern/Many Object Match Problem", journal = AIJ, year = "1982", pages = "17-37", volume = "19", month = "September", } @article{pegasus91, title = "The Pegasus Heterogeneous Multidatabase System", author = "R. Ahmed and P. {De Smedt} and W. Du and W. Kent and M. A. Ketabchi and W. A. Litwin and A. Rafii and M. Shan", journal = "IEEE Computer", year = "1991", pages = "19-26", month = "December" } @Inproceedings{Miranker87, author = "Daniel P. Miranker", title = "{TREAT}: A Better Match Algorithm for {AI} Production Systems", booktitle = AAAI87, year= 1987} @inproceedings{dfki-abecker, author="Andreas Abecker and Holger Wache", title="A Layer Architecture for the Integration of Rules, Inheritance, and Constraints", booktitle = "ICLP 94 post conference workshop on the Integration of Declarative Paradigms", year=1994 } @InProceedings{krypton, author = "Ronald J. Brachman and Victoria P. Gilbert and Hector J. Levesque", title = "An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of {KRYPTON}", booktitle = "Proceedings of IJCAI-85", year = "1985"} @inproceedings{back, author="C. Petalson", title="The {BACK} system : an overview", booktitle="Proceedings of the SIGART bulletin", year="1991", Volume = "2(3)", pages="114-119"} @misc{dfki-hanschke, author="Philipp Hanschke and Knut Hinkelman", title="Combining Terminological and Rule-based Reasoning for Abstraction Processes", howpublished="DFKI Report", year=1992} @InProceedings{Forster94, author = "Forster, Peter and Novotny, Bernd", title = "Integration of Rule Inferences into a Terminological Component", booktitle = "Proceedings of the Eighth International Symposium on Methodologies for Intelligent Systems", year = 1994, pages = "31-42", publisher = "Oak Ridge National Laboratoy", address = "Charlotte, North Carolina, USA", month = "October" } @inproceedings{kris, author="F. Baader and B. Hollunder", title="A Terminological Knowledge Representation System with Complete Inference Algorithm", booktitle="In Proceedings of the Workshop on Processing Declarative Knowledge, PDK-91, Lecture Notes in Artificial Intelligence", pages="67-86", publisher="Springer-Verlag", year=1991} @article{lsk95:gis, Author = "Alon Y. Levy and Divesh Srivastava and Thomas Kirk", Title = "Data Model and Query Evaluation in Global Information Systems", Journal = "Journal of Intelligent Information Systems", Year = "1995", Note = "Special Issue on Networked Information Discovery and Retrieval." } @inproceedings{EVA, AUTHOR="Eva P. Erce", TITLE="{EVA:} modelisation et representation de connaissances heterogenes guidees par les besoins en Explication Validation et Acquisition", YEAR=1995, month="February", pages="263-280", booktitle = "Proceedings of the fifth National Symposium of the PRC-GDR Intelligence Artificielle, Nancy, France"} @inproceedings{sagivbrodsky90, author="Alex Brodsky and Yehoshua Sagiv", title="On Termination of Datalog Programs", booktitle="Deductive and Object-Oriented Databases", editor="W. Kim, J. M. Nicolas and S. Nishio", publisher="Elsevier Science Publishers B.V.~(North-Holland)", year=1990, pages="47--64"} @inproceedings{sagiv91, author="Yehoshua Sagiv", title="A Termination Test for Logic Programs", booktitle="Proceedings of the 1991 International Symposium on Logic Programming", editor="V. Saraswat and K.~Ueda", publisher="The MIT Press", year= 1991, pages="518--532"} @inproceedings{sagiv91b, author="Yehoshua Sagiv", title="On Testing Effective Computability of Magic Programs", booktitle="Proceedings of the Second International Conference on Deductive and Object-Oriented Databases, Munich, Germany.", editor="C. Delobel and M.~Kifer and Y.~Masunaga", year=1991, pages="244--262"} @techreport{hermes95, author="V.S. Subrahmanian and S. Adali and A. Brink and R. Emery and J. Lu and A. Rajput and T. Rogers and R. Ross and C. Ward", title="{HERMES}: A heterogeneous reasoning and mediator system", institution="University of Maryland", year=1995} @inproceedings{ginsberg88, author = "Allen Ginsberg", title = "Knowledge base reduction: A new approach to checking knowledge bases for inconsistency and redundancy", booktitle="Proceedings of {AAAI}-88", year = 1988} @proceedings{eurovav95-proceedings, editor = "Marc Ayel and Marie-Christine Rousset", title="Proceedings of the European Symposium on Verification and Validation of Knowledge Based Systems, EUROVAV--95", year = "1995"} @inproceedings{kbr3, author = "Keith Williamson and Mark Dahl", title = "Knowledge Base Reduction for Verifying Rule Bases Containing Equations", booktitle = "Proceedings of the {AAAI}-93 workshop on Validation and Verification of KBS", year=1993} @article{ginsberg93, author = "Allen Ginsberg and Keith Williamson", title = "Inconsistency and Redundancy Checking for Quasi-First-Order-Logic Knowledge Bases", journal = "International Journal of Expert Systems: Research and Applications", year = 1993, volume = 6 } @article{loiseau-rousset93, author = "Stephane Loiseau and Marie-Christine Rousset", title = "Formal Verification of Knowledge Bases Focused on Consistency: Two Experiments Based on {ATMS} Techniques", journal = "International Journal of Expert Systems: Research and Applications", year = 1993, volume = 6 } @article{vardi84, author="Moshe Vardi", title="The Implication and Finite Implication Problems for Typed Template Dependencies", journal= "Journal of Computer and System Sciences", year=1984, volume= "28(1)", pages="3-28"} @article{yannakakis80, author="M. Yannakakis and C. H. Papadimitriou", title="Algebric Dependencies", journal= "Journal of Computer and System Sciences", year=1980, volume= "25(1)", pages="2-41"} @article{beeri84, author="Catriel Beeri and Moshe Vardi", title="A Proof Procedure for Data Dependencies", journal= "Journal of the {ACM}", year=1984, volume= "31(4)", pages="718-741"} @article{fagin82, author="R. Fagin", title="Horn Clauses and Database Dependencies", journal= "Journal of the {ACM}", year=1982, volume= "29(4)", pages="952--983"} @inproceedings{gurevich82, AUTHOR="Y. Gurevich and H. R. Lewis", TITLE="The inference problem for template dependencies", booktitle = "Proceedings of {PODS}-82", year = "1982", pages="221-229" } @inproceedings{schmolze-eurovav, author = "James G. Schmolze and Wayne Snyder", title = "A Tool for Testing Confluence of Production Rules", booktitle = "Proceedings of the European Symposium on Validation and Verification of KBS, EUROVAV-95", year=1995} @inproceedings{levy-rousset-ecai96, author="Alon Y. Levy and Marie-Christine Rousset", title="{CARIN:} A Representation Language Integrating Rules and Description Logics", booktitle="Proceedings of {ECAI}-96", year=1996} @proceedings{hybrid-proceedings, editor = "Alan Frisch", title="Working Notes of the {AAAI} Fall Symposium on Principles of Hybrid Reasoning", publisher = "American Association for Artificial Intelligence.", year = "1991"} @article{sss91, author="M. {Schmidt-Schau\ss} and G. Smolka", title="Attributive concept descriptions with complements", journal= AIJ, volume = "48(1)", pages="1-26", year=1991} @inproceedings{Buchheit94-aaai, author ="M. Buchheit and F. M. Donini and W. Nutt and A. Schaerf", title = "Refining the Structure of Terminological Systems: Terminology = Schema + Views", booktitle = "Proceedings of {AAAI}-94", year = 1994} @inproceedings{donini:kr91, author ="Francesco. M. Donini and Maurizion Lenzerini and Daniele Nardi and Werner Nutt", title = "The Complexity of Concept Languages", booktitle = "Proceedings of {KR}-91", year = 1991} @inproceedings{frisch89, author= "Alan M. Frisch", title="A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning", booktitle= "Proceedings of {KR}-89", year= 1989} @inproceedings{lro96, Author = "A. Y. Levy and A. Rajaraman and J. J. Ordille", title="Query answering algorithms for information agents", booktitle= "Proceedings of {AAAI}-96", year = 1996} @inproceedings{levy-rousset-aaai96-carin, author="Alon Y. Levy and Marie-Christine Rousset", title="The Limits on Combining Recursive Horn Rules and Description Logics", booktitle= "Proceedings of {AAAI}-96", year=1996} @inproceedings{golden94, author="Keith Golden and Oren Etzioni and Daniel Weld", title="Omnipotence without Omniscience:Sensor Management in Planning", booktitle="Proceedings of {AAAI}--94", year=1994, pages="1048--1054"} @inproceedings{perkowitz95-ijcai, author = "Mike Perkowitz and Oren Etzioni", title="Category Translation: Learning to Understand Information on the Internet", booktitle="Proceedings of {IJCAI}--95", year = "1995"} @inproceedings{ambite95, author ="Jose-Luis Ambite and Craig A. Knoblock", title = "Reconciling Distributed Information Sources", booktitle = "Working Notes of the AAAI Spring Symposium on Information Gathering from Heterogeneous, Distributed Environments, Stanford, California, USA", pages="1--5", year = 1995} @inproceedings{farquhar95, author = "A. Farquhar and A. Dappert and R. E. Fikes and W. Pratt", title="Integrating Information Sources using Context Logic", booktitle="{AAAI} Spring Symposium on Information Gathering from Heterogeneous Distributed Environments", year = "1995"} @inproceedings{kl95, author = "Craig A. Knoblock and Alon Y. Levy", title="Exploiting Run-Time Information to Locate Relevant Data Sources", booktitle="Working Notes of the {AAAI} Spring Symposium on Information Gathering from Heterogeneous Distributed Environments", publisher = "American Association for Artificial Intelligence.", year = "1995"} @article{schneider94, title="A Semantics and Complete Algorithm for Subsumption in the {CLASSIC} Description Logic", author="Alexander Borgida and Peter Patel-Schneider", journal=JAIR, volume=1, pages="277-308", year=1994} @article{levesque-brachman87, author="Hector J. Levesque and Ronald J. Brachman", title="Expressiveness and tractability in knowledge representation and reasoning", journal= "Computational Intelligence", year=1987, volume= 3, pages="78-93"} @article{nebel-ai88, author="Berhard Nebel", title="Computational Complexity of Terminological Reasoning in BACK", journal= "Artificial Intelligence", year=1988, volume= 34, pages="371-383"} @book{nebel-thesis, author = "Berhard Nebel", title="Reasoning and Revision in Hybrid Representation Systems", publisher="Lecture Notes in Artificial Intelligence", year=1987} @article{schaerf, author="Andrea Schaerf", title="Reasoning with Individuals in Concept Languages", journal= "Data and Knowledge Engineering", volume= "13(2)", year=1994, pages="141-176"} @inproceedings{lru96:capabilities, author="A. Y. Levy and A. Rajaraman and J. D. Ullman", title="Answering Queries Using Limited External Processors", booktitle="Proceedings of {ACM} {PODS}", year=1996} @inproceedings{kwok96, author="Chung T. Kwok and Daniel S. Weld", title="Planning to gather information", booktitle="Proceedings of {AAAI}-96", year=1996} @InProceedings{frv95a, author = "Florescu, Daniela and Rashid, Louiqa and Valduriez, Patrick", title = "Using Heterogeneous Equivalences for Query Rewriting in Multidatabase Systems", booktitle = "COOPIS '95", year = 1995 } @article{sims96, Author = "Y. Arens and C. Knoblock and W. Shen", Title = "Query reformulation for dynamic information integration", Journal = "Journal of Intelligent Information Systems", Year = "1996"} @InProceedings{ggks95, author = "D. Geddis and M. Genesereth and A. Keller and N. Singh", title = "Infomaster: a virtual information system", booktitle = "{CIKM} workshop in intelligent information agents", year = 1995 } @article{motro89, author = "Amihai Motro", title="Integrity = Validity + Completeness", journal = "{ACM} Transactions on Database Systems", year = 1989, volume = "14(4)", month= "December", pages = "480-502"} @article{asu79a, AUTHOR="Alfred Aho and Yehoshua Sagiv and Jeffrey D. Ullman", TITLE="Equivalence of relational expressions", journal="{SIAM} Journal of Computing", volume="(8)2", YEAR="1979", PAGES="218-246" } @article{asu79b, AUTHOR="Alfred Aho and Yehoshua Sagiv and Jeffrey D. Ullman", TITLE="Efficient Optimization of a class of relational expressions", journal="{ACM} Transactions on Database Systems", volume="(4)4", YEAR="1979", PAGES="435-454" } @inproceedings{CV94, AUTHOR="Surajit Chaudhuri and Moshe Vardi", TITLE="On the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs", booktitle = "The Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems", year = "1994", pages="55--66" } @article{johnson83, author = "D. S. Johnson and A. Klug", title="Testing containment of conjunctive queries under functional and inclusion dependecies", journal="Journal of Computer and System Sciences", volume=" (28):1", pages="167--189", year= 1983} @book{ginsberg87, author = "Matthew Ginsberg", title = "Readings in Nonmonotonic reasoning", year = "1987", publisher = "Morgan Kaufmann Publishers, Inc., San Mateo, California"}