Tomi Janhunen

Senior University Lecturer, Adjunct Professor

Research outputs

  1. 1996
  2. Published

    On Abstracting Decision Procedures for Non-Monotonic Reasoning

    Janhunen, T., 1996, Proceedings of the ECAI-96 Workshop on Integrating Nonmonotonicity in Automated Reasoning Systems, Budabest, Hungary, August 1996. Koblenz-Landau, U. (ed.). p. 3

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  3. 1995
  4. Published

    Cautious Models for General Logic Programs

    Janhunen, T., 1995, The Third International Workshop on Deductive Databases and Logic Programming. Decker, H., Geske, U., Kakas, T., Sakama, C., Seipel, D. & Urpi, T. (eds.). Kanagawa, Japani: Gesellschaft für Mathematik und Datenverarbeitung, p. 25-39

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  5. 1994
  6. Published

    Cautious Autoepistemic Reasoning Applied to General Logic Programs

    Janhunen, T., 1994, The Seventh Finnish Symposium on Computer Science, Liperi, Finland, 10.-12.1.1994. Penttonen, M. (ed.). Joensuu: University of Joensuu, p. 33-46

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  7. Published

    Investigations on Cautious Autoepistemic Reasoning

    Janhunen, T., 1994, Espoo, p. 77, (Digital Systems Laboratory, Series A: Research Reports; no. A31).

    Research output: Working paperProfessional

  8. 1993
  9. Published

    A Scheme for Weakened Negative Introspection in Autoepistemic Reasoning

    Janhunen, T. & Niemelä, I., 1993, 3rd Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC 1993; Brno, Czech Republic, 24.-27.8.1993. Berlin, p. 211-222 12 p. (Lecture Notes in Computer Science; vol. 713 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  10. Published

    Weakened Negative Introspection in Autoepistemic Reasoning

    Janhunen, T., 1993, Espoo, (Digital Systems Laboratory, Series A: Research Reports; no. 21).

    Research output: Working paperProfessional

Previous 1 2 3 Next

ID: 103027