E-LIB Suche - Ergebnisse für: de Paiva, Valeria

1

Curing the SICK and Other NLI Maladies:

Kalouli, Aikaterini-Lida ; Hu, Hai ; Webb, Alexander F...
Computational Linguistics. 49 (2023) 1 - p. 199-243 , 2023

Link: https://doi.org/10.1162/..

2

Dialectica principles via Gödel doctrines:

Trotta, Davide ; Spadetto, Matteo ; de Paiva, Valeria
Theoretical Computer Science. 947 (2023) - p. 113692 , 2023

Link: https://doi.org/10.1016/..

3

Dialectica logical principles: not only rules:

Trotta, Davide ; Spadetto, Matteo ; de Paiva, Valeria
Journal of Logic and Computation. 32 (2022) 8 - p. 1855-1875 , 2022

Link: https://doi.org/10.1093/..

4

Dialectica Logical Principles:

, In: Logical Foundations of Computer Science; Lecture Notes in Computer Science,

Trotta, Davide ; Spadetto, Matteo ; de Paiva, Valeria - p. 346-363 , 2021

Link: https://doi.org/10.1007/..

5

Multiple conclusion linear logic: cut elimination and more:

de Paiva, Valeria ; Eades III, Harley
Journal of Logic and Computation. 30 (2020) 1 - p. 157-174 , 2020

Link: https://doi.org/10.1093/..

6

An ecumenical notion of entailment:

Pimentel, Elaine ; Pereira, Luiz Carlos ; de Paiva, Valeria
Synthese. 198 (2019) S22 - p. 5391-5413 , 2019

Link: https://doi.org/10.1007/..

7

Relating Legal Entities via Open Information Extraction:

, In: Metadata and Semantic Research; Communications in Computer and Information Science,

Siragusa, Giovanni ; Nanda, Rohan ; De Paiva, Valeria. - p. 181-187 , 2019

Link: https://doi.org/10.1007/..

8

Women in Logic 2018 workshop report:

Rozman, Mihaela ; de Paiva, Valeria ; Felty, Amy.
ACM SIGLOG News. 6 (2019) 1 - p. 41-42 , 2019

Link: https://doi.org/10.1145/..

9

Women in Logic 2018 workshop report:

Rozman, Mihaela ; de Paiva, Valeria ; Felty, Amy.
ACM SIGLOG News. 6 (2019) 1 - p. 41-42 , 2019

Link: https://dl.acm.org/doi/1..

10

Preface:

de Paiva, Valeria ; de Queiroz, Ruy
Mathematical Structures in Computer Science. 29 (2019) 6 - p. 731-732 , 2019

Link: https://doi.org/10.1017/..

11

SICK-BR: A Portuguese Corpus for Inference:

, In: Lecture Notes in Computer Science; Computational Processing of the Portuguese Language,

Real, Livy ; Rodrigues, Ana ; Vieira e Silva, Andressa... - p. 303-312 , 2018

Link: https://doi.org/10.1007/..

12

Fibrational Modal Type Theory:

de Paiva, Valeria ; Ritter, Eike
Electronic Notes in Theoretical Computer Science. 323 (2016) - p. 143-161 , 2016

Link: https://doi.org/10.1016/..

13

22nd Workshop on Logic, Language, Information and Computati..:

Paiva, Valeria de ; Moss, Larry ; Leivant, Daniel.
Logic Journal of IGPL. 24 (2016) 5 - p. 859-859 , 2016

Link: https://doi.org/10.1093/..

14

Logic, Language, Information, and Computation

22nd International Workshop, WoLLIC 2015, Bloomington, IN, ... Lecture Notes in Computer Science ; 9160;SpringerLink, Bücher

de Paiva, Valeria ; de Queiroz, Ruy ; de Oliveira, Anjolina G... , 2015

Link: https://doi.org/10.1007/..

15

A linked open data architecture for the historical archives..:

Rademaker, Alexandre ; Oliveira, Dário Augusto Borges ; de Paiva, Valeria...
International Journal on Digital Libraries. 15 (2015) 2-4 - p. 153-167 , 2015

Link: https://doi.org/10.1007/..