Valeria de Paiva
TitleCited byYear
Recognizing textual entailment: Rational, evaluation and approaches–erratum
I Dagan, B Dolan, B Magnini, D Roth
Natural Language Engineering 16 (1), 105-105, 2010
2372010
A term calculus for intuitionistic linear logic
N Benton, G Bierman, V De Paiva, M Hyland
International Conference on Typed Lambda Calculi and Applications, 75-90, 1993
2271993
Inheritance, defaults and the lexicon
T Briscoe, A Copestake, V De Paiva
Cambridge University Press, 2006
2032006
Inheritance, defaults and the lexicon
T Briscoe, A Copestake, V De Paiva
Cambridge University Press, 2006
2032006
On an intuitionistic modal logic
GM Bierman, VCV de Paiva
Studia Logica 65 (3), 383-416, 2000
1482000
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
1311992
Computational types from a logical perspective
PN Benton, GM Bierman, VCV de Paiva
Journal of Functional Programming 8 (2), 177-193, 1998
1301998
The dialectica categories
V de Paiva
University of Cambridge, Computer Lab Technical Report #213, Phd thesis, 1990
1261990
The dialectica categories
VCV de Paiva
Categories in Computer Science and Logic: Proceedings of the AMS-IMS-SIAM …, 1989
1261989
CoNLL 2017 Shared Task: Multilingual Parsing from Raw Text to Universal Dependencies
107*
Categorical and Kripke semantics for constructive S4 modal logic
N Alechina, M Mendler, V De Paiva, E Ritter
International Workshop on Computer Science Logic, 292-307, 2001
1052001
Full intuitionistic linear logic
M Hyland, V De Paiva
Annals of Pure and Applied Logic 64 (3), 273-291, 1993
921993
A Dialectica-like model of linear logic
VCV De Paiva
Category Theory and Computer Science, 341-356, 1989
911989
Intuitionistic necessity revisited
GM Bierman, VCV De Paiva
School of Computer Science research reports-University of Birmingham CSR, 1996
861996
Openwordnet-pt: An open brazilian wordnet for reasoning
V Paiva, A Rademaker, G Melo
COLING 2012, 2012
812012
Linear λ-calculus and categorical models revisited
N Benton, G Bierman, V De Paiva, M Hyland
International Workshop on Computer Science Logic, 61-84, 1992
791992
Entailment, intensionality and text understanding
C Condoravdi, D Crouch, V De Paiva, R Stolle, DG Bobrow
Proceedings of the HLT-NAACL 2003 workshop on Text meaning, 38-45, 2003
762003
Extended Curry-Howard correspondence for a basic constructive modal logic
G Bellin, V De Paiva, E Ritter
Proceedings of methods for modalities 2, 2001
742001
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
712002
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
592007
The system can't perform the operation now. Try again later.
Articles 1–20