-
deck
Jan 22, 2020
0
0
-
PCF2ASP
Sep 03, 2018
1,000
0
-
IDP2ASP
Mar 15, 2018
1,243
0
-
deck
Mar 06, 2017
1,136
0
-
Propagation Lazyness
Feb 27, 2017
1,069
0
-
Second Oral Presentation
Nov 15, 2016
1,304
0
-
Internal Language IDP4
Nov 02, 2016
1,056
0
-
iclp16
Oct 18, 2016
998
0
-
LambdASP
Sep 01, 2016
973
0
-
RuleML: Autoconfig
Jun 30, 2016
1,672
0
-
Why the Terminator can't fill in your tax form (yet)
Feb 10, 2016
937
0
-
No more TL;DR!
Jan 26, 2016
970
0
-
Compositional Logics
Oct 29, 2015
1,008
0
-
A web-based IDE for IDP
Aug 30, 2015
1,020
0
-
IDPD3
Aug 30, 2015
962
0
-
Semantics of templates in a compositional framework for building logics
Aug 20, 2015
1,199
0
-
SemanticsWIP
Aug 05, 2015
1,128
0
-
DRYing the world
Jun 02, 2015
1,026
0
-
Progress Report Phd
Jun 05, 2014
1,235
0
