nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Broken triangles: From value merging to a tractable class of general-arity constraint satisfaction problems
|
Cooper, Martin C. |
|
2016 |
234 |
C |
p. 196-218 23 p. |
artikel |
2 |
Editorial Board
|
|
|
2016 |
234 |
C |
p. IFC- 1 p. |
artikel |
3 |
Games for query inseparability of description logic knowledge bases
|
Botoeva, Elena |
|
2016 |
234 |
C |
p. 78-119 42 p. |
artikel |
4 |
On the expressivity of inconsistency measures
|
Thimm, Matthias |
|
2016 |
234 |
C |
p. 120-151 32 p. |
artikel |
5 |
Optimal cost almost-sure reachability in POMDPs
|
Chatterjee, Krishnendu |
|
2016 |
234 |
C |
p. 26-48 23 p. |
artikel |
6 |
Parameterised verification for multi-agent systems
|
Kouvaros, Panagiotis |
|
2016 |
234 |
C |
p. 152-189 38 p. |
artikel |
7 |
Semi-equilibrium models for paracoherent answer set programs
|
Amendola, Giovanni |
|
2016 |
234 |
C |
p. 219-271 53 p. |
artikel |
8 |
Solving QBF with counterexample guided refinement
|
Janota, Mikoláš |
|
2016 |
234 |
C |
p. 1-25 25 p. |
artikel |
9 |
The co-occurrence test for non-monotonic inference
|
Hansson, Sven Ove |
|
2016 |
234 |
C |
p. 190-195 6 p. |
artikel |
10 |
Truncated incremental search
|
Aine, Sandip |
|
2016 |
234 |
C |
p. 49-77 29 p. |
artikel |