-
deck
Jan 22, 2020
0
0
-
PCF2ASP
Sep 03, 2018
906
0
-
IDP2ASP
Mar 15, 2018
1,141
0
-
deck
Mar 06, 2017
1,054
0
-
Propagation Lazyness
Feb 27, 2017
986
0
-
Second Oral Presentation
Nov 15, 2016
1,212
0
-
Internal Language IDP4
Nov 02, 2016
988
0
-
iclp16
Oct 18, 2016
928
0
-
LambdASP
Sep 01, 2016
903
0
-
RuleML: Autoconfig
Jun 30, 2016
1,572
0
-
Why the Terminator can't fill in your tax form (yet)
Feb 10, 2016
875
0
-
No more TL;DR!
Jan 26, 2016
909
0
-
Compositional Logics
Oct 29, 2015
946
0
-
A web-based IDE for IDP
Aug 30, 2015
954
0
-
IDPD3
Aug 30, 2015
899
0
-
Semantics of templates in a compositional framework for building logics
Aug 20, 2015
1,117
0
-
SemanticsWIP
Aug 05, 2015
1,030
0
-
DRYing the world
Jun 02, 2015
960
0
-
Progress Report Phd
Jun 05, 2014
1,159
0