Valeria de Paiva
Shanghai Jiao Tong University(CN)
Publications by Year
Research Areas
Logic, Reasoning, and Knowledge, Logic, programming, and type systems, Natural Language Processing Techniques, Semantic Web and Ontologies, Topic Modeling
Most-Cited Works
- → CoNLL 2017 Shared Task: Multilingual Parsing from Raw Text to Universal Dependencies(2017)365 cited
- → A term calculus for Intuitionistic Linear Logic(1993)171 cited
- → On an Intuitionistic Modal Logic(2000)144 cited
- → Inheritance, Defaults and the Lexicon(1994)137 cited
- → Computational types from a logical perspective(1998)106 cited
- → Entailment, intensionality and text understanding(2003)98 cited
- → Categorical and Kripke Semantics for Constructive S4 Modal Logic(2001)98 cited