Author of the publication

Automatic Generation of Semantic Attachments in FOL.

. AAAI, page 90-92. AAAI Press/MIT Press, (1980)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Verifying security protocols as planning in logic programming., and . ACM Trans. Comput. Log., 2 (4): 542-580 (2001)Reasoning about Knowledge: The Meta-Level Approach., , and . SCAI, volume 12 of Frontiers in Artificial Intelligence and Applications, page 4-18. IOS Press, (1991)Reasoning Techniques (Panel).. IFIP Congress, page 549-550. North-Holland/IFIP, (1986)Attacking fair-exchange protocols: parallel models vs trace models., and . LACPV@CAV, volume 55 of Electronic Notes in Theoretical Computer Science, page 51-68. Elsevier, (2001)Automatic Generation of Semantic Attachments in FOL.. AAAI, page 90-92. AAAI Press/MIT Press, (1980)Development of intelligent service robots., , , , , , , , , and 9 other author(s). Intelligenza Artificiale, 7 (2): 139-152 (2013)Definability and Commonsense Reasoning., , and . Artif. Intell., (1997)Towards a Formal Definition of the Control in Structured Programs., and . MFCS, page 169-174. Mathematical Institute of the Slovak Academy of Sciences, (1973)SEDAF: an intelligent educational system for mathematics., and . Applied Artificial Intelligence, 4 (1): 15-36 (1990)Perspectives in knowledge representation., and . Applied Artificial Intelligence, 5 (1): 29-44 (1991)