Digital Library
Close Browse articles from a journal
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
                                       All articles of the corresponding issues
 
                             10 results found
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
                             10 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands