Valeria de Paiva

According to our database1, Valeria de Paiva authored at least 65 papers between 1989 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Intuitionistic Modal Logic: A 15-year retrospective.
J. Log. Comput., 2018

SICK-BR: A Portuguese Corpus for Inference.
Proceedings of the Computational Processing of the Portuguese Language, 2018

Dialectica Categories for the Lambek Calculus.
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2018

2017
Dialectical categories, cardinalities of the continuum and combinatorics of ideals.
Logic Journal of the IGPL, 2017

Constructive Temporal Logic, Categorically.
FLAP, 2017

Textual Inference: getting logic from humans.
Proceedings of the IWCS 2017 - 12th International Conference on Computational Semantics - Short papers, Montpellier, France, September 19, 2017

Universal Dependencies for Portuguese.
Proceedings of the Fourth International Conference on Dependency Linguistics, 2017


2016
22nd Workshop on Logic, Language, Information and Computation (WoLLIC 2015).
Logic Journal of the IGPL, 2016

Fibrational Modal Type Theory.
Electr. Notes Theor. Comput. Sci., 2016

Making Virtue of Necessity: A Verb Lexicon.
Proceedings of the Computational Processing of the Portuguese Language, 2016

Semantic Links for Portuguese.
Proceedings of the Tenth International Conference on Language Resources and Evaluation LREC 2016, 2016

Multiple Conclusion Linear Logic: Cut Elimination and More.
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2016

2015
A linked open data architecture for the historical archives of the Getulio Vargas Foundation.
Int. J. on Digital Libraries, 2015

Seeing is Correcting: curating lexical resources using social interfaces.
Proceedings of the 4th Workshop on Linked Data in Linguistics: Resources and Applications, 2015

Explaining Watson: Polymath Style.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Intuitionistic N-Graphs.
Logic Journal of the IGPL, 2014

Linear logic model of state revisited.
Logic Journal of the IGPL, 2014

Natural Number Objects in Dialectica Categories.
Electr. Notes Theor. Comput. Sci., 2014

Preface.
Electr. Notes Theor. Comput. Sci., 2014

If, not when.
Electr. Notes Theor. Comput. Sci., 2014

OpenWordNet-PT: A Project Report.
Proceedings of the Seventh Global Wordnet Conference, 2014

Embedding NomLex-BR nominalizations into OpenWordnet-PT.
Proceedings of the Seventh Global Wordnet Conference, 2014

Extending a Lexicon of Portuguese Nominalizations with Data from Corpora.
Proceedings of the Computational Processing of the Portuguese Language, 2014

NomLex-PT: A Lexicon of Portuguese Nominalizations.
Proceedings of the Ninth International Conference on Language Resources and Evaluation, 2014

Ontologies in Enterprise Application: Dimensional Comparison.
Proceedings of the 6th Workshop on Formal Ontologies meet Industry co-located with 8th International Conference on Formal Ontology in Information Systems (FOIS 2014), 2014

Exploratory Information Extraction from a Historical Dictionary.
Proceedings of the 10th IEEE International Conference on e-Science, 2014

Sense-Specific Implicative Commitments.
Proceedings of the Computational Linguistics and Intelligent Text Processing, 2014

2013
Elements of Categorical Logic: Fifty Years Later.
Logica Universalis, 2013

2012
OpenWordNet-PT: An Open Brazilian Wordnet for Reasoning.
Proceedings of the COLING 2012, 2012

2011
Intuitionistic Modal Logic and Applications (IMLA 2008).
Inf. Comput., 2011

Constructive Description Logics Hybrid-Style.
Electr. Notes Theor. Comput. Sci., 2011

Bridges from Language to Logic: Concepts, Contexts and Ontologies.
Electr. Notes Theor. Comput. Sci., 2011

Intuitionistic Description Logic and Legal Reasoning.
Proceedings of the 2011 Database and Expert Systems Applications, 2011

2010
Intuitionistic Logic and Legal Ontologies.
Proceedings of the Legal Knowledge and Information Systems, 2010

2009
Logic, Language, Information and Computation.
Inf. Comput., 2009

2007
An Institutional View on Categorical Logic.
Int. J. Software and Informatics, 2007

Preface.
Electr. Notes Theor. Comput. Sci., 2007

Textual Inference Logic: Take Two.
Proceedings of the International Workshop on Contexts and Ontologies: Representation and Reasoning (C&O:RR) Collocated with the 6th International and Interdisciplinary Conference on Modelling and Using Context (CONTEXT-2007), 2007

Precision-focused Textual Inference.
Proceedings of the ACL-PASCAL@ACL 2007 Workshop on Textual Entailment and Paraphrasing, 2007

2006
Intuitionistic hybrid logic.
J. Applied Logic, 2006

Deverbal Nouns in Knowledge Representation.
Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, 2006

2005
Relating Categorical Semantics for Intuitionistic Linear Logic.
Applied Categorical Structures, 2005

2004
Poset-valued sets or how to build models for linear logics.
Theor. Comput. Sci., 2004

Forthcoming Papers.
J. Log. Comput., 2004

Editorial.
J. Log. Comput., 2004

2003
Knowledge Tracking: Answering Implicit Questions.
Proceedings of the New Directions in Question Answering, 2003

Natural Deduction and Context as (Constructive) Modality.
Proceedings of the Modeling and Using Context, 2003

2002
Making ontologies work for resolving redundancies across documents.
Commun. ACM, 2002

2001

Categorical and Kripke Semantics for Constructive S4 Modal Logic.
Proceedings of the Computer Science Logic, 15th International Workshop, 2001

2000
On an Intuitionistic Modal Logic.
Studia Logica, 2000

Linear Explicit Substitutions.
Logic Journal of the IGPL, 2000

Categorical Models for Intuitionistic and Linear Type Theory.
Proceedings of the Foundations of Software Science and Computation Structures, 2000

1999
Categorical Models of Explicit Substitutions.
Proceedings of the Foundations of Software Science and Computation Structure, 1999

1998
Computational Types from a Logical Perspective.
J. Funct. Program., 1998

Explicit Substitutions for Constructive Necessity.
Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

Building Models of Linear Logic.
Proceedings of the Algebraic Methodology and Software Technology, 1998

1997
On Explicit Substitution and Names (Extended Abstract).
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

A Formulation of Linear Logic Based on Dependency-Relations.
Proceedings of the Computer Science Logic, 11th International Workshop, 1997

1993
Full Intuitionistic Linear Logic (extended abstract).
Ann. Pure Appl. Logic, 1993

A Term Calculus for Intuitionistic Linear Logic.
Proceedings of the Typed Lambda Calculi and Applications, 1993

Rewriting Properties of Combinators for Rudimentary Linear Logic.
Proceedings of the Higher-Order Algebra, 1993

1992
Linear Lambda-Calculus and Categorial Models Revisited.
Proceedings of the Computer Science Logic, 6th Workshop, 1992

1989
A Dialectica-like Model of Linear Logic.
Proceedings of the Category Theory and Computer Science, 1989


  Loading...