|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Active integrity constraints for general-purpose knowledge bases |
Cruz-Filipe, Luís |
2018 |
83 | 3-4 |
p. 213-246 |
artikel |
|
| 2 | Approximation and dependence via multiteam semantics |
Durand, Arnaud |
2018 |
83 | 3-4 |
p. 297-320 |
artikel |
|
| 3 | A unifying logic for non-deterministic, parallel and concurrent abstract state machines |
Ferrarotti, Flavio |
2017 |
83 | 3-4 |
p. 321-349 |
artikel |
|
| 4 | Equivalence between answer-set programs under (partially) fixed input |
Bliem, Bernhard |
2017 |
83 | 3-4 |
p. 277-295 |
artikel |
|
| 5 | Preface |
Gyssens, Marc |
2018 |
83 | 3-4 |
p. 209-212 |
artikel |
|
| 6 | Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem |
Beierle, Christoph |
2018 |
83 | 3-4 |
p. 247-275 |
artikel |
|
| 7 | The complexity of satisfiability in non-iterated and iterated probabilistic logics |
Kokkinis, Ioannis |
2018 |
83 | 3-4 |
p. 351-382 |
artikel |
7 gevonden resultaten