Jaan Penjam, Enn Tõugu, Ahto Kalja, Mihhail Matskin, Hele-Mai Haav, Mait Harf, Rein Lõugas, Monika Perkmann, Sergei Tupailo, Merik Meriste, Uno Kaljulaid, Andrus Järg, Vahur Kotkas, Kristi Kotkas, Rando Valt  Home/Search
Context
Related
| greta.cs.ioc.ee/pub/CS_R...CS84_95.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.ioc.ee/soft/science...tead_pub (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Teadmuslikud tarkvarasusteemid Aruandes kasitletakse Kuberneetika Instituudi tarkvaraosakonna 1995.a. uurimistulemusi. Vaadeldava too sisuks on aktuaalsete tehisintellekti probleemide lahendamine ning rakendusprogrammide koostamine, mis on seotud teadmiste esitamise keelte ja vahenditega ning automaatse programmide koostamise meetodite edasiarendamisega. Too kaugemaks eesmargiks on valja arendada teadmiste baasidega koos tootava programmeerimiskeskkonna alused, kaasaarvatud erinevat tuupi... (Update)
Active bibliography (related documents): More All
1.5: Attributed Models of Executable Specifications - Meriste, Penjam (1995) (Correct)
0.8: A Deductive Object-Oriented Approach to Information System.. - Matskin, Haav (1995) (Correct)
0.5: Languages, Tools and Methods for Conceptual Modelling - Penjam, Kalja, Matskin.. (1993) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.5: Constraint Semantics of NUT - Penjam, Tyugu (1993) (Correct)
0.4: Knowledge-Based Techniques for Network Management - Kotkas, Tyugu (1994) (Correct)
0.4: Nonlinear Dynamics in Modeling Cardiac Arrhythmias - Kongas (1998) (Correct)
BibTeX entry: (Update)
@misc{ penjam-knowledge,
author = "Jaan Penjam and Enn Tõugu and Ahto Kalja and Mihhail Matskin and Hele-Mai
Haav and Mait Harf and Rein Lõugas and Monika Perkmann and Sergei Tupailo
and Merik Meriste and Uno Kaljulaid and Andrus Järg and Vahur Kotkas and
Kristi Kotkas and Rando Valt",
title = "Knowledge Based Software Techniques",
url = "citeseer.ist.psu.edu/187050.html" }
Citations (may not include all citations):171 The POSTGRES Next Generation Database Management System (context) - Stonebraker, Kemnitz - 1991
41 A Logic for Programming with Complex Objects (context) - Kifer, Wu - 1993
31 Extensions to Starburst: Objects (context) - Lohman, Lindsay et al. - 1991
28 COMPLEX: An Object-Oriented Logic Programming System (context) - Greco, Leone et al. - 1992
18 Knowledge-Based Programming (context) - Tyugu - 1988
11 Using Partial Deduction for Automatic Propagation of Changes.. (context) - Haav, Matskin - 1993
9 Syntactic Recognition of ECG Signals by Attributed Finite Au.. (context) - Juhola, Koski et al.
8 Logic: Integration of Logic with Objects (context) - Ibrahim, Cummins - 1990
5 Computers and Artificial Intelligence (context) - Tyugu, Matskin et al. - 1986
4 Experimental Software Analysis in the NUT System - Sidarkeviciute, Addibpour et al. - 1995
3 Attributed Automata: a Formal Model for Protocol Specificati.. - Penjam - 1994
3 Attributed Finite Automata (context) - Meriste, Penjam - 1991
3 NUTS: A Distributed ObjectOriented Platform with High-Level .. - Tyugu, Vlassov et al.
2 Knowledge Based Systems (context) - Penjam - 1994
2 A Deductive Object-Oriented Approach to Information System M.. - Matskin, Haav - 1995
2 Attributed Automata and Language Recognizers (context) - Meriste, Vene - 1995
2 Deductive Object Bases (context) - Bertino, Gerrini - 1994
2 Attributed Models of Executable Specifications - Meriste, Penjam - 1995
2 Structural Synthesis of Programs from Refined User Requireme.. - Addibpour, Tyugu - 1995
2 Attributed Models of Executable Specifications - Meriste, Penjam - 1995
2 Algebraic Theory of Tape-Controlled Attributed Automata (context) - Kaljulaid, Meriste et al. - 1993
1 Incorporating partial deduction into structural synthesis of.. (context) - Krogstie, Matskin et al.
1 A Flexible Model for Dynamic (context) - Haav - 1995
1 Intelligent Software Tools for Data Communication Modeling (context) - Kotkas - 1995
1 The paper is available at URL: ftp://it (context) - Voloz, opp et al. - 1993
1 A Note on Completeness of Partial Deduction - Matskin, Tupailo - 1995
1 Intelligentne keskkond andmeside modelleerimiseks (context) - Kotkas - 1995
1 Structural Program Synthesis Using Reguler Data Structures (context) - Harf, Uustalu
1 Experimental program package in NUT system (context) - Kalja - 1995
1 IT Strategies and Government IT Policy in Estonia - Changes .. (context) - Kalja, Jaakkola - 1995
1 Attributed Models of Computing (context) - Meriste, Penjam
Documents on the same site (http://www.cs.ioc.ee/soft/science/papers/pub/1995/tead_pub.htm):
Attributed Models of Executable Specifications - Meriste, Penjam (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC