|
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 | A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟ℒD4,× |
Cantone, Domenico |
|
176 | 3-4 |
p. 349-384 |
artikel |
|
| 2 | A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming |
Su, Ezgi Iraz |
|
176 | 3-4 |
p. 205-234 |
artikel |
|
| 3 | Dischargeable Obligations in the 𝒮CIFF Framework |
Alberti, Marco |
|
176 | 3-4 |
p. 321-348 |
artikel |
|
| 4 | Preface |
Della Monica, Dario |
|
176 | 3-4 |
p. i-ii |
artikel |
|
| 5 | Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure |
Giordano, Laura |
|
176 | 3-4 |
p. 235-269 |
artikel |
|
| 6 | Towards a Logic Programming Tool for Cancer Data Analysis |
Tarzariol, Alice |
|
176 | 3-4 |
p. 299-319 |
artikel |
|
| 7 | Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search |
Alviano, Mario |
|
176 | 3-4 |
p. 271-297 |
artikel |
7 gevonden resultaten