Martina Cíhalová

15 papers C 6Journal 2Unranked 7
YearRankTypeTitle / Venue / Authors
2023 J jnl
Modelling dynamic behaviour of agents in a multiagent world: Logical analysis of Wh-questions and answers.
Log. J. IGPL
Martina Cíhalová, Marie Duzí
2022 C conf
Rules for Converting Natural Language Text with Motion Verbs into TIL-Script.
EJC
Martina Cíhalová, Marek Mensík
2021 — conf
Conceptual Framework for Process Ontology.
RASLAN
Martina Cíhalová
2021 C conf
Conceptual Framework for the Conversion of Text Document into TIL-Script.
EJC
Martina Cíhalová, Marek Mensík
2015 C conf
Event ontology specification based on the theory of verb-valency frames.
EJC
Martina Cíhalová
2015 J jnl
Questions, Answers and Presuppositions.
Computación y Sistemas
Marie Duzí, Martina Cíhalová
2013 C conf
Logical Specification of Processes.
EJC
Martina Cíhalová, Marie Duzí, Marek Mensík
2011 — conf
E-Learning Support for Logic Education.
DEIS
Marie Duzí, Marek Mensík, Martina Cíhalová, Ludmila Dostálová
2010 — conf
Building process definition with ontology background.
CISIM
Svatopluk Stolfa, Jan Kozuszník, Michal Kosinár, Marie Duzí, Martina Cíhalová, Ivo Vondrák
2010 — conf
Know How and Know What for Software Processes.
ENASE (Selected Papers)
Jan Kozuszník, Svatopluk Stolfa, Marie Duzí, Michal Kosinár, Martina Cíhalová
2010 C conf
Ontology as a Logic of Intensions.
EJC
Marie Duzí, Martina Cíhalová, Marek Mensík
2010 — conf
Process Ontology.
RASLAN
Marie Duzí, Martina Cíhalová, Marek Mensík, Lukás Vích
2009 C conf
Agents' reasoning using TIL-Script and Prolog.
EJC
Martina Cíhalová, Nikola Ciprich, Marie Duzí, Marek Mensík
2009 — conf
Deductive Reasoning using TIL.
RASLAN
Martina Cíhalová, Nikola Ciprich, Marie Duzí, Tomás Frydrych, Marek Mensík
2008 — conf
TIL and Logic Programming.
RASLAN
Martina Cíhalová, Nikola Ciprich, Marie Duzí, Marek Mensík