Valeria de Paiva

Citado por

	Todos	Desde 2017
Citações	4294	1692
Índice h	30	16
Índice i10	76	38

380

190

285

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202221 23 35 52 70 65 78 81 78 62 50 62 80 79 83 125 125 146 119 125 145 89 90 195 171 253 177 325 260 311 364 251

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
Joakim NivreSenior Researcher, RISE; Professor of Computational Linguistics, Uppsala UniversityEmail confirmado em ri.se
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
Claudia FreitasPUC-RioEmail confirmado em puc-rio.br
Daniel ZemanInstitute of Formal and Applied Linguistics, Faculty of Mathematics and Physics, Charles UniversityEmail confirmado em ufal.mff.cuni.cz

Seguir

Valeria de Paiva

Outros nomesValeria Correa Vaz de Paiva, Valeria 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 CoNLL 2017 (Conference on Computational Natural Language Learning), 2017	519*	2017
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	207	2000
Inheritance, Defaults, and the Lexicon T Briscoe, V de Paiva, A Copestake Computational Linguistics, 1994	188	1994
The dialectica categories VCV de Paiva Categories in Computer Science and Logic: Proceedings of the AMS-IMS-SIAM …, 1989	170	1989
Computational types from a logical perspective PN Benton, GM Bierman, VCV de Paiva Journal of functional programming 8 (2), 177-193, 1998	154	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	152*	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	136	2001
Openwordnet-pt: An open brazilian wordnet for reasoning V Paiva, A Rademaker, G Melo COLING 2012, 2012	125	2012
Full intuitionistic linear logic M Hyland, V De Paiva Annals of Pure and Applied Logic 64 (3), 273-291, 1993	112	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	111	2003
A dialectica-like model of linear logic VCV De Paiva Category Theory and Computer Science, 341-356, 1989	107	1989
Linear λ-calculus and categorical models revisited N Benton, G Bierman, V Paiva, M Hyland International Workshop on Computer Science Logic, 61-84, 1992	98	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	93	2001
Intuitionistic necessity revisited GM Bierman, VCV De Paiva SCHOOL OF COMPUTER SCIENCE RESEARCH REPORTS-UNIVERSITY OF BIRMINGHAM CSR, 1996	92	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	77	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	73	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	65	2008
Intuitionistic hybrid logic T Braüner, V de Paiva Journal of Applied Logic 4 (3), 231-255, 2006	58	2006
The ACQUILEX LKB: An introduction A Copestake, A Sanfilippo, T Briscoe, V de Paiva Ted Briscoe, Valeria de Paiva, and Ann Copestake, editors, Inheritance …, 1994	49	1994

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

Artigos 1–20

Citações por ano

Citações duplicadas

Citações unidas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores