|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Actions Over a Constructive Semantics for Description Logics |
Bozzato, Loris |
2009 |
96 | 3 |
p. 253-269 |
artikel |
|
| 2 | Advances in Computational Logic (CILC08) |
2009 |
96 | 3 |
p. i-ii |
artikel |
||
| 3 | A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs |
Senni, Valerio |
2009 |
96 | 3 |
p. 373-393 |
artikel |
|
| 4 | ALC + T: a Preferential Extension of Description Logics |
Giordano, Laura |
2009 |
96 | 3 |
p. 341-372 |
artikel |
|
| 5 | GASP: Answer Set Programming with Lazy Grounding |
Dal Palù, Alessandro |
2009 |
96 | 3 |
p. 297-322 |
artikel |
|
| 6 | Integrating Finite Domain and Set Constraints into a Set-based Constraint Language |
Bergenti, Federico |
2009 |
96 | 3 |
p. 227-252 |
artikel |
|
| 7 | Model Checking for Graded CTL |
Ferrante, Alessandro |
2009 |
96 | 3 |
p. 323-339 |
artikel |
|
| 8 | Normal Form Nested Programs |
Bria, Annamaria |
2009 |
96 | 3 |
p. 271-295 |
artikel |
8 gevonden resultaten