Photo: Marek Menšík (Filozoficko-přírodovědecká fakulta Repo)

Marek Menšík (Filozoficko-přírodovědecká fakulta Repo)

Staff member: Filozoficko-přírodovědecká fakulta
učo: 1871

1871(zavináč/atsign)repozitar(tečka/dot)cz



Stať ve sborníku
  • Natural deduction system in the TIL-script language
    DUŽÍ, Marie, Marek MENŠÍK, Miroslav PAJR and Vojtěch PATSCHKA. Natural deduction system in the TIL-script language. Online. In Endrjukaite, T., Jaakkola, H., Dudko, A., Kiyoki, Y., Thalheim, B., Yoshida, N. Frontiers in Artificial Intelligence and Applications. 312th ed. Amsterdam: IOS Press, 2019, p. 237-255. ISBN 978-1-61499-933-1. Available from: https://dx.doi.org/10.3233/978-1-61499-933-1-237.
  • Existential generalization in TIL
    MENŠÍK, Marek, Jakub KERMASCHEK and Luděk CIENCIALA. Existential generalization in TIL. In International Multidisciplinary Scientific GeoConference Surveying Geology and Mining Ecology Management, SGEM. Volume 17. Sofia: International Multidisciplinary Scientific Geoconference, 2017, p. 311-318. ISBN 978-619-7408-01-0. Available from: https://dx.doi.org/10.5593/sgem2017/21/S07.040.
  • Membrane agents simulating Boolean circuits
    CIENCIALOVÁ, Lucie, Luděk CIENCIALA and Marek MENŠÍK. Membrane agents simulating Boolean circuits. In International Multidisciplinary Scientific GeoConference Surveying Geology and Mining Ecology Management, SGEM. Volume 17. Sofia: International Multidisciplinary Scientific Geoconference, 2017, p. 417-424. ISBN 978-619-7408-01-0. Available from: https://dx.doi.org/10.5593/sgem2017/21/S07.053.