TCS / Research / Publications / 1994
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

Publications in 1994

21Tomi Janhunen. Investigations on cautious autoepistemic reasoning. Research Report A31, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, December 1994.
NOTE: Reprint of Licentiate's thesis; see URL below.
PostScript (727 kB)
GZipped PostScript (203 kB)
Info
See www.tcs.hut.fi ...
20Johan Lilius. On the folding of algebraic nets. Research Report A30, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, August 1994.
PostScript (342 kB)
GZipped PostScript (93 kB)
Info
19Ilkka Niemelä, editor. Annual report for the year 1993. Technical report, Teknillinen korkeakoulu, Tietojenkäsittelyteorian laboratorio (Helsinki University of Technology, Laboratory for Theoretical Computer Science), Espoo, Finland, May 1994.
PostScript (205 kB)
GZipped PostScript (55 kB)
Info
18Ilkka Niemelä. A decision method for nonmonotonic reasoning based on autoepistemic reasoning. In Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning, pages 473–484, Bonn, Germany, May 1994. Morgan Kaufmann Publishers.
Info
17Kimmo Varpaaniemi. On computing symmetries and stubborn sets. Technical Report B12, Helsinki University of Technology, Digital Systems Labora tory, Espoo, Finland, April 1994.
PostScript (238 kB)
GZipped PostScript (65 kB)
PDF (247 kB)
Errata 
Info
16Tino Pyssysalo. The modelling and analysis of a high speed data bus with predicate/transition nets. Research Report A29, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, March 1994.
NOTE: Reprint of Master's thesis; see URL below.
PostScript (618 kB)
GZipped PostScript (159 kB)
Info
See www.tcs.hut.fi ...
15Tomi Janhunen. Investigations on Cautious Autoepistemic Reasoning. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1994.
Info
See www.tcs.hut.fi ...
14Kari Hakulinen. Soluverkkoprotokollien tietokoneavusteinen testaus. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 1994.
Info
13Tino Pyssysalo. The modelling and analysis of a high speed data bus with predicate/transition nets. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1994.
Info
See www.tcs.hut.fi ...
12Mika Rautila. Prosessialgebran käyttö älyverkkopalveluiden määrityksessä ja analysoinnissa. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 1994.
Info
11Jari Saarhelo. Tekoäly valuprosessin suunnittelussa. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1994.
Info
10Pauli Väisänen. A study of model determination problems in s5 logic. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1994.
Info
9Kimmo Varpaaniemi. Dynamically stubborn sets and the sleep set method. In Hans-Dieter Burkhard, Ludwik Czaja, and Peter H. Starke, editors, Concurrency, Specification and Programming: Proceedings of the CS&P'93 Workshop, Nieborów near Warsaw, Poland, 14–16 October 1993, pages 230–246. Zakład Graficzny UW, zam. 261/94, Warsaw, Poland, 1994.
Info
8Kimmo Varpaaniemi. On combining the stubborn set method with the sleep set method. In Robert Valette, editor, Application and Theory of Petri Nets 1994: 15th International Conference, Zaragoza, Spain, June 20–24, 1994, Proceedings, volume 815 of Lecture Notes in Computer Science, pages 548–567. Springer-Verlag, Berlin, Germany, 1994. Springer-Verlag Berlin Heidelberg 1994.
Errata 
Info
See users.tkk.fi ...
7Kimmo Varpaaniemi. On-the-fly verification with PROD. In Jörg Desel, Andreas Oberweis, and Wolfgang Reisig, editors, Algorithmen und Werkzeuge für Petrinetze: Workshop der GI-Fachgruppe 0.0.1, ``Petrinetze und verwandte Systemmodelle'', Berlin, 10.–11. Oktober 1994, pages 80–83. Forschungsberichte, Bericht 309, Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe (TH), Germany, 1994.
Info
6Kimmo Varpaaniemi. The sleep set method revisited. In Ludwik Czaja, Hans-Dieter Burkhard, and Peter H. Starke, editors, Workshop: Concurrency, Specification & Programming, October 12–15, 1994. Informatik-Bericht Nr. 36, Institut für Informatik, Humboldt-Universität zu Berlin, Germany, 1994.
Errata 
Info
5Ilkka Niemelä. Autoepisteeminen logiikka epämonotonisen päättelyn pohjana. Tietojenkäsittelytiede, 6:15–25, 1994.
Info
4Ilkka Niemelä and J. Rintanen. On the impact of stratification on the complexity of nonmonotonic reasoning. In G. Lakemeyer and B. Nebel, editors, Foundations of Knowledge Representation and Reasoning, pages 275–295. Springer-Verlag, Berlin, 1994.
Info
3Ilkka Niemelä and Jussi Rintanen. On the impact of stratification on the complexity of nonmonotonic reasoning. Journal of Applied Non-Classical Logics, 4(2):141–179, 1994.
Info
2Ilkka Niemelä and Camilla Schwind. Proof systems for nonmonotonic logics. Lecture notes for a tutorial given at the 12th International Conference on Automated Deduction, Nancy, France, June 28–July 1, 1994. 44 pages., 1994.
Info
See www.tcs.hut.fi ...
1Tomi Janhunen. Cautious autoepistemic reasoning applied to general logic programs. In Matti Penttonen, editor, Proceedings of the Seventh Finnish Symposium on Computer Science, pages 33–46, Liperi, Finland, January 1994. University of Joensuu, Department of Computer Science. (Report A-1994-1).
Info

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.