Miklós Szöts

According to our database, Miklós Szöts authored at least 8 papers between 1973 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

Semantics driven intelligent front-end.

Tamás Gergely, Edit Halmay, Miklós Szöts, George Suciu, Romulus Cheveresan

Proceedings of the International Conference on Speech Technology and Human-Computer Dialogue, 2017

2010

An Ontology Segmentation Tool.

András Simonyi, Miklós Szöts

Acta Cybern., 2010

2007

How to Represent Meanings in an Ontology.

Miklós Szöts, Tamás Gröbler, András Simonyi

Acta Cybern., 2007

1984

Cuttable Formulas for Logic Programming.

Tamás Gergely, Miklós Szöts

Proceedings of the 1984 International Symposium on Logic Programming, 1984

A Comparison of two Logic Programming Languages: A Case Study.

Miklós Szöts

Proceedings of the Second International Logic Programming Conference, 1984

1982

A method for program synthesis.

Miklós Szöts, Sándor Csizmazia

Proceedings of the International Symposium on Programming, 1982

1978

On the incompleteness of proving partial correctness.

Tamás Gergely, Miklós Szöts

Acta Cybern., 1978

1973

A Generalization of the Method of Finite Differences.

D. Holnapy, Miklós Szöts, A. Botár

Inf. Process. Lett., 1973