21 | Tapio Halkola, Kaj Johansson, and Leo Ojala. Net theoretical methods in modelling byzantine consensus protocols in agreement problems. Research Report A9, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, December 1988. |
|
20 | Marko Rauhamaa. Design and implementation of a reduction tool for PrT-nets. Technical Report B6, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, December 1988. |
|
19 | Kaj Johansson. Modelling message protocols for the byzantine generals problem. Research Report A8, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, November 1988. |
|
18 | Petri Krohn and Marko Rauhamaa. Reduction transformations of PrT-nets. Research Report A7, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, October 1988. |
|
17 | Ilkka Niemelä. On the complexity of the decision problem in propositional nonmonotonic logic. In Proceedings of the 2nd Workshop on Computer Science Logic, pages 226–239, Duisburg, FRG, October 1988. Springer-Verlag. |
|
16 | Abbas Moslemie. Towards automatic interpretation of S-invariants of predicate/transition nets. Research Report A6, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, August 1988. |
|
15 | Ilkka Niemelä. Autoepistemic predicate logic. In Proceedings of the 8th European Conference on Artificial Intelligence, pages 595–600, München, August 1988. Pitman Publishing. |
|
14 | Ilkka Niemelä. Decision procedures for quantified non-monotonic logic. In Proceedings of the Finnish Artificial Intelligence Symposium, pages 418–427, Helsinki, Finland, August 1988. Limes ry. |
|
13 | Nisse Husberg. Petri nets in algebraic theories – a category theory approach. Technical Report B5, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, June 1988. |
|
12 | Victor Varshavsky and Mikko Tiusanen. Hardware support of concurrent process interaction and synchronization: On the principle of autocorrect implementation. Technical Report B4, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, May 1988. |
|
11 | Ilkka Niemelä. Decision procedure for autoepistemic logic. In Proceedings of the 9th International Conference on Automated Deduction, pages 675–684, Argonne, USA, May 1988. Springer-Verlag. |
|
10 | Esa Kettunen, Esa Montonen, and Timo Tuuliniemi. An interactive PrT-net tool for verification of SDL-specifications. Technical Report B3, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, February 1988. |
|
9 | Heikki Tuominen. Logic in Petri net analysis. Research Report A5, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, January 1988. |
|
8 | Mikko Tiusanen. Some unsolved problems in modelling self-timed circuits using Petri nets. Technical Report B2, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, January 1988. |
|
7 | Heikki Mannila and E. Ukkonen. Time parameter and arbitrary deunions in the set union problem. In SWAT 88: 1st Scandinavian Workshop on Algorithm Theory, pages 34–42, 1988. |
|
6 | Heikki Mannila and D. Wood. A note on the largest empty rectangle problem. BIT, 28:79–183, 1988. |
|
5 | Harri Jäppinen, Timo Honkela, Heikki Hyötyniemi, and Aarno Lehtola. Hierarchical multilevel processing model for natural language database interface. In Proceedings of CAIA'88, 4th Conference on Artificial Intelligence Applications, pages 332–337. IEEE (The Computer Society of the IEEE), 1988. |
|
4 | Harri Jäppinen, Timo Honkela, Heikki Hyötyniemi, and Aarno Lehtola. A multilevel natural language processing model. Nordic Journal of Linguistics, 11:69–82, 1988. |
|
3 | Aarno Lehtola, Timo Honkela, Heikki Hyötyniemi, and Harri Jäppinen. Task oriented knowledge representation languages for nlp-systems. In Proceedings of ISMIS'88, 3rd International Symposium on Methodologies for Intelligent Systems, pages 250–259. North-Holland, 1988. |
|
2 | Aarno Lehtola and Timo Honkela. AWARE - a transformation system for semantic analysis of natural language. In Proceedings of STeP-88, Finnish Artificial Intelligence Symposium, pages 100–109. Finnish Artificial Intelligence Society, 1988. |
|
1 | Aarno Lehtola, Timo Honkela, Heikki Hyötyniemi, and Harri Jäppinen. Knowledge languages and metatools for natural language processing. In Proceedings of ICSC'88, International Computer Science Conference'88., pages 273–280. IEEE Computer Society, IEEE Hongkong Section, 1988. |
|