Подписаться
Valeria de Paiva
Valeria de Paiva
Другие именаValeria Correa Vaz de Paiva, Valeria Paiva
Topos Institute, University of Birmingham
Подтвержден адрес электронной почты в домене topos.institute - Главная страница
Название
Процитировано
Процитировано
Год
CoNLL 2017 Shared Task: Multilingual Parsing from Raw Text to Universal Dependencies
Proceedings of the {C}o{NLL} 2017 Shared Task: Multilingual Parsing from Raw …, 2017
691*2017
A term calculus for intuitionistic linear logic
N Benton, G Bierman, V De Paiva, M Hyland
Typed Lambda Calculi and Applications: International Conference on Typed …, 1993
2841993
On an intuitionistic modal logic
GM Bierman, VCV de Paiva
Studia Logica 65, 383-416, 2000
2282000
Inheritance, Defaults, and the Lexicon
T Briscoe, V de Paiva, A Copestake
Computational Linguistics, 1994
1971994
The dialectica categories
VCV de Paiva
Categories in Computer Science and Logic: Proceedings of the AMS-IMS-SIAM …, 1989
1951989
Computational types from a logical perspective
PN Benton, GM Bierman, VCV de Paiva
Journal of Functional Programming 8 (2), 177-193, 1998
1741998
Categorical and Kripke semantics for constructive S4 modal logic
N Alechina, M Mendler, V De Paiva, E Ritter
Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual …, 2001
1642001
Term assignment for intuitionistic linear logic (preliminary report)
N Benton, G Bierman, V de Paiva, M Hyland
University of Cambridge. Computer Laboratory, https://www.dpmms.cam.ac.uk …, 1992
150*1992
Openwordnet-pt: An open brazilian wordnet for reasoning
V De Paiva, A Rademaker, G De Melo
Proceedings of COLING 2012: Demonstration Papers, 353-360, 2012
1392012
Entailment, intensionality and text understanding
C Condoravdi, D Crouch, V De Paiva, R Stolle, D Bobrow
Proceedings of the HLT-NAACL 2003 workshop on Text meaning, 38-45, 2003
1342003
Full intuitionistic linear logic
M Hyland, V De Paiva
Annals of Pure and Applied Logic 64 (3), 273-291, 1993
1191993
A dialectica-like model of linear logic
VCV De Paiva
Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 …, 1989
116*1989
Extended Curry-Howard correspondence for a basic constructive modal logic
G Bellin, V De Paiva, E Ritter
Proceedings of methods for modalities 2, 2001
1132001
Linear λ-calculus and categorical models revisited
N Benton, G Bierman, V De Paiva, M Hyland
Computer Science Logic: 6th Workshop, CSL'92 San Miniato, Italy, September …, 1993
1131993
Universal dependencies for Portuguese
A Rademaker, F Chalub, L Real, C Freitas, E Bick, V and de Paiva
Proceedings of the Fourth International Conference on Dependency Linguistics …, 2017
1102017
Intuitionistic necessity revisited
GM Bierman, VCV De Paiva
School of Computer Science research reports-University of Birmingham CSR, 1996
941996
PARC’s bridge and question answering system
DG Bobrow, B Cheslow, C Condoravdi, L Karttunen, TH King, R Nairn, ...
Grammar Engineering Across Frameworks, 46-66, 2007
842007
Universal Dependencies 2.1
J Nivre, Ž Agić, L Ahrenberg, L Antonsen, MJ Aranzabe, M Asahara, ...
742017
Making ontologies work for resolving redundancies across documents
JO Everett, DG Bobrow, R Stolle, R Crouch, V de Paiva, C Condoravdi, ...
Communications of the ACM 45 (2), 55-60, 2002
732002
Deverbal nouns in knowledge representation
O Gurevich, R Crouch, TH King, V De Paiva
Journal of Logic and Computation 18 (3), 385-404, 2008
712008
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20