nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
ASP Based Generation of Information Terms for Constructive ɛℒ
|
Bozzato, Loris |
|
2018 |
161 |
1-2 |
p. 29-51 |
artikel |
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 |
artikel |
3 |
Constraint Logic Programming with Polynomial Constraints over Finite Domains
|
Bergenti, Federico |
|
2018 |
161 |
1-2 |
p. 9-27 |
artikel |
4 |
Defeasible Reasoning in 𝒮ℛ𝒪ℰℒ: from Rational Entailment to Rational Closure
|
Giordano, Laura |
|
2018 |
161 |
1-2 |
p. 135-161 |
artikel |
5 |
Extending Logic Programming with Labelled Variables: Model and Semantics
|
Calegari, Roberta |
|
2018 |
161 |
1-2 |
p. 53-74 |
artikel |
6 |
From Constructivism to Logic Programming: an Homage to Mario Ornaghi
|
Ferrari, Mauro |
|
2018 |
161 |
1-2 |
p. 1-7 |
artikel |
7 |
Logic-based Verification of the Distributed Dining Philosophers Protocol
|
Delzanno, Giorgio |
|
|
161 |
1-2 |
p. 113-133 |
artikel |
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 |
artikel |
9 |
Preface
|
Fiorentini, Camillo |
|
2018 |
161 |
1-2 |
p. v-vii |
artikel |
10 |
Revision of Ontologies to Accommodate Exceptions: a Typicality-based Approach*
|
Micalizio, Roberto |
|
2018 |
161 |
1-2 |
p. 163-189 |
artikel |