Michal Fait

According to our database, Michal Fait authored at least 7 papers between 2016 and 2021.

Collaborative distances:

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

2021

HTLC: Hyperintensional Typed Lambda Calculus.

Michal Fait, Giuseppe Primiero

FLAP, 2021

2020

Integrating Special Rules Rooted in Natural Language Semantics into the System of Natural Deduction.

Marie Duzí, Michal Fait

Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

2019

Adjustment of Goal-driven Resolution for Natural Language Processing in TIL.

Marie Duzí, Michal Fait, Marek Mensík

Proceedings of the 13th Workshop on Recent Advances in Slavonic Natural Languages Processing, 2019

Question-Answering System in the TIL-Script Language.

Marie Duzí, Michal Fait

Proceedings of the Information Modelling and Knowledge Bases XXXI, 2019

2018

Type Checking Algorithm for the TIL-Script Language.

Marie Duzí, Michal Fait

Proceedings of the Information Modelling and Knowledge Bases XXX, 2018

2017

Property Modifiers.

Marie Duzí, Michal Fait

Proceedings of the 11th Workshop on Recent Advances in Slavonic Natural Languages Processing, 2017

2016

The Algorithm of Context Recognition in TIL.

Marie Duzí, Michal Fait

Proceedings of the 10th Workshop on Recent Advances in Slavonic Natural Languages Processing, 2016