Search results for "Valeria de Paiva"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Valeria de Paiva, Brigitte Pientka	Intuitionistic Modal Logic and Applications (IMLA 2008).	Inf. Comput.	2011	DBLP DOI BibTeX RDF
1	Valeria de Paiva, Edward Hermann Haeusler, Alexandre Rademaker	Constructive Description Logics Hybrid-Style.	Electr. Notes Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Valeria de Paiva	Bridges from Language to Logic: Concepts, Contexts and Ontologies.	Electr. Notes Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Apostolos Syropoulos, Valeria de Paiva	Fuzzy Topological Systems	CoRR	2011	DBLP BibTeX RDF
1	Edward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker	Intuitionistic Description Logic and Legal Reasoning.	DEXA Workshops	2011	DBLP DOI BibTeX RDF
1	Edward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker	Intuitionistic Logic and Legal Ontologies.	JURIX	2010	DBLP DOI BibTeX RDF
1	Grigori Mints, Valeria de Paiva, Ruy J. G. B. de Queiroz	Logic, Language, Information and Computation.	Inf. Comput.	2009	DBLP DOI BibTeX RDF
1	Olga Gurevich, Richard S. Crouch, Tracy H. King, Valeria de Paiva	Deverbal Nouns in Knowledge Representation.	J. Log. Comput.	2008	DBLP DOI BibTeX RDF
1	Joseph A. Goguen, Till Mossakowski, Valeria de Paiva, Florian Rabe, Lutz Schröder	An Institutional View on Categorical Logic.	Int. J. Software and Informatics	2007	DBLP BibTeX RDF
1	Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen	Preface.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	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	DBLP BibTeX RDF
1	Torben Braüner, Valeria de Paiva	Intuitionistic hybrid logic.	J. Applied Logic	2006	DBLP DOI BibTeX RDF
1	Olga Gurevich, Richard S. Crouch, Tracy H. King, Valeria de Paiva	Deverbal Nouns in Knowledge Representation.	FLAIRS Conference	2006	DBLP BibTeX RDF
1	Maria Emilia Maietti, Paola Maneggia, Valeria de Paiva, Eike Ritter	Relating Categorical Semantics for Intuitionistic Linear Logic.	Applied Categorical Structures	2005	DBLP DOI BibTeX RDF	intuitionistic linear logic, symmetric monoidal closed categories, symmetric monoidal adjunctions, typed lambda calculus
1	Andrea Schalk, Valeria de Paiva	Poset-valued sets or how to build models for linear logics.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
1	Valeria de Paiva, Rajeev Goré, Michael Mendler	Forthcoming Papers.	J. Log. Comput.	2004	DBLP DOI BibTeX RDF
1	Valeria de Paiva, Rajeev Goré, Michael Mendler	Editorial.	J. Log. Comput.	2004	DBLP DOI BibTeX RDF
1	Valeria de Paiva	Natural Deduction and Context as (Constructive) Modality.	CONTEXT	2003	DBLP DOI BibTeX RDF	Logical formalisms for context, Representing context and contextual knowledge, Context in knowledge representation
1	Reinhard Stolle, Daniel G. Bobrow, Cleo Condoravdi, Richard S. Crouch, Valeria de Paiva	Knowledge Tracking: Answering Implicit Questions.	New Directions in Question Answering	2003	DBLP BibTeX RDF
1	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	2002	DBLP DOI BibTeX RDF
1	Cleo Condoravdi, Dick Crouch, John O. Everett, Valeria de Paiva, Reinhard Stolle, Daniel G. Bobrow, Martin van den Berg	Preventing existence.	FOIS	2001	DBLP DOI BibTeX RDF	knowledge representation, existence, natural language semantics
1	Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter	Categorical and Kripke Semantics for Constructive S4 Modal Logic.	CSL	2001	DBLP DOI BibTeX RDF
1	Neil Ghani, Valeria de Paiva, Eike Ritter	Linear Explicit Substitutions.	Logic Journal of the IGPL	2000	DBLP DOI BibTeX RDF
1	Gavin M. Bierman, Valeria de Paiva	On an Intuitionistic Modal Logic.	Studia Logica	2000	DBLP DOI BibTeX RDF
1	Maria Emilia Maietti, Valeria de Paiva, Eike Ritter	Categorical Models for Intuitionistic and Linear Type Theory.	FoSSaCS	2000	DBLP DOI BibTeX RDF
1	Neil Ghani, Valeria de Paiva, Eike Ritter	Categorical Models of Explicit Substitutions.	FoSSaCS	1999	DBLP DOI BibTeX RDF
1	P. N. Benton, Gavin M. Bierman, Valeria de Paiva	Computational Types from a Logical Perspective.	J. Funct. Program.	1998	DBLP BibTeX RDF
1	Neil Ghani, Valeria de Paiva, Eike Ritter	Explicit Substitutions for Constructive Necessity.	ICALP	1998	DBLP DOI BibTeX RDF
1	Valeria de Paiva, Andrea Schalk	Building Models of Linear Logic.	AMAST	1998	DBLP DOI BibTeX RDF
1	Eike Ritter, Valeria de Paiva	On Explicit Substitution and Names (Extended Abstract).	ICALP	1997	DBLP DOI BibTeX RDF
1	Torben Braüner, Valeria de Paiva	A Formulation of Linear Logic Based on Dependency-Relations.	CSL	1997	DBLP DOI BibTeX RDF
1	Martin Hyland, Valeria de Paiva	Full Intuitionistic Linear Logic (extended abstract).	Ann. Pure Appl. Logic	1993	DBLP DOI BibTeX RDF
1	P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland	A Term Calculus for Intuitionistic Linear Logic.	TLCA	1993	DBLP DOI BibTeX RDF
1	Monica Nesi, Valeria de Paiva, Eike Ritter	Rewriting Properties of Combinators for Rudimentary Linear Logic.	HOA	1993	DBLP DOI BibTeX RDF
1	P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland	Linear Lambda-Calculus and Categorial Models Revisited.	CSL	1992	DBLP DOI BibTeX RDF
1	Valeria de Paiva	A Dialectica-like Model of Linear Logic.	Category Theory and Computer Science	1989	DBLP BibTeX RDF

Publications of "Valeria de Paiva" ( http://dblp.L3S.de/Authors/Valeria_de_Paiva )