Not So Very Recent Publications

List of more recent publications is available together with links to detailed information.

1993

P. Návrat and V. Rozinajová.

Making programming knowledge explicit. Computers and Education, 21(4):281-299, 1993.

V. Rozinajová and P. Návrat.

Explicit knowledge representation in support of learning programming. In Proc. of World Conf. on AI in Education (AI-ED 93), page 584, Edinburgh, Scotland, August, 1993.

1992

M. Bieliková, P. Fric, T. Fristacký, M. Galbavý, I. Kapustík, L. Molnár, P. Návrat, and V. Vojtek.

Supporting the knowledge-based systems development. Kybernetika a Informatika, 5(2-3):179-184, 1992.

P. Návrat.

Intelligent support for software construction, and higher education in informatics at the Slovak TU: the DEC connection In: Proc. DECSYM 92 Latest Trends in Computing, Side-Antalya, 1992, pp. 253-263.

1991

L. Gasparovic and P. Návrat.

Extalk - Smalltalk based expert systems development tool. In: A. Mrázik (edt.): Proc. EastEurOOPe 91 East European Conference on Object-Oriented Programming, Short Papers, Bratislava, ArtInApples 1991, pp. 65-73.

1989

P. Návrat and I. Mladá.

What knowledge is the knowledge based programming based on?: an inquiry into knowledge sources. In: I. Plander (edt.): Proc. Artificial Intelligence and Information-Control Systems of Robots, North-Holland, Amsterdam 1989, pp. 187-190.

P. Návrat, L. Molnár, and V. Vojtek.

Using automatic program synthesizer as a problem solver: some interesting experiments. In: J. Davenport (edt.): Proc. EUROCAL'87 European Conference on Computer Algebra, LNCS 378, Springer, Berlin 1989, pp. 412-423.

1988

P. Návrat, L. Molnár, and V. Vojtek.

Using automatic program synthesizer to generate solutions from diverse problem environments. Computers and Artificial Intelligence, 7(2):139-146, 1988.

1987

L. Molnár, P. Návrat, and V. Vojtek.

A system for automatic implementation of abtract data types. Computers and Artificial Intelligence, 6(1):51-57, 1987.

P. Návrat.

An instruction oriented environment for assembly language programming. Computers and Artificial Intelligence, 6(5):481-488, 1987.

1986

L. Molnár, P. Návrat, and V. Vojtek.

Heuristic search with global and local heuristics. Computers and Artificial Intelligence, 5(5):417-426, 1986.

V. Vojtek, L. Molnár and P. Návrat.

Automatic program synthesis using heuristics and interaction. Computers and Artificial Intelligence, 5(5):427-442, 1986.

1985

L. Molnár, P. Návrat, and J. Safarik.

The programming language PASCAL (in teaching perspective): take it or leave it. ACM SIGPLAN Notices, 20(2):77-79, 1985.

L. Molnár and P. Návrat.

Automation of program creation and methodology of programming. Journal of Electrical Engineering, 36(4):316-323, 1985.

P. Návrat.

Some aspects of education in microprocessor technology. Journal of Electrical Engineering, 36(1):86-87, 1985.

P. Návrat.

Using computer to support instruction. Journal of Electrical Engineering, 36(1):75-79, 1985.