Michal Fait

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 7

Top Topics

Lambda Calculus

Script Language

Deduction Rules

Proof Theoretic

Top Venues

Publications

Michal Fait, Giuseppe Primiero
HTLC: Hyperintensional Typed Lambda Calculus. FLAP 8 (2) (2021)
Marie Duzí, Michal Fait
Integrating Special Rules Rooted in Natural Language Semantics into the System of Natural Deduction. ICAART (1) (2020)
Marie Duzí, Michal Fait
Question-Answering System in the TIL-Script Language. EJC (2019)
Marie Duzí, Michal Fait, Marek Mensík
Adjustment of Goal-driven Resolution for Natural Language Processing in TIL. RASLAN (2019)
Marie Duzí, Michal Fait
Type Checking Algorithm for the TIL-Script Language. EJC (2018)
Marie Duzí, Michal Fait
Property Modifiers. RASLAN (2017)
Marie Duzí, Michal Fait
The Algorithm of Context Recognition in TIL. RASLAN (2016)