Volume 13; Issue 4-5

4

Delimited continuations for prolog

Year:
2013
Language:
english
File:
PDF, 535 KB
english, 2013
5

Relative expressiveness of defeasible logics II

Year:
2013
Language:
english
File:
PDF, 144 KB
english, 2013
7

BigYAP: Exo-compilation meets UDI

Year:
2013
Language:
english
File:
PDF, 195 KB
english, 2013
9

TLP volume 13 issue 4-5 Cover and Front matter

Year:
2013
Language:
english
File:
PDF, 120 KB
english, 2013
10

Lloyd-Topor completion and general stable models

Year:
2013
Language:
english
File:
PDF, 112 KB
english, 2013
12

Fuzzy answer sets approximations

Year:
2013
Language:
english
File:
PDF, 153 KB
english, 2013
13

On the stable model semantics for intensional functions

Year:
2013
Language:
english
File:
PDF, 139 KB
english, 2013
14

TLP volume 13 issue 4-5 Cover and Back matter

Year:
2013
Language:
english
File:
PDF, 138 KB
english, 2013
17

Stable model semantics for founded bounds

Year:
2013
Language:
english
File:
PDF, 523 KB
english, 2013
24

A practical analysis of non-termination in large logic programs

Year:
2013
Language:
english
File:
PDF, 177 KB
english, 2013
26

Probabilistic legal reasoning in CHRiSM

Year:
2013
Language:
english
File:
PDF, 136 KB
english, 2013
29

Combining decidability paradigms for existential rules

Year:
2013
Language:
english
File:
PDF, 376 KB
english, 2013