|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
11 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Comparative Test on the Enumeration of Extensions in Abstract Argumentation* |
Bistarelli, Stefano |
2015 |
140 | 3-4 |
p. 263-278 |
artikel |
|
| 2 | A Rule-based Verification Strategy for Array Manipulating Programs |
De Angelis, Emanuele |
2015 |
140 | 3-4 |
p. 329-355 |
artikel |
|
| 3 | A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic |
Avellone, Alessandro |
2015 |
140 | 3-4 |
p. 247-262 |
artikel |
|
| 4 | A Theoretical Perspective of Coinductive Logic Programming |
Ancona, Davide |
2015 |
140 | 3-4 |
p. 221-246 |
artikel |
|
| 5 | AUTHOR INDEX VOLUME 140 |
Cantone, Domenico |
2015 |
140 | 3-4 |
p. 413-414 |
artikel |
|
| 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 |
artikel |
|
| 7 | Learning in Description Logics with Fuzzy Concrete Domains |
Lisi, Francesca A. |
2015 |
140 | 3-4 |
p. 373-391 |
artikel |
|
| 8 | Mapping Sets and Hypersets into Numbers |
D’Agostino, Giovanna |
2015 |
140 | 3-4 |
p. 307-328 |
artikel |
|
| 9 | Negation as a Resource: a Novel View on Answer Set Semantics* |
Costantini, Stefania |
2015 |
140 | 3-4 |
p. 279-305 |
artikel |
|
| 10 | Nondeterministic Programming in Java with JSetL |
Rossi, Gianfranco |
2015 |
140 | 3-4 |
p. 393-412 |
artikel |
|
| 11 | Preface |
Cantone, Domenico |
2015 |
140 | 3-4 |
p. i-ii |
artikel |
11 gevonden resultaten