Pure Algebra to Applied AI: a personal journey

Vor 4 Jahren 137 Aufrufe

EBMM2019 -- TUTORIA

Vor 4 Jahren 52 Aufrufe

Benchmarking Linear Logic Proofs, Valeria de Paiva

Vor 4 Jahren 221 Aufrufe

Mulheres na Lógica (e no Brasil)

Vor 4 Jahren 265 Aufrufe

Women in Logic 2019

Vor 4 Jahren 71 Aufrufe

Going Without: a modality and its role

Vor 4 Jahren 57 Aufrufe

Dialectica Categories and Petri Nets

Vor 4 Jahren 169 Aufrufe

Natural Language Inference in SICK

Vor 5 Jahren 257 Aufrufe

A Dialectica Model of Relevant Type Theory

Vor 5 Jahren 171 Aufrufe

Going Without: a modality and its role

Vor 5 Jahren 88 Aufrufe

History of LICS impromptu2016

Vor 5 Jahren 186 Aufrufe

Linear Logic via Logical Dependencies (Mirantao2018)

Vor 5 Jahren 228 Aufrufe

OWN-PT: Taking Stock

Vor 5 Jahren 89 Aufrufe

Natural Language Inference: Logic from Humans

Vor 6 Jahren 277 Aufrufe

Towards a Rewriting Framework for Textual Entailment

Vor 6 Jahren 117 Aufrufe

Women in Logic 2017 (opening remarks)

Vor 6 Jahren 280 Aufrufe

Weapons of Math Construction

Vor 6 Jahren 439 Aufrufe

Danny the champion of the world

Vor 7 Jahren 359 Aufrufe

Universal Dependencies For Inference

Vor 7 Jahren 340 Aufrufe