-
deck
Jan 22, 2020
0
0
-
PCF2ASP
Sep 03, 2018
1,010
0
-
IDP2ASP
Mar 15, 2018
1,252
0
-
deck
Mar 06, 2017
1,146
0
-
Propagation Lazyness
Feb 27, 2017
1,080
0
-
Second Oral Presentation
Nov 15, 2016
1,316
0
-
Internal Language IDP4
Nov 02, 2016
1,066
0
-
iclp16
Oct 18, 2016
1,012
0
-
LambdASP
Sep 01, 2016
985
0
-
RuleML: Autoconfig
Jun 30, 2016
1,684
0
-
Why the Terminator can't fill in your tax form (yet)
Feb 10, 2016
945
0
-
No more TL;DR!
Jan 26, 2016
977
0
-
Compositional Logics
Oct 29, 2015
1,021
0
-
A web-based IDE for IDP
Aug 30, 2015
1,030
0
-
IDPD3
Aug 30, 2015
971
0
-
Semantics of templates in a compositional framework for building logics
Aug 20, 2015
1,209
0
-
SemanticsWIP
Aug 05, 2015
1,138
0
-
DRYing the world
Jun 02, 2015
1,038
0
-
Progress Report Phd
Jun 05, 2014
1,246
0
