Valeria de Paiva - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 32 from 32

2011

Bridges from Language to Logic: Concepts, Contexts and OntologiesValeria de Paiva. ENTCS, 269:83-94, 2011. [doi]

Constructive Description Logics Hybrid-StyleValeria de Paiva, Edward Hermann Haeusler, Alexandre Rademaker. ENTCS, 273:21-31, 2011. [doi]

2010

Intuitionistic Logic and Legal OntologiesEdward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker. jurix 2010: 155-158 [doi]

2009

Logic, Language, Information and ComputationGrigori Mints, Valeria de Paiva, Ruy J. G. B. de Queiroz. iandc, 207(10):969-970, 2009. [doi]

2008

Deverbal Nouns in Knowledge RepresentationOlga Gurevich, Richard Crouch, Tracy H. King, Valeria de Paiva. logcom, 18(3):385-404, 2008. [doi]

2007

PrefacePatrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen. ENTCS, 174(6):1-2, 2007. [doi]

Textual Inference Logic: Take TwoValeria de Paiva, Daniel G. Bobrow, Cleo Condoravdi, Richard Crouch, Tracy H. King, Lauri Karttunen, Rowan Nairn, Annie Zaenen. context 2007: [doi]

2006

Intuitionistic hybrid logicTorben Braüner, Valeria de Paiva. japll, 4(3):231-255, 2006. [doi]

Deverbal Nouns in Knowledge RepresentationOlga Gurevich, Richard Crouch, Tracy H. King, Valeria de Paiva. flairs 2006: 670-675

2005

Relating Categorical Semantics for Intuitionistic Linear LogicMaria Emilia Maietti, Paola Maneggia, Valeria de Paiva, Eike Ritter. acs, 13(1):1-36, 2005. [doi]

2004

EditorialValeria de Paiva, Rajeev Goré, Michael Mendler. logcom, 14(4):439-446, 2004. [doi]

Forthcoming PapersValeria de Paiva, Rajeev Goré, Michael Mendler. logcom, 14(4):621-622, 2004. [doi]

Poset-valued sets or how to build models for linear logicsAndrea Schalk, Valeria de Paiva. TCS, 315(1):83-107, 2004. [doi]

2003

Natural Deduction and Context as (Constructive) ModalityValeria de Paiva. context 2003: 116-129 [doi]

Knowledge Tracking: Answering Implicit QuestionsReinhard Stolle, Daniel G. Bobrow, Cleo Condoravdi, Richard Crouch, Valeria de Paiva. ndqa 2003: 58-61

2002

Making ontologies work for resolving redundancies across documentsJohn O. Everett, Daniel G. Bobrow, Reinhard Stolle, Richard Crouch, Valeria de Paiva, Cleo Condoravdi, Martin van den Berg, Livia Polanyi. CACM, 45(2):55-60, 2002. [doi]

2001

Categorical and Kripke Semantics for Constructive S4 Modal LogicNatasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter. csl 2001: 292-307 [doi]

Preventing existenceCleo Condoravdi, Richard Crouch, John O. Everett, Valeria de Paiva, Reinhard Stolle, Daniel G. Bobrow, Martin van den Berg. fois 2001: 162-173 [doi]

2000

On an Intuitionistic Modal LogicGavin M. Bierman, Valeria de Paiva. sLogica, 65(3):383-416, 2000.

Linear Explicit SubstitutionsNeil Ghani, Valeria de Paiva, Eike Ritter. igpl, 8(1):7-31, 2000. [doi]

Categorical Models for Intuitionistic and Linear Type TheoryMaria Emilia Maietti, Valeria de Paiva, Eike Ritter. fossacs 2000: 223-237 [doi]

1999

Categorical Models of Explicit SubstitutionsNeil Ghani, Valeria de Paiva, Eike Ritter. fossacs 1999: 197-211

1998

Computational Types from a Logical PerspectiveP. N. Benton, Gavin M. Bierman, Valeria de Paiva. JFP, 8(2):177-193, 1998.

Building Models of Linear LogicValeria de Paiva, Andrea Schalk. amast 1999: 164-177 [doi]

Explicit Substitutions for Constructive NecessityNeil Ghani, Valeria de Paiva, Eike Ritter. icalp 1998: 743-754 [doi]

1997

A Formulation of Linear Logic Based on Dependency-RelationsTorben Braüner, Valeria de Paiva. csl 1998: 129-148

On Explicit Substitution and Names (Extended Abstract)Eike Ritter, Valeria de Paiva. icalp 1997: 248-258

1993

A Term Calculus for Intuitionistic Linear LogicP. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland. tlca 1993: 75-90

Full Intuitionistic Linear Logic (extended abstract)Martin Hyland, Valeria de Paiva. APAL, 64(3):273-291, 1993.

Rewriting Properties of Combinators for Rudimentary Linear LogicMonica Nesi, Valeria de Paiva, Eike Ritter. hoa 1994: 256-275

1992

Linear Lambda-Calculus and Categorial Models RevisitedP. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland. csl 1993: 61-84

1989

A Dialectica-like Model of Linear LogicValeria de Paiva. ctcs 1989: 341-356

Sign in or sign up to see more results.

runs on WebDSL