Relaxation as a platform for cooperative answering

• Aït-Kaci, H. and Nasr, R. (1986). LOGIN: A Logic Programming Language with Built-in Inheritance.Journal of Logic Programming, 3(3), 185–215.

  Google Scholar 

• Allen, J.F. and Perrault, C.R. (1986). Analyzing Intention in Utterances. In B.J. Grosz, K.S. Jones, and B.L. Weber (Eds.),Readings in Natural Language Processing. Morgan Kaufmann, Los Altos, CA, pp. 441–458.

  Google Scholar 

• Baral, C., Kraus, S., and Minker, J. (1990). Communicating between multiple knowledge based systems with different languages.Draft Proc. Int. Working Conf. Cooperative Knowledge Based Systems, (pp. 121–125), University of Keele, England.

  Google Scholar 

• Brachman, R.J. (1983). What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks.Computer, 16(10), 30–36.

  Google Scholar 

• Chakravarthy, U. (1985).Semantic Query Optimization in Deductive Databases. Ph.D. thesis, University of Maryland, Department of Computer Science.

• Chen, P.P.S. (1976). The Entity-Relationship Model: Towards a Unified View of Data.ACM Transactions on Database Systems 1, 1.

  Google Scholar 

• Chu, W.W., Chen, Q., and Lee, R. (1990). Cooperative Query Answering via Type Abstraction Hierarchy. Tech. Rep., University of California at Los Angeles.

  Google Scholar 

• Cuppens, F., and Demolombe, R. (1988) Cooperative answering: a methodology to provide intellegent access to databases.Proc. Second Int. Conf. Expert Database System, (pp. 333–353).

• Cuppens, F., and Demolombe, R. (1989). How to Recognize Interesting Topics to Provide Cooperative Answering.Information Systems, 14, 2, 163–173.

  Google Scholar 

• Enderton, H.B. (1972).A Mathematical Introduction to Logic. New York: Academic Press.

  Google Scholar 

• Gaasterland, T., Giuliano, M., Litcher, A., Liu, Y., and Minker, J. (1990a) Using integrity constraints to control search in knowledge base systems. Tech. Rep. UMIACS-TR-90-27, CS-TR-2416, University of Maryland, Department of Computer Science.

• Gaasterland, T, Minker, J., and Rajasekar, A. (1990b) Deductive database systems and knowledge base systems.Proceedings of VIA 90. Barcelona, Spain.

• Gal, A. (1988).Cooperative Responses in Deductive Databases. Ph.D. thesis, Department of Computer Science, University of Maryland.

• Gal, A. and Minker, J. (1985). A natural language database interface that provides cooperative answers.Proc. Second Conf. Artif. Intell. Appl.,

• Gal, A. and Minker, J. (1988). Informative and Cooperative Answers in Databases Using Integrity Constraints. In V. Dahl and P. Saint-Dizier (Eds.),Natural Language Understanding and Logic Programming, Amsterdam: North-Holland, pp. 277–300.

  Google Scholar 

• Gal, A. and Minker, J. (1990) Producing cooperative answers in deductive databases. In P. Saint-Dizier and S. Szpakowics (Eds.),Logic and Logic Grammar for Language Processing, L.S. Horward.

• Imielinski, T. (1988). Intelligent Query Answering in Rule Based Systems. In J. Minker (Ed.),Foundations of Deductive Databases and Logic Programming, Washington, DC, Morgan Kaufman.

  Google Scholar 

• Janas, J.M. (1981). On the Feasaibility of Informative Answers. In H. Gallaire, J. Minker, and J. Nicolas (Eds.),Advances In Database Theory, Vol. 1, New York: Plenum Press, pp. 397–414.

  Google Scholar 

• Kaplan, S. (1982). Cooperative Responses from a Portable Natural Language Query System.Artificial Intelligence, 19(2), 165–187.

  Google Scholar 

• Kowalski, R. (1979).Logic for Problem Solving. Amsterdam: North-Holland.

  Google Scholar 

• Lloyd, J. (1987).Foundations of Logic Programming, 2nd ed. New York: Springer-Verlag.

  Google Scholar 

• McCoy, K. (1988). Reasoning on a Highlighted User Model to Respond to Misconceptions.Computational Linguistics, 14, 52–63.

  Google Scholar 

• McSkimin, J. (1976).The Use of Semantic Information in Deductive Question-Answering Systems. Ph.D. thesis, University of Maryland, Department of Computer Science.

• McSkimin, J.R. and Minker, J. (1977). A Predicate Calculus Based Semantic Network for Question-Answering Systems. Tech. Rep., Department of Computer Science, University of Maryland.

• McSkimin, J. and Minker, J. (1979). Predicate Calculus Based Semantic Network for Question-Answering Systems. In N. Findler (Ed.),Associative Networks-The Representation and Use of Knowledge in Computers, (pp. 205–238), Academic Press: New York.

  Google Scholar 

• Motro, A. (1986b). SEAVE: A Mechanism for Verifying User Presuppositions in Query Systems.ACM Transactions on Office Information Systems, 4, 4.

  Google Scholar 

• Motro, A. (1986a). Extending the relational model to support goal queries.Proc. First. Int. Workshop Expert Database Systems, (pp. 129–150), Benjamin/Cummings.

• Motro, A. (1990). FLEX: A Tolerant and Cooperative User Interface to Database.IEEE Transactions on Knowledge and Data Engineering, 2, 231–245.

  Google Scholar 

• Nicolas, J. -M. and Yazdanian, K. (1978). Integrity Checking in Deductive Databases. In H.G.J. Minker (Ed.),Logic and Databases, New York: Plenum, pp. 325–599.

  Google Scholar 

• Pollack, M. (1983). Generating Expert Answers through Goal Inference. Tech. Rep., SRI International, Stanford, CA.

  Google Scholar 

• Reiter, R. (1988). On integrity constraints. In M. Vardi (Ed.),Proc. Second Conf. Theoretical Aspects of Reasoning and Knowledge. Morgan Kaufmann, pp. 97–111.

• Reiter, R. (1990). On Asking What a Database Knows. In J.W. Lloyd (Ed.),Computational Logic: Symposium Proceedings, Springer-Verlag.

• Shum, C. and Muntz, R. (1987). Implicit Representation for Extensional Answers. In L. Kershberg (Ed.),Expert Database Systems.

• Sterling, L. and Shapiro, E. (1986).The Art of Prolog. MIT Press.

• Wahlster, W., Marburger, H., and Busemann, A.J.S. (1983). Over-answering yes-no questions: extended responses in a NL interface to a vision system.Proc. IJCAI. Karlsruhe, Germany.

Download references