| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
ASP Based Generation of Information Terms for Constructive ɛℒ
|
Bozzato, Loris
|
|
2018
|
161 |
1-2 |
p. 29-51
|
article
|
| 2 |
Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning*
|
Chesani, Federico
|
|
|
161 |
1-2 |
p. 75-111
|
article
|
| 3 |
Constraint Logic Programming with Polynomial Constraints over Finite Domains
|
Bergenti, Federico
|
|
2018
|
161 |
1-2 |
p. 9-27
|
article
|
| 4 |
Defeasible Reasoning in 𝒮ℛ𝒪ℰℒ: from Rational Entailment to Rational Closure
|
Giordano, Laura
|
|
2018
|
161 |
1-2 |
p. 135-161
|
article
|
| 5 |
Extending Logic Programming with Labelled Variables: Model and Semantics
|
Calegari, Roberta
|
|
2018
|
161 |
1-2 |
p. 53-74
|
article
|
| 6 |
From Constructivism to Logic Programming: an Homage to Mario Ornaghi
|
Ferrari, Mauro
|
|
2018
|
161 |
1-2 |
p. 1-7
|
article
|
| 7 |
Logic-based Verification of the Distributed Dining Philosophers Protocol
|
Delzanno, Giorgio
|
|
|
161 |
1-2 |
p. 113-133
|
article
|
| 8 |
Multi-Agent Dialogues and Dialogue Sequents for Proof Search and Scheduling in Intuitionistic Logic and the Modal Logic S4
|
Sticht, Martin
|
|
2018
|
161 |
1-2 |
p. 191-218
|
article
|
| 9 |
Preface
|
Fiorentini, Camillo
|
|
2018
|
161 |
1-2 |
p. v-vii
|
article
|
| 10 |
Revision of Ontologies to Accommodate Exceptions: a Typicality-based Approach*
|
Micalizio, Roberto
|
|
2018
|
161 |
1-2 |
p. 163-189
|
article
|
Journal description