Valeria de Paiva

Nuance Communications CA

	2012
c19		Valeria de Paiva, Alexandre Rademaker, Gerard de Melo: OpenWordNet-PT: An Open Brazilian Wordnet for Reasoning. COLING (Demos) 2012: 353-360
	2011
j17		Valeria de Paiva: Bridges from Language to Logic: Concepts, Contexts and Ontologies. Electr. Notes Theor. Comput. Sci. 269: 83-94 (2011)
j16		Valeria de Paiva, Edward Hermann Haeusler, Alexandre Rademaker: Constructive Description Logics Hybrid-Style. Electr. Notes Theor. Comput. Sci. 273: 21-31 (2011)
j15		Valeria de Paiva, Brigitte Pientka: Intuitionistic Modal Logic and Applications (IMLA 2008). Inf. Comput. 209(12): 1435-1436 (2011)
c18		Edward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker: Intuitionistic Description Logic and Legal Reasoning. DEXA Workshops 2011: 345-349
i1		Apostolos Syropoulos, Valeria de Paiva: Fuzzy Topological Systems. CoRR abs/1107.2513 (2011)
	2010
c17		Edward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker: Intuitionistic Logic and Legal Ontologies. JURIX 2010: 155-158
	2009
j14		Grigori Mints, Valeria de Paiva, Ruy J. G. B. de Queiroz: Logic, Language, Information and Computation. Inf. Comput. 207(10): 969-970 (2009)
	2008
j13		Olga Gurevich, Richard S. Crouch, Tracy H. King, Valeria de Paiva: Deverbal Nouns in Knowledge Representation. J. Log. Comput. 18(3): 385-404 (2008)
	2007
j12		Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen: Preface. Electr. Notes Theor. Comput. Sci. 174(6): 1-2 (2007)
j11		Joseph A. Goguen, Till Mossakowski, Valeria de Paiva, Florian Rabe, Lutz Schröder: An Institutional View on Categorical Logic. Int. J. Software and Informatics 1(1): 129-152 (2007)
c16		Valeria de Paiva, Daniel G. Bobrow, Cleo Condoravdi, Dick Crouch, Tracy H. King, Lauri Karttunen, Rowan Nairn, Annie Zaenen: Textual Inference Logic: Take Two. C&O:RR 2007
	2006
j10		Torben Braüner, Valeria de Paiva: Intuitionistic hybrid logic. J. Applied Logic 4(3): 231-255 (2006)
c15		Olga Gurevich, Richard S. Crouch, Tracy H. King, Valeria de Paiva: Deverbal Nouns in Knowledge Representation. FLAIRS Conference 2006: 670-675
	2005
j9		Maria Emilia Maietti, Paola Maneggia, Valeria de Paiva, Eike Ritter: Relating Categorical Semantics for Intuitionistic Linear Logic. Applied Categorical Structures 13(1): 1-36 (2005)
	2004
j8		Valeria de Paiva, Rajeev Goré, Michael Mendler: Editorial. J. Log. Comput. 14(4): 439-446 (2004)
j7		Valeria de Paiva, Rajeev Goré, Michael Mendler: Forthcoming Papers. J. Log. Comput. 14(4): 621-622 (2004)
j6		Andrea Schalk, Valeria de Paiva: Poset-valued sets or how to build models for linear logics. Theor. Comput. Sci. 315(1): 83-107 (2004)
	2003
c14		Valeria de Paiva: Natural Deduction and Context as (Constructive) Modality. CONTEXT 2003: 116-129
c13		Reinhard Stolle, Daniel G. Bobrow, Cleo Condoravdi, Richard S. Crouch, Valeria de Paiva: Knowledge Tracking: Answering Implicit Questions. New Directions in Question Answering 2003: 58-61
	2002
j5		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. Commun. ACM 45(2): 55-60 (2002)
	2001
c12		Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter: Categorical and Kripke Semantics for Constructive S4 Modal Logic. CSL 2001: 292-307
c11		Cleo Condoravdi, Dick Crouch, John O. Everett, Valeria de Paiva, Reinhard Stolle, Daniel G. Bobrow, Martin van den Berg: Preventing existence. FOIS 2001: 162-173
	2000
j4		Neil Ghani, Valeria de Paiva, Eike Ritter: Linear Explicit Substitutions. Logic Journal of the IGPL 8(1): 7-31 (2000)
j3		Gavin M. Bierman, Valeria de Paiva: On an Intuitionistic Modal Logic. Studia Logica 65(3): 383-416 (2000)
c10		Maria Emilia Maietti, Valeria de Paiva, Eike Ritter: Categorical Models for Intuitionistic and Linear Type Theory. FoSSaCS 2000: 223-237
	1999
c9		Neil Ghani, Valeria de Paiva, Eike Ritter: Categorical Models of Explicit Substitutions. FoSSaCS 1999: 197-211
	1998
j2		P. N. Benton, Gavin M. Bierman, Valeria de Paiva: Computational Types from a Logical Perspective. J. Funct. Program. 8(2): 177-193 (1998)
c8		Valeria de Paiva, Andrea Schalk: Building Models of Linear Logic. AMAST 1998: 164-177
c7		Neil Ghani, Valeria de Paiva, Eike Ritter: Explicit Substitutions for Constructive Necessity. ICALP 1998: 743-754
	1997
c6		Torben Braüner, Valeria de Paiva: A Formulation of Linear Logic Based on Dependency-Relations. CSL 1997: 129-148
c5		Eike Ritter, Valeria de Paiva: On Explicit Substitution and Names (Extended Abstract). ICALP 1997: 248-258
	1993
j1		Martin Hyland, Valeria de Paiva: Full Intuitionistic Linear Logic (extended abstract). Ann. Pure Appl. Logic 64(3): 273-291 (1993)
c4		Monica Nesi, Valeria de Paiva, Eike Ritter: Rewriting Properties of Combinators for Rudimentary Linear Logic. HOA 1993: 256-275
c3		P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland: A Term Calculus for Intuitionistic Linear Logic. TLCA 1993: 75-90
	1992
c2		P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland: Linear Lambda-Calculus and Categorial Models Revisited. CSL 1992: 61-84
	1989
c1		Valeria de Paiva: A Dialectica-like Model of Linear Logic. Category Theory and Computer Science 1989: 341-356

Coauthor Index

Colors in the list of coauthors

Last update Sat May 25 14:42:09 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page