|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
7 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟ℒD4,× |
Cantone, Domenico |
|
176 | 3-4 |
p. 349-384 |
article |
|
| 2 | A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming |
Su, Ezgi Iraz |
|
176 | 3-4 |
p. 205-234 |
article |
|
| 3 | Dischargeable Obligations in the 𝒮CIFF Framework |
Alberti, Marco |
|
176 | 3-4 |
p. 321-348 |
article |
|
| 4 | Preface |
Della Monica, Dario |
|
176 | 3-4 |
p. i-ii |
article |
|
| 5 | Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure |
Giordano, Laura |
|
176 | 3-4 |
p. 235-269 |
article |
|
| 6 | Towards a Logic Programming Tool for Cancer Data Analysis |
Tarzariol, Alice |
|
176 | 3-4 |
p. 299-319 |
article |
|
| 7 | Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search |
Alviano, Mario |
|
176 | 3-4 |
p. 271-297 |
article |
7 results found