Miklós Szöts

Publication Activity (10 Years)

Years Active: 1973-2017
Publications (10 Years): 1

Top Topics

Conceptual Graphs

Argumentation Semantics

Agent Technology

Top Venues

Publications

Tamás Gergely, Edit Halmay, Miklós Szöts, George Suciu, Romulus Cheveresan
Semantics driven intelligent front-end. SpeD (2017)
András Simonyi, Miklós Szöts
An Ontology Segmentation Tool. Acta Cybern. 19 (3) (2010)
Miklós Szöts, Tamás Gröbler, András Simonyi
How to Represent Meanings in an Ontology. Acta Cybern. 18 (2) (2007)
Miklós Szöts
A Comparison of two Logic Programming Languages: A Case Study. ICLP (1984)
Tamás Gergely, Miklós Szöts
Cuttable Formulas for Logic Programming. SLP (1984)
Miklós Szöts, Sándor Csizmazia
A method for program synthesis. Symposium on Programming (1982)
Tamás Gergely, Miklós Szöts
On the incompleteness of proving partial correctness. Acta Cybern. 4 (1) (1978)
D. Holnapy, Miklós Szöts, A. Botár
A Generalization of the Method of Finite Differences. Inf. Process. Lett. 2 (2) (1973)