Valeria de Paiva
http://www.valeriadepaiva.org/
https://scholar.google.com/citations?user=AYdo1hMAAAAJ
https://dl.acm.org/profile/81100624832
https://zbmath.org/authors/?q=ai:de-paiva.valeria
https://mathgenealogy.org/id.php?id=49840
https://en.wikipedia.org/wiki/Valeria_de_Paiva
https://twitter.com/valeriadepaiva
https://github.com/vcvpaiva
https://orcid.org/0000-0002-1078-6970
https://www.wikidata.org/entity/Q20731777
https://id.loc.gov/authorities/names/n93023476
http://andrej.com/mathematicians/D/de_Paiva_Valeria.html
https://mathscinet.ams.org/mathscinet/MRAuthorID/135320
Topos Institute, Berkeley, CA, USA
Nuance Communications, Sunnyvale, CA, USA
Aikaterini-Lida Kalouli
Hai Hu
Alexander F. Webb
Lawrence S. Moss
Valeria de Paiva
Curing the SICK and Other NLI Maladies.
199-243
2023
March
49
Comput. Linguistics
1
https://doi.org/10.1162/coli_a_00465
db/journals/coling/coling49.html#KalouliHWMP23
Davide Trotta
Matteo Spadetto
Valeria de Paiva
Dialectica principles via Gödel doctrines.
113692
2023
February
947
Theor. Comput. Sci.
https://doi.org/10.1016/j.tcs.2023.113692
db/journals/tcs/tcs947.html#TrottaSP23
Paolo Baldan
Valeria de Paiva
10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, June 19-21, 2023, Indiana University Bloomington, IN, USA
CALCO
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
2023
LIPIcs
270
978-3-95977-287-7
https://www.dagstuhl.de/dagpub/978-3-95977-287-7
db/conf/calco/calco2023.html
Rodrigo Veiga 0002
Markus Endler
Valeria de Paiva
Extracting Blockchain Concepts from Text.
2023
abs/2305.10408
CoRR
https://doi.org/10.48550/arXiv.2305.10408
db/journals/corr/corr2305.html#abs-2305-10408
Jacob Collard
Valeria de Paiva
Eswaran Subrahmanian
Parmesan: mathematical concept extraction for education.
2023
abs/2307.06699
CoRR
https://doi.org/10.48550/arXiv.2307.06699
db/journals/corr/corr2307.html#abs-2307-06699
Valeria de Paiva
Qiyue Gao
Pavel Kovalev
Lawrence S. Moss
Extracting Mathematical Concepts with Large Language Models.
2023
abs/2309.00642
CoRR
https://doi.org/10.48550/arXiv.2309.00642
https://www.wikidata.org/entity/Q122766640
db/journals/corr/corr2309.html#abs-2309-00642
Lucy Horowitz
Valeria de Paiva
MathGloss: Building mathematical glossaries from text.
2023
abs/2311.12649
CoRR
https://doi.org/10.48550/arXiv.2311.12649
db/journals/corr/corr2311.html#abs-2311-12649
Davide Trotta
Matteo Spadetto
Valeria de Paiva
Dialectica logical principles: not only rules.
1855-1875
2022
32
J. Log. Comput.
8
https://doi.org/10.1093/logcom/exac079
db/journals/logcom/logcom32.html#TrottaSP22
Jacob Collard
Valeria de Paiva
Brendan Fong
Eswaran Subrahmanian
Extracting Mathematical Concepts from Text.
15-23
2022
W-NUT@COLING
https://aclanthology.org/2022.wnut-1.2
conf/coling/2022wnut
db/conf/coling/wnut2022.html#CollardPFS22
Valeria de Paiva
Livy Real
Aikaterini-Lida Kalouli
Of Seringueiros and Sambistas: Occupation Mappings in Historical Text.
32-40
2022
DHandNLP@PROPOR
https://ceur-ws.org/Vol-3128/paper11.pdf
conf/dhandnlp-ws/2022
db/conf/dhandnlp-ws/dhandnlp-ws2022.html#PaivaRK22
Davide Trotta
Matteo Spadetto
Valeria de Paiva
Dialectica Logical Principles.
346-363
2022
LFCS
https://doi.org/10.1007/978-3-030-93100-1_22
conf/lfcs/2022
db/conf/lfcs/lfcs2022.html#TrottaSP22
Cássia Trojahn
Maria José Finatto
Valeria de Paiva
Renata Vieira
Proceedings of the Second Workshop on Digital Humanities and Natural Language Processing (2nd DHandNLP 2022) co-located with International Conference on the Computational Processing of Portuguese (PROPOR 2022), Virtual Event, Fortaleza, Brazil, 21st March, 2022.
DHandNLP@PROPOR
CEUR-WS.org
CEUR Workshop Proceedings
3128
2022
https://ceur-ws.org/Vol-3128
https://nbn-resolving.org/urn:nbn:de:0074-3128-4
db/conf/dhandnlp-ws/dhandnlp-ws2022.html
Jacob Collard
Valeria de Paiva
Brendan Fong
Eswaran Subrahmanian
Extracting Mathematical Concepts from Text.
2022
abs/2208.13830
CoRR
https://doi.org/10.48550/arXiv.2208.13830
db/journals/corr/corr2208.html#abs-2208-13830
Valeria de Paiva
Sergei Artemov
Preface to Intiutionistic Modal Logic 2017.
2261-2264
2021
8
FLAP
8
https://collegepublications.co.uk/ifcolog/?00050
db/journals/flap/flap8.html#PaivaA21
Elaine Pimentel
Luiz Carlos Pereira
Valeria de Paiva
An ecumenical notion of entailment.
5391-5413
2021
198
Synth.
22-S
https://doi.org/10.1007/s11229-019-02226-5
db/journals/synthese/synthese198.html#PimentelPP21
Valeria de Paiva
Dialectica Comonads (Invited Talk).
3:1-3:13
2021
CALCO
https://doi.org/10.4230/LIPIcs.CALCO.2021.3
conf/calco/2021
db/conf/calco/calco2021.html#Paiva21
Davide Trotta
Matteo Spadetto
Valeria de Paiva
The Gödel Fibration.
87:1-87:16
2021
MFCS
https://doi.org/10.4230/LIPIcs.MFCS.2021.87
conf/mfcs/2021
db/conf/mfcs/mfcs2021.html#TrottaSP21
Ugo Dal Lago
Valeria de Paiva
Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity&TLLA@IJCAR-FSCD 2020, Online, 29-30 June 2020.
Linearity&TLLA@IJCAR-FSCD
2021
EPTCS
353
db/series/eptcs/eptcs353.html
https://doi.org/10.4204/EPTCS.353
https://arxiv.org/abs/2112.14305
Elena Di Lavore
Wilmer Leal
Valeria de Paiva
Dialectica Petri nets.
2021
abs/2105.12801
CoRR
https://arxiv.org/abs/2105.12801
db/journals/corr/corr2105.html#abs-2105-12801
Harley Eades III
Valeria de Paiva
Multiple conclusion linear logic: cut elimination and more.
157-174
2020
30
J. Log. Comput.
1
https://doi.org/10.1093/logcom/exaa006
db/journals/logcom/logcom30.html#EadesP20
Aikaterini-Lida Kalouli
Rita Sevastjanova
Valeria de Paiva
Richard S. Crouch
Mennatallah El-Assady
XplaiNLI: Explainable Natural Language Inference through Visual Analytics.
48-52
2020
COLING (Demonstrations)
https://doi.org/10.18653/v1/2020.coling-demos.9
https://aclanthology.org/2020.coling-demos.9/
conf/coling/2020d
db/conf/coling/coling2020d.html#KalouliSPCE20
Aikaterini-Lida Kalouli
Richard S. Crouch
Valeria de Paiva
Hy-NLI: a Hybrid system for Natural Language Inference.
5235-5249
2020
COLING
https://doi.org/10.18653/v1/2020.coling-main.459
https://aclanthology.org/2020.coling-main.459/
conf/coling/2020
db/conf/coling/coling2020.html#KalouliCP20
Paul Tarau
Valeria de Paiva
Deriving Theorems in Implicational Linear Logic, Declaratively.
ICLP Technical Communications
2020
110-123
journals/corr/abs-2009-09158
https://doi.org/10.4204/EPTCS.325.18
https://arxiv.org/abs/2009.10241
db/series/eptcs/eptcs325.html#abs-2009-10241
Valeria de Paiva
Apostolos Syropoulos
Dialectica Fuzzy Petri Nets.
2020
abs/2003.04712
CoRR
https://arxiv.org/abs/2003.04712
db/journals/corr/corr2003.html#abs-2003-04712
Valeria de Paiva
Ruy J. G. B. de Queiroz
Preface.
731-732
2019
29
Math. Struct. Comput. Sci.
6
https://doi.org/10.1017/S0960129518000373
db/journals/mscs/mscs29.html#PaivaQ19
Mihaela Rozman
Valeria de Paiva
Amy P. Felty
Ursula Martin
Women in Logic 2018 workshop report.
41-42
2019
6
ACM SIGLOG News
1
https://doi.org/10.1145/3313909.3313915
db/journals/siglog/siglog6.html#RozmanPFM19
Aikaterini-Lida Kalouli
Annebeth Buis
Livy Real
Martha Palmer
Valeria de Paiva
Explaining Simple Natural Language Inference.
132-143
2019
LAW@ACL
https://doi.org/10.18653/v1/w19-4016
https://aclanthology.org/W19-4016/
conf/acllaw/2019
db/conf/acllaw/law2019.html#KalouliBRPP19
Aikaterini-Lida Kalouli
Valeria de Paiva
Richard S. Crouch
Composing Noun Phrase Vector Representations.
84-95
2019
RepL4NLP@ACL
https://doi.org/10.18653/v1/w19-4311
https://aclanthology.org/W19-4311/
conf/rep4nlp/2019
db/conf/rep4nlp/rep4nlp2019.html#KalouliPC19
Valeria de Paiva
Alexandre Rademaker
Portuguese Manners of Speaking.
373-377
2019
GWC
https://aclanthology.org/2019.gwc-1.47/
conf/wordnet/2019
db/conf/wordnet/wordnet2019.html#PaivaR19
Thomas Ehrhard
Maribel Fernández
Valeria de Paiva
Lorenzo Tortora de Falco
Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018.
Linearity-TLLA@FLoC
2019
EPTCS
292
db/series/eptcs/eptcs292.html
https://doi.org/10.4204/EPTCS.292
http://arxiv.org/abs/1904.06159
Charles A. Stewart
Valeria de Paiva
Natasha Alechina
Intuitionistic Modal Logic: A 15-year retrospective.
873-882
2018
28
J. Log. Comput.
5
https://doi.org/10.1093/logcom/exv042
db/journals/logcom/logcom28.html#StewartPA18
Alessandra Cid
Alexandre Rademaker
Bruno Cuconato
Valeria de Paiva
Linguistic Legal Concept Extraction in Portuguese.
181-185
2018
JURIX
https://doi.org/10.3233/978-1-61499-935-5-181
conf/jurix/2018
db/conf/jurix/jurix2018.html#CidRCP18
Valeria de Paiva
Harley Eades III
Dialectica Categories for the Lambek Calculus.
256-272
2018
LFCS
https://doi.org/10.1007/978-3-319-72056-2_16
conf/lfcs/2018
db/conf/lfcs/lfcs2018.html#PaivaE18
Giovanni Siragusa
Rohan Nanda
Valeria de Paiva
Luigi Di Caro
Relating Legal Entities via Open Information Extraction.
181-187
2018
MTSR
https://doi.org/10.1007/978-3-030-14401-2_17
conf/mtsr/2018
db/conf/mtsr/mtsr2018.html#SiragusaNPC18
Livy Real
Ana Rodrigues 0007
Andressa Vieira e Silva
Beatriz Albiero
Bruna Thalenberg
Bruno Guide
Cindy Silva
Guilherme de Oliveira Lima
Igor C. S. Câmara
Milos Stanojevic
Rodrigo Souza
Valeria de Paiva
SICK-BR: A Portuguese Corpus for Inference.
303-312
2018
PROPOR
https://doi.org/10.1007/978-3-319-99722-3_31
conf/propor/2018
db/conf/propor/propor2018.html#RealRSATGSLCSSP18
Henrique Muniz
Fabricio Chalub
Alexandre Rademaker
Valeria de Paiva
Extending Wordnet to Geological Times.
145-152
2018
GWC
https://aclanthology.org/2018.gwc-1.17/
conf/wordnet/2018
db/conf/wordnet/wordnet2018.html#MunizCRP18
Jiaming Jiang
Harley Eades III
Valeria de Paiva
On the Lambek Calculus with an Exchange Modality.
Linearity-TLLA@FLoC
2018
43-89
journals/corr/abs-1904-06159
https://doi.org/10.4204/EPTCS.292.4
http://arxiv.org/abs/1904.06847
db/series/eptcs/eptcs292.html#abs-1904-06847
Carlos Olarte
Valeria de Paiva
Elaine Pimentel
Giselle Reis
The ILLTP Library for Intuitionistic Linear Logic.
Linearity-TLLA@FLoC
2018
118-132
journals/corr/abs-1904-06159
https://doi.org/10.4204/EPTCS.292.7
http://arxiv.org/abs/1904.06850
db/series/eptcs/eptcs292.html#abs-1904-06850
Valeria de Paiva
Harley Eades III
Dialectica Categories for the Lambek Calculus.
2018
abs/1801.06883
CoRR
http://arxiv.org/abs/1801.06883
db/journals/corr/corr1801.html#abs-1801-06883
Alessandra Cid
Alexandre Rademaker
Bruno Cuconato
Valeria de Paiva
Linguistic Legal Concept Extraction in Portuguese.
2018
abs/1810.09379
CoRR
http://arxiv.org/abs/1810.09379
db/journals/corr/corr1810.html#abs-1810-09379
Valeria de Paiva
Harley Eades III
Constructive Temporal Logic, Categorically.
2017
4
FLAP
4
http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf
db/journals/flap/flap4.html#PaivaE17
Samuel G. Da Silva
Valeria de Paiva
Dialectical categories, cardinalities of the continuum and combinatorics of ideals.
585-603
2017
25
Log. J. IGPL
4
https://doi.org/10.1093/jigpal/jzx016
db/journals/igpl/igpl25.html#SilvaP17
Daniel Zeman
Martin Popel
Milan Straka
Jan Hajic
Joakim Nivre
Filip Ginter
Juhani Luotolahti
Sampo Pyysalo
Slav Petrov
Martin Potthast
Francis M. Tyers
Elena Badmaeva
Memduh Gokirmak
Anna Nedoluzhko
Silvie Cinková
Jan Hajic Jr.
Jaroslava Hlavácová
Václava Kettnerová
Zdenka Uresová
Jenna Kanerva
Stina Ojala
Anna Missilä
Christopher D. Manning
Sebastian Schuster
Siva Reddy
Dima Taji
Nizar Habash
Herman Leung
Marie-Catherine de Marneffe
Manuela Sanguinetti
Maria Simi
Hiroshi Kanayama
Valeria de Paiva
Kira Droganova
Héctor Martínez Alonso
Çagri Çöltekin
Umut Sulubacak
Hans Uszkoreit
Vivien Macketanz
Aljoscha Burchardt
Kim Harris
Katrin Marheinecke
Georg Rehm
Tolga Kayadelen
Mohammed Attia
Ali El-Kahky
Zhuoran Yu
Emily Pitler
Saran Lertpradit
Michael Mandl
Jesse Kirchner
Hector Fernandez Alcalde
Jana Strnadová
Esha Banerjee
Ruli Manurung
Antonio Stella
Atsuko Shimada
Sookyoung Kwak
Gustavo Mendonça
Tatiana Lando
Rattima Nitisaroj
Josie Li
CoNLL 2017 Shared Task: Multilingual Parsing from Raw Text to Universal Dependencies.
1-19
2017
CoNLL Shared Task (2)
https://doi.org/10.18653/v1/K17-3001
conf/conll/2017st2
db/conf/conll/conll2017st2.html#ZemanPSHNGLPPPT17
Alexandre Rademaker
Fabricio Chalub
Livy Real
Cláudia Freitas
Eckhard Bick
Valeria de Paiva
Universal Dependencies for Portuguese.
197-206
2017
DepLing
https://aclanthology.org/W17-6523/
conf/depling/2017
db/conf/depling/depling2017.html#RademakerCRFBP17
Aikaterini-Lida Kalouli
Livy Real
Valeria de Paiva
Textual Inference: getting logic from humans.
2017
IWCS(2)
https://aclanthology.org/W17-6915/
conf/iwcs/2017-2
db/conf/iwcs/iwcs2017-2.html#KalouliRP17
Valeria de Paiva
Lawrence S. Moss
Daniel Leivant
Ruy J. G. B. de Queiroz
22nd Workshop on Logic, Language, Information and Computation (WoLLIC 2015).
859
2016
24
Log. J. IGPL
5
https://doi.org/10.1093/jigpal/jzw014
https://www.wikidata.org/entity/Q56675592
db/journals/igpl/igpl24.html#PaivaMLQ16
Harley Eades III
Valeria de Paiva
Multiple Conclusion Linear Logic: Cut Elimination and More.
90-105
2016
LFCS
https://doi.org/10.1007/978-3-319-27683-0_7
https://www.wikidata.org/entity/Q56994440
conf/lfcs/2016
db/conf/lfcs/lfcs2016.html#EadesP16
Fabricio Chalub
Livy Real
Alexandre Rademaker
Valeria de Paiva
Semantic Links for Portuguese.
2016
LREC
http://www.lrec-conf.org/proceedings/lrec2016/summaries/1003.html
conf/lrec/2016
db/conf/lrec/lrec2016.html#ChalubRRP16
Valeria de Paiva
Fabricio Chalub
Livy Real
Alexandre Rademaker
Making Virtue of Necessity: A Verb Lexicon.
271-282
2016
PROPOR
https://doi.org/10.1007/978-3-319-41552-9_28
https://www.wikidata.org/entity/Q56994437
conf/propor/2016
db/conf/propor/propor2016.html#PaivaCRR16
Valeria de Paiva
Livy Real
Hugo Gonçalo Oliveira
Alexandre Rademaker
Cláudia Freitas
Alberto Simões 0001
An overview of Portuguese WordNets.
74-82
2016
GWC
https://aclanthology.org/2016.gwc-1.12/
conf/wordnet/2016
db/conf/wordnet/gwc2016.html#PaivaRORFS16
Steven Neale
Valeria de Paiva
Arantxa Otegi
Alexandre Rademaker
Proceedings of the LexSem+Logics Workshop 2016.
2016
abs/1608.04767
CoRR
http://arxiv.org/abs/1608.04767
db/journals/corr/corr1608.html#NealePOR16
Alexandre Rademaker
Dário Augusto Borges Oliveira
Valeria de Paiva
Suemi Higuchi
Asla Medeiros e Sá
Moacyr Alvim
A linked open data architecture for the historical archives of the Getulio Vargas Foundation.
153-167
2015
15
Int. J. Digit. Libr.
2-4
https://doi.org/10.1007/s00799-015-0147-1
https://www.wikidata.org/entity/Q56994443
db/journals/jodl/jodl15.html#RademakerOPHSA15
Wlodek Zadrozny
Valeria de Paiva
Lawrence S. Moss
Explaining Watson: Polymath Style.
4078-4082
2015
AAAI
https://doi.org/10.1609/aaai.v29i1.9772
conf/aaai/2015
db/conf/aaai/aaai2015.html#ZadroznyPM15
Livy Real
Fabricio Chalub
Valeria de Paiva
Cláudia Freitas
Alexandre Rademaker
Seeing is Correcting: curating lexical resources using social interfaces.
20-29
2015
LDL@IJCNLP
https://doi.org/10.18653/v1/W15-4203
conf/acl-ldl/2015
db/conf/acl-ldl/acl-ldl2015.html#RealCPFR15
Valeria de Paiva
Eike Ritter
Fibrational Modal Type Theory.
143-161
2015
conf/lsfa/2015
LSFA
https://doi.org/10.1016/j.entcs.2016.06.010
https://www.wikidata.org/entity/Q56994433
db/journals/entcs/entcs323.html#PaivaR16
Makoto Kanazawa
Lawrence S. Moss
Valeria de Paiva
Third Workshop on Natural Language and Computer Science, NLCS@ICALP/LICS 2015, Kyoto, Japan, 2015
NLCS@ICALP/LICS
EasyChair
EPiC Series in Computing
32
2015
https://easychair.org/publications/volume/NLCS15
db/conf/icalp/nlcs2015.html
Valeria de Paiva
Ruy J. G. B. de Queiroz
Lawrence S. Moss
Daniel Leivant
Anjolina Grisi de Oliveira
Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
WoLLIC
Springer
2015
Lecture Notes in Computer Science
9160
978-3-662-47708-3
https://doi.org/10.1007/978-3-662-47709-0
https://www.wikidata.org/entity/Q56675577
db/conf/wollic/wollic2015.html
Marcela Quispe-Cruz
Anjolina Grisi de Oliveira
Ruy J. G. B. de Queiroz
Valeria de Paiva
Intuitionistic N-Graphs.
274-285
2014
22
Log. J. IGPL
2
https://doi.org/10.1093/jigpal/jzt033
https://www.wikidata.org/entity/Q56994482
db/journals/igpl/igpl22.html#Quispe-CruzOQP14
Valeria de Paiva
Linear logic model of state revisited.
791-804
2014
22
Log. J. IGPL
5
https://doi.org/10.1093/jigpal/jzu013
https://www.wikidata.org/entity/Q56994486
db/journals/igpl/igpl22.html#Paiva14
Gerard de Melo
Valeria de Paiva
Sense-Specific Implicative Commitments.
391-402
2014
CICLing (1)
https://doi.org/10.1007/978-3-642-54906-9_32
https://www.wikidata.org/entity/Q56994489
conf/cicling/2014-1
db/conf/cicling/cicling2014-1.html#MeloP14
Valeria de Paiva
Dário Augusto Borges Oliveira
Suemi Higuchi
Alexandre Rademaker
Gerard de Melo
Exploratory Information Extraction from a Historical Dictionary.
11-18
2014
eScience Workshops
https://doi.org/10.1109/eScience.2014.50
https://doi.ieeecomputersociety.org/10.1109/eScience.2014.50
https://www.wikidata.org/entity/Q56994472
conf/eScience/2014w
db/conf/eScience/eScience2014w.html#PaivaOHRM14
Valeria de Paiva
William Jarrold
David L. Martin 0001
Peter F. Patel-Schneider
Karen Wallace
Peter Z. Yeh
Ontologies in Enterprise Application: Dimensional Comparison.
2014
FOMI@FOIS
https://ceur-ws.org/Vol-1333/fomi2014_7.pdf
conf/fois/2014fomi
db/conf/fois/fomi2014.html#PaivaJMPWY14
Valeria de Paiva
Livy Real
Alexandre Rademaker
Gerard de Melo
NomLex-PT: A Lexicon of Portuguese Nominalizations.
2851-2858
2014
LREC
http://www.lrec-conf.org/proceedings/lrec2014/summaries/1031.html
conf/lrec/2014
db/conf/lrec/lrec2014.html#PaivaRRM14
Cláudia Freitas
Valeria de Paiva
Alexandre Rademaker
Gerard de Melo
Livy Real
Anne Silva
Extending a Lexicon of Portuguese Nominalizations with Data from Corpora.
114-124
2014
PROPOR
https://doi.org/10.1007/978-3-319-09761-9_12
https://www.wikidata.org/entity/Q56994475
conf/propor/2014
db/conf/propor/propor2014.html#FreitasPRMRS14
Alexandre Rademaker
Valeria de Paiva
Gerard de Melo
Livy-Maria Real-Coelho
Embedding NomLex-BR nominalizations into OpenWordnet-PT.
378-382
2014
GWC
https://aclanthology.org/W14-0152/
conf/wordnet/2014
db/conf/wordnet/wordnet2014.html#RademakerPMR14
Alexandre Rademaker
Valeria de Paiva
Gerard de Melo
Livy Real
Maira Gatti
OpenWordNet-PT: A Project Report.
383-390
2014
GWC
https://aclanthology.org/W14-0153/
conf/wordnet/2014
db/conf/wordnet/wordnet2014.html#RademakerPMRG14
Valeria de Paiva
Mario R. F. Benevides
Vivek Nigam
Elaine Pimentel
Proceedings of the 6th Workshop on Intuitionistic Modal Logic and Applications, IMLA 2013, in association with UNILOG 2013, Rio de Janeiro, Brazil, April 7, 2013
IMLA@UNILOG
Electronic Notes in Theoretical Computer Science
300
Elsevier
2014
https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/300/suppl/C
db/journals/entcs/entcs300.html
Valeria de Paiva
Andrei Rodin
Elements of Categorical Logic: Fifty Years Later.
265-273
2013
7
Logica Universalis
3
https://doi.org/10.1007/s11787-013-0086-9
https://www.wikidata.org/entity/Q56994495
db/journals/lu/lu7.html#PaivaR13
Valeria de Paiva
Mario R. F. Benevides
Vivek Nigam
Elaine Pimentel
Preface.
1-2
2013
conf/imla/2013
IMLA@UNILOG
https://doi.org/10.1016/j.entcs.2013.12.008
https://www.wikidata.org/entity/Q56994460
db/journals/entcs/entcs300.html#PaivaBNP14
Dick Crouch
Valeria de Paiva
If, not when.
3-20
2013
conf/imla/2013
IMLA@UNILOG
https://doi.org/10.1016/j.entcs.2013.12.009
https://www.wikidata.org/entity/Q56994456
db/journals/entcs/entcs300.html#CrouchP14
Valeria de Paiva
Charles Morgan
Samuel G. Da Silva
Natural Number Objects in Dialectica Categories.
53-65
2013
conf/lsfa/2013
LSFA
https://doi.org/10.1016/j.entcs.2014.06.005
https://www.wikidata.org/entity/Q56994452
db/journals/entcs/entcs305.html#PaivaMS14
Valeria de Paiva
Alexandre Rademaker
Gerard de Melo
OpenWordNet-PT: An Open Brazilian Wordnet for Reasoning.
353-360
2012
COLING (Demos)
https://aclanthology.org/C12-3044/
conf/coling/2012d
db/conf/coling/coling2012d.html#PaivaRM12
Valeria de Paiva
Brigitte Pientka
Intuitionistic Modal Logic and Applications (IMLA 2008).
1435-1436
2011
209
Inf. Comput.
12
https://doi.org/10.1016/j.ic.2011.10.004
https://www.wikidata.org/entity/Q56994509
db/journals/iandc/iandc209.html#PaivaP11
Edward Hermann Haeusler
Valeria de Paiva
Alexandre Rademaker
Intuitionistic Description Logic and Legal Reasoning.
345-349
2011
DEXA Workshops
https://doi.org/10.1109/DEXA.2011.46
https://doi.ieeecomputersociety.org/10.1109/DEXA.2011.46
https://www.wikidata.org/entity/Q56994513
conf/dexaw/2011
db/conf/dexaw/dexaw2011.html#HaeuslerPR11
Apostolos Syropoulos
Valeria de Paiva
Fuzzy Topological Systems
http://arxiv.org/abs/1107.2513
2011
CoRR
abs/1107.2513
db/journals/corr/corr1107.html#abs-1107-2513
Edward Hermann Haeusler
Valeria de Paiva
Alexandre Rademaker
Intuitionistic Logic and Legal Ontologies.
155-158
2010
JURIX
https://doi.org/10.3233/978-1-60750-682-9-155
conf/jurix/2010
db/conf/jurix/jurix2010.html#HaeuslerPR10
Valeria de Paiva
Edward Hermann Haeusler
Alexandre Rademaker
Constructive Description Logics Hybrid-Style.
21-31
2010
conf/hylo/2010
HyLo@LICS
https://doi.org/10.1016/j.entcs.2011.06.010
https://www.wikidata.org/entity/Q56994502
db/journals/entcs/entcs273.html#PaivaHR11
Valeria de Paiva
Bridges from Language to Logic: Concepts, Contexts and Ontologies.
83-94
2010
conf/lsfa/2010
LSFA
https://doi.org/10.1016/j.entcs.2011.03.007
https://www.wikidata.org/entity/Q56994507
db/journals/entcs/entcs269.html#Paiva11
Grigori Mints
Valeria de Paiva
Ruy J. G. B. de Queiroz
Logic, Language, Information and Computation.
969-970
2009
207
Inf. Comput.
10
https://doi.org/10.1016/j.ic.2009.03.006
https://www.wikidata.org/entity/Q56994519
db/journals/iandc/iandc207.html#MintsPQ09
Olga Gurevich
Richard S. Crouch
Tracy Holloway King
Valeria de Paiva
Deverbal Nouns in Knowledge Representation.
385-404
2008
18
J. Log. Comput.
3
https://doi.org/10.1093/logcom/exm070
https://www.wikidata.org/entity/Q56994530
db/journals/logcom/logcom18.html#GurevichCKP08
Joseph A. Goguen
Till Mossakowski
Valeria de Paiva
Florian Rabe 0001
Lutz Schröder
An Institutional View on Categorical Logic.
129-152
2007
1
Int. J. Softw. Informatics
1
http://www.ijsi.org/ch/reader/view_abstract.aspx?file_no=2007129
db/journals/ijsi/ijsi1.html#GoguenMPRS07
Daniel G. Bobrow
Dick Crouch
Tracy Holloway King
Cleo Condoravdi
Lauri Karttunen
Rowan Nairn
Valeria de Paiva
Annie Zaenen
Precision-focused Textual Inference.
16-21
2007
ACL-PASCAL@ACL
https://aclanthology.org/W07-1403/
conf/acl/2007pascal
db/conf/acl/2007pascal.html#BobrowCKCKNPZ07
Valeria de Paiva
Daniel G. Bobrow
Cleo Condoravdi
Dick Crouch
Tracy Holloway King
Lauri Karttunen
Rowan Nairn
Annie Zaenen
Textual Inference Logic: Take Two.
2007
C&O:RR
https://ceur-ws.org/Vol-298/paper3.pdf
conf/context/2007corr
db/conf/context/corr2007.html#PaivaBCCKKNZ07
Patrick Blackburn
Thomas Bolander
Torben Braüner
Valeria de Paiva
Jørgen Villadsen
Proceedings of the International Workshop on Hybrid Logic, HyLo@FLoC 2006, Seattle, WA, USA, August 11, 2006
HyLo@FLoC
Electronic Notes in Theoretical Computer Science
174
6
Elsevier
2007
https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/174/issue/6
db/conf/hylo/hylo2006.html
Torben Braüner
Valeria de Paiva
Intuitionistic hybrid logic.
231-255
2006
4
J. Appl. Log.
3
https://doi.org/10.1016/j.jal.2005.06.009
https://www.wikidata.org/entity/Q56994536
db/journals/japll/japll4.html#BraunerP06
Olga Gurevich
Richard S. Crouch
Tracy Holloway King
Valeria de Paiva
Deverbal Nouns in Knowledge Representation.
670-675
2006
conf/flairs/2006
FLAIRS
db/conf/flairs/flairs2006.html#GurevichCKP06
http://www.aaai.org/Library/FLAIRS/2006/flairs06-132.php
Patrick Blackburn
Thomas Bolander
Torben Braüner
Valeria de Paiva
Jørgen Villadsen
Preface.
1-2
2006
conf/hylo/2006
HyLo@FLoC
https://doi.org/10.1016/j.entcs.2006.11.021
https://www.wikidata.org/entity/Q56994533
db/conf/hylo/hylo2006.html#BlackburnBBPV07
Maria Emilia Maietti
Paola Maneggia
Valeria de Paiva
Eike Ritter
Relating Categorical Semantics for Intuitionistic Linear Logic.
1-36
2005
13
Appl. Categorical Struct.
1
https://doi.org/10.1007/s10485-004-3134-z
https://www.wikidata.org/entity/Q56994542
db/journals/acs/acs13.html#MaiettiMPR05
Valeria de Paiva
Rajeev Goré
Michael Mendler
Editorial.
439-446
2004
14
J. Log. Comput.
4
https://doi.org/10.1093/logcom/14.4.439
db/journals/logcom/logcom14.html#PaivaGM04
Valeria de Paiva
Rajeev Goré
Michael Mendler
Forthcoming Papers.
621-622
2004
14
J. Log. Comput.
4
https://doi.org/10.1093/logcom/14.4.621
db/journals/logcom/logcom14.html#PaivaGM04a
Andrea Schalk
Valeria de Paiva
Poset-valued sets or how to build models for linear logics.
83-107
2004
315
Theor. Comput. Sci.
1
https://doi.org/10.1016/j.tcs.2003.11.014
https://www.wikidata.org/entity/Q56994546
db/journals/tcs/tcs315.html#SchalkP04
Valeria de Paiva
Natural Deduction and Context as (Constructive) Modality.
116-129
2003
conf/context/2003
CONTEXT
https://doi.org/10.1007/3-540-44958-2_10
https://www.wikidata.org/entity/Q56994553
db/conf/context/context2003.html#Paiva03
Reinhard Stolle
Daniel G. Bobrow
Cleo Condoravdi
Richard S. Crouch
Valeria de Paiva
Knowledge Tracking: Answering Implicit Questions.
58-61
2003
conf/ndqa/2003
New Directions in Question Answering
db/conf/ndqa/ndqa2003.html#StolleBCCP03
John O. Everett
Daniel G. Bobrow
Reinhard Stolle
Richard S. Crouch
Valeria de Paiva
Cleo Condoravdi
Martin van den Berg
Livia Polanyi
Making ontologies work for resolving redundancies across documents.
55-60
2002
45
Commun. ACM
2
https://doi.org/10.1145/503124.503149
https://www.wikidata.org/entity/Q56994556
db/journals/cacm/cacm45.html#EverettBSCPCBP02
Natasha Alechina
Michael Mendler
Valeria de Paiva
Eike Ritter
Categorical and Kripke Semantics for Constructive S4 Modal Logic.
292-307
2001
conf/csl/2001
CSL
https://doi.org/10.1007/3-540-44802-0_21
https://www.wikidata.org/entity/Q56994563
db/conf/csl/csl2001.html#AlechinaMPR01
Cleo Condoravdi
Dick Crouch
John O. Everett
Valeria de Paiva
Reinhard Stolle
Daniel G. Bobrow
Martin van den Berg
Preventing existence.
162-173
2001
conf/fois/2001
FOIS
https://doi.org/10.1145/505168.505184
db/conf/fois/fois2001.html#CondoravdiCEPSBB01
Neil Ghani
Valeria de Paiva
Eike Ritter
Linear Explicit Substitutions.
2000
8
Log. J. IGPL
1
https://doi.org/10.1093/jigpal/8.1.7
db/journals/igpl/igpl8.html#GhaniPR00
7-31
Gavin M. Bierman
Valeria de Paiva
On an Intuitionistic Modal Logic.
383-416
2000
65
Stud Logica
3
db/journals/sLogica/sLogica65.html#BiermanP00
https://doi.org/10.1023/A:1005291931660
Maria Emilia Maietti
Valeria de Paiva
Eike Ritter
Categorical Models for Intuitionistic and Linear Type Theory.
223-237
2000
conf/fossacs/2000
FoSSaCS
https://doi.org/10.1007/3-540-46432-8_15
https://www.wikidata.org/entity/Q56994570
db/conf/fossacs/fossacs2000.html#MaiettiPR00
Neil Ghani
Valeria de Paiva
Eike Ritter
Categorical Models of Explicit Substitutions.
197-211
1999
conf/fossacs/1999
FoSSaCS
db/conf/fossacs/fossacs1999.html#GhaniPR99
https://doi.org/10.1007/3-540-49019-1_14
https://www.wikidata.org/entity/Q56994572
P. N. Benton
Gavin M. Bierman
Valeria de Paiva
Computational Types from a Logical Perspective.
177-193
1998
8
J. Funct. Program.
2
db/journals/jfp/jfp8.html#BentonBP98
https://doi.org/10.1017/s0956796898002998
https://www.wikidata.org/entity/Q56210999
Valeria de Paiva
Andrea Schalk
Building Models of Linear Logic.
164-177
1998
conf/amast/1998
AMAST
https://doi.org/10.1007/3-540-49253-4_14
https://www.wikidata.org/entity/Q56994583
db/conf/amast/amast98.html#PaivaS98
Neil Ghani
Valeria de Paiva
Eike Ritter
Explicit Substitutions for Constructive Necessity.
743-754
https://doi.org/10.1007/BFb0055098
https://www.wikidata.org/entity/Q56994589
1998
conf/icalp/1998
ICALP
db/conf/icalp/icalp98.html#GhaniPR98
Torben Braüner
Valeria de Paiva
A Formulation of Linear Logic Based on Dependency-Relations.
129-148
1997
conf/csl/1997
CSL
db/conf/csl/csl97.html#BraunerP97
https://doi.org/10.1007/BFb0028011
https://www.wikidata.org/entity/Q56994574
Eike Ritter
Valeria de Paiva
On Explicit Substitution and Names (Extended Abstract).
248-258
1997
conf/icalp/1997
ICALP
db/conf/icalp/icalp97.html#RitterP97
https://doi.org/10.1007/3-540-63165-8_182
https://www.wikidata.org/entity/Q56994593
Martin Hyland
Valeria de Paiva
Full Intuitionistic Linear Logic (extended abstract).
273-291
1993
64
Ann. Pure Appl. Log.
3
db/journals/apal/apal64.html#HylandP93
https://doi.org/10.1016/0168-0072(93)90146-5
https://www.wikidata.org/entity/Q56994605
Monica Nesi
Valeria de Paiva
Eike Ritter
Rewriting Properties of Combinators for Rudimentary Linear Logic.
256-275
1993
conf/hoa/1993
HOA
db/conf/hoa/hoa93.html#NesiPR93
https://doi.org/10.1007/3-540-58233-9_12
P. N. Benton
Gavin M. Bierman
Valeria de Paiva
Martin Hyland
A Term Calculus for Intuitionistic Linear Logic.
75-90
1993
conf/tlca/1993
TLCA
db/conf/tlca/tlca93.html#BentonBPH93
https://doi.org/10.1007/BFb0037099
https://www.wikidata.org/entity/Q56994611
P. N. Benton
Gavin M. Bierman
Valeria de Paiva
Martin Hyland
Linear Lambda-Calculus and Categorial Models Revisited.
61-84
1992
conf/csl/1992
CSL
db/conf/csl/csl92.html#BentonBPH92
https://doi.org/10.1007/3-540-56992-8_6
https://www.wikidata.org/entity/Q56994615
Valeria de Paiva
A Dialectica-like Model of Linear Logic.
341-356
1989
conf/ctcs/1989
Category Theory and Computer Science
db/conf/ctcs/ctcs89.html#Paiva89
https://doi.org/10.1007/BFb0018360
https://www.wikidata.org/entity/Q56994625
Beatriz Albiero
Hector Fernandez Alcalde
Natasha Alechina
Héctor Martínez Alonso
Moacyr Alvim
Sergei N. ArtëmovSergei Artemov
Mohammed Attia
Elena Badmaeva
Paolo Baldan
Esha Banerjee
Maíra Gatti de BayserMaira Gatti
Mario R. F. Benevides
Nick BentonP. N. Benton
Martin van den Berg
Eckhard Bick
Gavin M. Bierman
Patrick Blackburn
Daniel G. Bobrow
Thomas Bolander
Torben Braüner
Annebeth Buis
Aljoscha Burchardt
Igor C. S. Câmara
Luigi Di Caro
Fabricio Chalub
Alessandra Cid
Silvie Cinková
Jacob Collard
Çagri Çöltekin
Cleo Condoravdi
Richard S. CrouchDick Crouch
Bruno Cuconato
Kira Droganova
Harley Eades III
Thomas Ehrhard
Mennatallah El-Assady
Ali El-Kahky
Markus Endler
John O. Everett
Lorenzo Tortora de Falco
Amy P. Felty
Maribel Fernández
Maria José Bocorny FinattoMaria José Finatto
Brendan Fong
Cláudia Freitas
Qiyue Gao
Neil Ghani
Filip Ginter
Joseph A. Goguen
Memduh Gokirmak
Rajeev Goré
Bruno Guide
Olga Gurevich
Nizar Habash
Edward Hermann Haeusler
Jan HajicJan Hajic Jr.
Kim Harris
Suemi Higuchi
Jaroslava Hlavácová
Lucy Horowitz
Hai Hu
Martin Hyland
William Jarrold
Jiaming Jiang
Aikaterini-Lida Kalouli
Hiroshi Kanayama
Makoto Kanazawa
Jenna Kanerva
Lauri Karttunen
Tolga Kayadelen
Václava Kettnerová
Tracy Holloway King
Jesse Kirchner
Pavel Kovalev
Sookyoung Kwak
Ugo Dal Lago
Tatiana Lando
Elena Di Lavore
Wilmer Leal
Daniel Leivant
Saran Lertpradit
Herman Leung
Josie Li
Guilherme de Oliveira Lima
Juhani Luotolahti
Vivien Macketanz
Maria Emilia Maietti
Michael Mandl
Paola Maneggia
Christopher D. Manning
Ruli Manurung
Katrin Marheinecke
Marie-Catherine de Marneffe
David L. Martin 0001
Ursula Martin
Gerard de Melo
Michael Mendler
Gustavo Mendonça
Grigori Mints
Anna Missilä
Charles G. MorganCharles Morgan
Lawrence S. Moss
Till Mossakowski
Henrique Muniz
Rowan Nairn
Rohan Nanda
Steven Neale
Anna Nedoluzhko
Monica Nesi
Vivek Nigam
Rattima Nitisaroj
Joakim Nivre
Stina Ojala
Carlos Olarte
Anjolina Grisi de Oliveira
Dário A. B. OliveiraDário Augusto Borges Oliveira
Hugo Gonçalo Oliveira
Arantxa Otegi
Martha Palmer
Peter F. Patel-Schneider
Luiz Carlos Pereira
Slav Petrov
Brigitte Pientka
Elaine Pimentel
Emily Pitler
Livia Polanyi
Martin Popel
Martin Potthast
Sampo Pyysalo
Ruy J. G. B. de Queiroz
Marcela Quispe-Cruz
Florian Rabe 0001
Alexandre Rademaker
Livy RealLivy-Maria Real-Coelho
Siva Reddy
Georg Rehm
Giselle Reis
Eike Ritter
Andrei Rodin
Ana Rodrigues 0007
Mihaela Rozman
Asla Medeiros SáAsla Medeiros e Sá
Manuela Sanguinetti
Cássia Trojahn dos SantosCássia Trojahn
Andrea Schalk
Lutz Schröder
Sebastian Schuster
Rita Sevastjanova
Atsuko Shimada
Andressa Vieira e Silva
Anne Silva
Cindy Silva
Samuel G. Da Silva
Maria Simi
Alberto Simões 0001
Giovanni Siragusa
Rodrigo Souza
Matteo Spadetto
Milos Stanojevic
Antonio Stella
Charles A. Stewart
Reinhard Stolle
Milan Straka
Jana Strnadová
Eswaran Subrahmanian
Umut Sulubacak
Apostolos Syropoulos
Dima Taji
Paul Tarau
Bruna Thalenberg
Davide Trotta
Francis M. Tyers
Zdenka Uresová
Hans Uszkoreit
Rodrigo Veiga 0002
Renata Vieira
Jørgen Villadsen
Karen Wallace
Alexander F. Webb
Peter Z. Yeh
Zhuoran Yu
Wlodek Zadrozny
Annie Zaenen
Daniel Zeman