Martina Cíhalová

According to our database, Martina Cíhalová authored at least 15 papers between 2008 and 2023.

Collaborative distances:

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

2023

Modelling dynamic behaviour of agents in a multiagent world: Logical analysis of Wh-questions and answers.

Martina Cíhalová, Marie Duzí

Log. J. IGPL, January, 2023

2022

Rules for Converting Natural Language Text with Motion Verbs into TIL-Script.

Martina Cíhalová, Marek Mensík

Proceedings of the Information Modelling and Knowledge Bases XXXIV, 2022

2021

Conceptual Framework for Process Ontology.

Martina Cíhalová

Proceedings of the 15th Workshop on Recent Advances in Slavonic Natural Languages Processing, 2021

Conceptual Framework for the Conversion of Text Document into TIL-Script.

Martina Cíhalová, Marek Mensík

Proceedings of the Information Modelling and Knowledge Bases XXXIII- Proceedings of the 31st International Conference on Information Modelling and Knowledge Bases, 2021

2015

Questions, Answers and Presuppositions.

Marie Duzí, Martina Cíhalová

Computación y Sistemas, 2015

Event ontology specification based on the theory of verb-valency frames.

Martina Cíhalová

Proceedings of the Information Modelling and Knowledge Bases XXVII, 2015

2013

Logical Specification of Processes.

Martina Cíhalová, Marie Duzí, Marek Mensík

Proceedings of the Information Modelling and Knowledge Bases XXV, 2013

2011

E-Learning Support for Logic Education.

Marie Duzí, Marek Mensík, Martina Cíhalová, Ludmila Dostálová

Proceedings of the Digital Enterprise and Information Systems - International Conference, 2011

2010

Process Ontology.

Marie Duzí, Martina Cíhalová, Marek Mensík, Lukás Vích

Proceedings of the 4th Workshop on Recent Advances in Slavonic Natural Languages Processing, 2010

Know How and Know What for Software Processes.

Jan Kozuszník, Svatopluk Stolfa, Marie Duzí, Michal Kosinár, Martina Cíhalová

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2010

Ontology as a Logic of Intensions.

Marie Duzí, Martina Cíhalová, Marek Mensík

Proceedings of the Information Modelling and Knowledge Bases XXII, 20th European-Japanese Conference on Information Modelling and Knowledge Bases (EJC 2010), Jyväskylä, Finland, 31 May, 2010

Building process definition with ontology background.

Svatopluk Stolfa, Jan Kozuszník, Michal Kosinár, Marie Duzí, Martina Cíhalová, Ivo Vondrák

Proceedings of the 2010 International Conference on Computer Information Systems and Industrial Management Applications, 2010

2009

Deductive Reasoning using TIL.

Martina Cíhalová, Nikola Ciprich, Marie Duzí, Tomás Frydrych, Marek Mensík

Proceedings of the 3rd Workshop on Recent Advances in Slavonic Natural Languages Processing, 2009

Agents' reasoning using TIL-Script and Prolog.

Martina Cíhalová, Nikola Ciprich, Marie Duzí, Marek Mensík

Proceedings of the Information Modelling and Knowledge Bases XXI, 2009

2008

TIL and Logic Programming.

Martina Cíhalová, Nikola Ciprich, Marie Duzí, Marek Mensík

Proceedings of the 2nd Workshop on Recent Advances in Slavonic Natural Languages Processing, 2008