-
deck
Jan 22, 2020
0
0
-
PCF2ASP
Sep 03, 2018
901
0
-
IDP2ASP
Mar 15, 2018
1,133
0
-
deck
Mar 06, 2017
1,048
0
-
Propagation Lazyness
Feb 27, 2017
981
0
-
Second Oral Presentation
Nov 15, 2016
1,206
0
-
Internal Language IDP4
Nov 02, 2016
980
0
-
iclp16
Oct 18, 2016
925
0
-
LambdASP
Sep 01, 2016
902
0
-
RuleML: Autoconfig
Jun 30, 2016
1,563
0
-
Why the Terminator can't fill in your tax form (yet)
Feb 10, 2016
873
0
-
No more TL;DR!
Jan 26, 2016
905
0
-
Compositional Logics
Oct 29, 2015
943
0
-
A web-based IDE for IDP
Aug 30, 2015
950
0
-
IDPD3
Aug 30, 2015
896
0
-
Semantics of templates in a compositional framework for building logics
Aug 20, 2015
1,112
0
-
SemanticsWIP
Aug 05, 2015
1,025
0
-
DRYing the world
Jun 02, 2015
958
0
-
Progress Report Phd
Jun 05, 2014
1,156
0