|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
8 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Actions Over a Constructive Semantics for Description Logics |
Bozzato, Loris |
2009 |
96 | 3 |
p. 253-269 |
article |
|
| 2 | Advances in Computational Logic (CILC08) |
2009 |
96 | 3 |
p. i-ii |
article |
||
| 3 | A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs |
Senni, Valerio |
2009 |
96 | 3 |
p. 373-393 |
article |
|
| 4 | ALC + T: a Preferential Extension of Description Logics |
Giordano, Laura |
2009 |
96 | 3 |
p. 341-372 |
article |
|
| 5 | GASP: Answer Set Programming with Lazy Grounding |
Dal Palù, Alessandro |
2009 |
96 | 3 |
p. 297-322 |
article |
|
| 6 | Integrating Finite Domain and Set Constraints into a Set-based Constraint Language |
Bergenti, Federico |
2009 |
96 | 3 |
p. 227-252 |
article |
|
| 7 | Model Checking for Graded CTL |
Ferrante, Alessandro |
2009 |
96 | 3 |
p. 323-339 |
article |
|
| 8 | Normal Form Nested Programs |
Bria, Annamaria |
2009 |
96 | 3 |
p. 271-295 |
article |
8 results found