Valeria de Paiva

Citado por

	Todos	Desde 2017
Citações	4437	1651
Índice h	29	15
Índice i10	75	34

380

190

285

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220 25 36 52 75 67 80 72 84 63 51 64 82 78 86 126 117 149 117 136 162 121 126 220 196 278 203 359 285 326 375 99

Acesso público

Ver tudo

7 artigos

0 artigos

disponível

não disponível

Com base em autorizações de financiamento

Coautores

Alexandre RademakerIBM Research and EMAp/FGVEmail confirmado em br.ibm.com
Eike RitterSenior Lecturer in Computer Science, University of Birmingham, UKEmail confirmado em cs.bham.ac.uk
Dick CrouchXerox PARCEmail confirmado em parc.com
Gavin BiermanOracleEmail confirmado em oracle.com
Daniel G. BobrowParc, Palo Alto Research CenterEmail confirmado em parc.com
Martin HylandProfessor of Mathematical Logic, CambridgeEmail confirmado em dpmms.cam.ac.uk
Tracy Holloway KingAdobe Inc., Sensei and SearchEmail confirmado em alum.mit.edu
Nick BentonEngineering Manager, FacebookEmail confirmado em fb.com
Gerard de MeloProfessor at Hasso Plattner Institute / University of PotsdamEmail confirmado em hpi.de
Annie ZaenenConsulting professor linguistics, Stanford universityEmail confirmado em stanford.edu
Fabricio ChalubCatawikiEmail confirmado em catawiki.nl
Natasha AlechinaDepartment of Information and Computing Sciences, University of UtrechtEmail confirmado em uu.nl
Edward HaeuslerProfessor of Computer Science, PUC-RioEmail confirmado em inf.puc-rio.br
Ted BriscoeProfessor of Computational Linguistics, University of CambridgeEmail confirmado em cl.cam.ac.uk
Ann CopestakeProfessor of Computational Linguistics, University of CambridgeEmail confirmado em cl.cam.ac.uk
Rowan NairnGoogleEmail confirmado em google.com
Maria Emilia MaiettiAssociate Professor, University of PadovaEmail confirmado em math.unipd.it
Dan RothProfessor of Computer Science, University of PennsylvaniaEmail confirmado em seas.upenn.edu
Harley D. Eades IIIAssistant Professor of CS, Augusta UniversityEmail confirmado em augusta.edu
Hugo Gonçalo OliveiraCISUC, DEI, University of CoimbraEmail confirmado em dei.uc.pt

Seguir

Valeria de Paiva

University of Birmingham

Email confirmado em cs.bham.ac.uk - Página inicial

Category Theory Proof Theory Type Systems Categorical logic Semantics of Natural languages


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
CoNLL 2017 Shared Task: Multilingual Parsing from Raw Text to Universal Dependencies	471*	2017
Recognizing textual entailment: Rational, evaluation and approaches–erratum I Dagan, B Dolan, B Magnini, D Roth Natural Language Engineering 16 (1), 105-105, 2010	311	2010
A term calculus for intuitionistic linear logic N Benton, G Bierman, V Paiva, M Hyland International Conference on Typed Lambda Calculi and Applications, 75-90, 1993	256	1993
On an intuitionistic modal logic GM Bierman, VCV de Paiva Studia Logica 65 (3), 383-416, 2000	196	2000
Inheritance, Defaults, and the Lexicon (review) T Briscoe, V de Paiva, A Copestake Computational Linguistics 20 (4), 1994	188*	1994
The dialectica categories V de Paiva University of Cambridge, Computer Lab Technical Report #213, Phd thesis, 1991	163	1991
The dialectica categories VCV de Paiva Categories in Computer Science and Logic: Proceedings of the AMS-IMS-SIAM …, 1989	163	1989
Computational types from a logical perspective PN Benton, GM Bierman, VCV de Paiva Journal of functional programming 8 (2), 177-193, 1998	155	1998
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	147*	1992
Categorical and Kripke semantics for constructive S4 modal logic N Alechina, M Mendler, V Paiva, E Ritter International Workshop on Computer Science Logic, 292-307, 2001	127	2001
Openwordnet-pt: An open brazilian wordnet for reasoning V Paiva, A Rademaker, G Melo COLING 2012, 2012	124	2012
Full intuitionistic linear logic M Hyland, V De Paiva Annals of Pure and Applied Logic 64 (3), 273-291, 1993	111	1993
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	107	2003
A dialectica-like model of linear logic VCV De Paiva Category Theory and Computer Science, 341-356, 1989	105	1989
Linear λ-calculus and categorical models revisited N Benton, G Bierman, V Paiva, M Hyland International Workshop on Computer Science Logic, 61-84, 1992	96	1992
Extended Curry-Howard correspondence for a basic constructive modal logic G Bellin, V De Paiva, E Ritter Proceedings of methods for modalities 2, 2001	89	2001
Intuitionistic necessity revisited GM Bierman, VCV De Paiva SCHOOL OF COMPUTER SCIENCE RESEARCH REPORTS-UNIVERSITY OF BIRMINGHAM CSR, 1996	89	1996
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	75	2007
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	74	2002
Deverbal nouns in knowledge representation O Gurevich, R Crouch, TH King, V De Paiva Journal of Logic and Computation 18 (3), 385-404, 2008	62	2008

O sistema não pode efectuar a operação agora. Tente novamente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações unidas

Adicionar coautoresCoautores

Seguir este autor

Citado por

Coautores