Tomi Janhunen

Senior University Lecturer

Research outputs

  1. 1994
  2. 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

  3. 1993
  4. 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

  5. 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