Abstract is missing.
- A Diophantine representation of Wolstenholme's pseudoprimalityLuca Vallata, Eugenio G. Omodeo. 2-12 [doi]
- A natural sequent calculus for Lewis' logic of counterfactualsNicola Olivetti, Gian Luca Pozzato. 13-18 [doi]
- Infinite derivations as failuresAndrea Corradi, Federico Frassetto. 19-24 [doi]
- On the first-order rewritability of conjunctive queries over binary guarded existential rulesCristina Civili, Riccardo Rosati. 25-30 [doi]
- Computational thinking for beginners: A successful experience using PrologSilvio Beux, Daniela Briola, Andrea Corradi, Giorgio Delzanno, Angelo Ferrando, Federico Frassetto, Giovanna Guerrini, Viviana Mascardi, Marco Oreggia, Francesca Pozzi, Alessandro Solimando, Armando Tacchella. 31-45 [doi]
- A case study on graph-based planning for emergency evacuationSanta Agreste, Pasquale De Meo, Massimo Marchi, Maria Francesca Milazzo, Salvatore Nunnari, Alessandro Provetti. 46-52 [doi]
- How Answer Set Programming can help in digital forensic investigationStefania Costantini, Giovanni De Gasperis, Raffaele Olivieri. 53-65 [doi]
- Leveraging semantic web technologies for analysis of crime in social scienceLuca Pulina, Antonietta Mazzette, Laura Pandolfo, Elena Piga, Maria Laura Ruiu, Camillo Tidore. 66-71 [doi]
- Parametric protocol-driven agents and their integration in JADEAngelo Ferrando. 72-84 [doi]
- Leveraging commitments and goals in agent interactionMatteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Roberto Micalizio. 85-100 [doi]
- Evaluating compliance: from LTL to abductive logic programmingMarco Montali, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello. 101-116 [doi]
- Towards a tableau-based procedure for PLTL based on a multi-conclusion rule and logical optimizationsMauro Ferrari, Camillo Fiorentini, Guido Fiorino. 117-121 [doi]
- Ontoceramic: an OWL ontology for ceramics classificationDomenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Francesca Trapani. 122-127 [doi]
- Abductive logic programming for Datalog +/- ontologiesMarco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota. 128-143 [doi]
- Towards fuzzy granulation in OWL ontologiesFrancesca Alessandra Lisi, Corrado Mencar. 144-158 [doi]
- Preferential description logics meet sports entertainment: cardinality restrictions and perfect extensions for a better royal rumble matchGian Luca Pozzato. 159-174 [doi]
- Games with additional winning strategiesVadim Malvone, Aniello Murano, Loredana Sorrentino. 175-180 [doi]
- An authority degree-based evaluation strategy for abstract argumentation frameworksAndrea Pazienza, Floriana Esposito, Stefano Ferilli. 181-196 [doi]
- Towards visualising security with argumentsStefano Bistarelli, Fabio Rossi, Francesco Santini, Carlo Taticchi. 197-201 [doi]
- SUNNY for algorithm selection: a preliminary studyRoberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro. 202-206 [doi]