Author of the publication

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

Reasoning Techniques (Panel).. IFIP Congress, page 549-550. North-Holland/IFIP, (1986)Reasoning about Knowledge: The Meta-Level Approach., , and . SCAI, volume 12 of Frontiers in Artificial Intelligence and Applications, page 4-18. IOS Press, (1991)Automatic Generation of Semantic Attachments in FOL.. AAAI, page 90-92. AAAI Press/MIT Press, (1980)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)Adding a Closure Operator to the Extended Relational Algebra: A Further Step Towards the Integration of Database Techniques and Logic Programming., and . Foundations of Knowledge Base Management (Xania), page 179-202. Springer, (1985)Intelligent Agents in the Situation Calculus: an Application to User Modelling., and . FAPR, volume 1085 of Lecture Notes in Computer Science, page 126-140. Springer, (1996)Development of intelligent service robots., , , , , , , , , and 9 other author(s). Intelligenza Artificiale, 7 (2): 139-152 (2013)Planning Attacks to Security Protocols: Case Studies in Logic Programming., and . Computational Logic: Logic Programming and Beyond, volume 2407 of Lecture Notes in Computer Science, page 533-560. Springer, (2002)Knowledgeable Talking Robots., , , , , and . AGI, volume 7999 of Lecture Notes in Computer Science, page 182-191. Springer, (2013)