Volume 16; Issue 5-6

3

Lock-free atom garbage collection for multithreaded Prolog

Year:
2016
Language:
english
File:
PDF, 261 KB
english, 2016
4

Anytime answer set optimization via unsatisfiable core shrinking

Year:
2016
Language:
english
File:
PDF, 248 KB
english, 2016
5

Online learning of event definitions

Year:
2016
Language:
english
File:
PDF, 295 KB
english, 2016
11

Stable models for infinitary formulas with extensional atoms

Year:
2016
Language:
english
File:
PDF, 182 KB
english, 2016
13

Paraconsistency and word puzzles

Year:
2016
Language:
english
File:
PDF, 187 KB
english, 2016
16

Proving infinitary formulas

Year:
2016
Language:
english
File:
PDF, 154 KB
english, 2016
19

Query answering in resource-based answer set semantics

Year:
2016
Language:
english
File:
PDF, 175 KB
english, 2016
20

Efficient algebraic effect handlers for Prolog

Year:
2016
Language:
english
File:
PDF, 460 KB
english, 2016
23

CoreALMlib: An library translated from the Component Library

Year:
2016
Language:
english
File:
PDF, 639 KB
english, 2016
25

Deriving conclusions from non-monotonic cause-effect relations

Year:
2016
Language:
english
File:
PDF, 193 KB
english, 2016
27

Semantic code browsing

Year:
2016
Language:
english
File:
PDF, 551 KB
english, 2016