|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
11 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A Comparative Test on the Enumeration of Extensions in Abstract Argumentation* |
Bistarelli, Stefano |
2015 |
140 | 3-4 |
p. 263-278 |
article |
|
| 2 | A Rule-based Verification Strategy for Array Manipulating Programs |
De Angelis, Emanuele |
2015 |
140 | 3-4 |
p. 329-355 |
article |
|
| 3 | A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic |
Avellone, Alessandro |
2015 |
140 | 3-4 |
p. 247-262 |
article |
|
| 4 | A Theoretical Perspective of Coinductive Logic Programming |
Ancona, Davide |
2015 |
140 | 3-4 |
p. 221-246 |
article |
|
| 5 | AUTHOR INDEX VOLUME 140 |
Cantone, Domenico |
2015 |
140 | 3-4 |
p. 413-414 |
article |
|
| 6 | Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent |
Gentilini, Paolo |
2015 |
140 | 3-4 |
p. 357-372 |
article |
|
| 7 | Learning in Description Logics with Fuzzy Concrete Domains |
Lisi, Francesca A. |
2015 |
140 | 3-4 |
p. 373-391 |
article |
|
| 8 | Mapping Sets and Hypersets into Numbers |
D’Agostino, Giovanna |
2015 |
140 | 3-4 |
p. 307-328 |
article |
|
| 9 | Negation as a Resource: a Novel View on Answer Set Semantics* |
Costantini, Stefania |
2015 |
140 | 3-4 |
p. 279-305 |
article |
|
| 10 | Nondeterministic Programming in Java with JSetL |
Rossi, Gianfranco |
2015 |
140 | 3-4 |
p. 393-412 |
article |
|
| 11 | Preface |
Cantone, Domenico |
2015 |
140 | 3-4 |
p. i-ii |
article |
11 results found