Gösta Grahne

Activities

• Sixth Scandinavian Conference on Artificial Intelligence, August 18-20, Helsinki, Finland Conference homepage

Teaching

• Course: Artificial Intelligence (Spring 97, 4 cu)
• Seminar: Reasoning about knowledge (Fall 96, 2 cu)
• Course: Languages for Artificial Intelligence (Fall 96, 3 cu)

Selected publications

• The Problem of Incomplete Information in Relational Databases. Lecture Notes in Computer Science, vol. 554. Springer-Verlag, Berlin 1991.
  Click here for an abstract and order form
• Characterizations for acyclic database schemes (with K.-J. Räihä). In: Advances in Computing Research, vol 3: The Theory of Databases (P. C. Kanellakis, Ed.), JAI Press, London 1986, 19-41.
• Efficient evaluation for a subset of recursive queries (with S. Sippu and E. Soisalon- Soininen. Journal of Logic Programming 10 (1991), 301-332.
  Click here for an abstract
• On the representation and querying of sets of possible worlds (with S. Abiteboul and
  P. C. Kanellakis). Theoretical Computer Science 78 (1991), 157-187.
  Click here for an abstract
• Updates and subjunctive queries (with A. O. Mendelzon). Information and Computation 116 (1995), 241-252.
  Click here for a preliminary version
• Knowledgebase transformations (with A. O. Mendelzon and P. Z. Revesz). Journal of Computer and System Sciences 54, (1997), 98-112.
  Click here for a preliminary version
• Updates and counterfactuals. Journal of Logic and Computation, to appear.
  Click here for a preliminary version
• Reasoning about strings in databases (with M. Nykanen and E. Ukkonen). Journal of Computer and System Sciences, to appear.
  Click here for a preliminary version
• Update semantics for incomplete databases (with S. Abiteboul). Proceedings of the 11th International Conference on Very Large Databases. Stockholm 1985, pp. 1-12.
  Click here for an abstract
• Horn Tables - an efficient tool for handling incomplete information in databases. Proceedings of the 8th ACM SIGACT-SIGMOD Symposium on Principles of Database Systems. Philadelphia, Pa. 1989, pp. 75-82.
  Click here for an abstract
• On the semantics of belief revision systems (with A. O. Mendelzon and R. Reiter). Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge. Asilomar, Ca. 1992, pp. 132-142.
  Click here for an extended version
• Reasoning about strings in databases (with M. Nykanen and E. Ukkonen). Proceedings of the 13th ACM SIGACT-SIGMOD Symposium on Principles of Database Systems. Minneapolis, Mn. 1994, pp. 303-312.
  Click here for the paper
• Semantics and containment of queries with internal and external conjunctions (with N. Spyratos and D. Stamate). 6th International Conference on Database Theory (ICDT '97). Delphi, Greece 1997, pp. 71--82, 1997.
  Click here for the paper
• Safety, translation and evaluation of alignment calculus. (with M. Nykanen). Proceedings of the First East-European Symposium on Advances in Databases and Information Systems (ADBIS'97) St. Petersburg, September 1997.
  Click here for the paper