-
deck
Jan 22, 2020
0
0
-
PCF2ASP
Sep 03, 2018
914
0
-
IDP2ASP
Mar 15, 2018
1,148
0
-
deck
Mar 06, 2017
1,060
0
-
Propagation Lazyness
Feb 27, 2017
991
0
-
Second Oral Presentation
Nov 15, 2016
1,219
0
-
Internal Language IDP4
Nov 02, 2016
994
0
-
iclp16
Oct 18, 2016
934
0
-
LambdASP
Sep 01, 2016
910
0
-
RuleML: Autoconfig
Jun 30, 2016
1,579
0
-
Why the Terminator can't fill in your tax form (yet)
Feb 10, 2016
882
0
-
No more TL;DR!
Jan 26, 2016
916
0
-
Compositional Logics
Oct 29, 2015
951
0
-
A web-based IDE for IDP
Aug 30, 2015
962
0
-
IDPD3
Aug 30, 2015
908
0
-
Semantics of templates in a compositional framework for building logics
Aug 20, 2015
1,124
0
-
SemanticsWIP
Aug 05, 2015
1,043
0
-
DRYing the world
Jun 02, 2015
965
0
-
Progress Report Phd
Jun 05, 2014
1,165
0