Daniyar Itegulov

Publication Activity (10 Years)

Years Active: 2017-2018
Publications (10 Years): 5

Top Topics

Resolving Conflicts

Natural Language Processing

Top Venues

Publications

Daniyar Itegulov, Ekaterina Lebedeva
Handling Verb Phrase Anaphora with Dependent Types and Events. CoRR (2018)
Daniyar Itegulov, Ekaterina Lebedeva, Bruno Woltzenlogel Paleo
Sensala: a Dynamic Semantics System for Natural Language Processing. COLING (Demos) (2018)
Daniyar Itegulov, Ekaterina Lebedeva
Handling Verb Phrase Anaphora with Dependent Types and Events. WoLLIC (2018)
Daniyar Itegulov, John Slaney, Bruno Woltzenlogel Paleo
Scavenger 0.1: A Theorem Prover Based on Conflict Resolution. CADE (2017)
Daniyar Itegulov, John Slaney, Bruno Woltzenlogel Paleo
Scavenger 0.1: A Theorem Prover Based on Conflict Resolution. CoRR (2017)