ICTCS 2017 and CILC 2017
Italian Conference on Theoretical Computer Science and Italian Conference on Computational Logic

Table of Contents

• Preface i-vi
  Dario Della Monica, Aniello Murano, Sasha Rubin, Luigi Sauro

Invited Talks

• Optimization Problems in Answer Set Programming 1-5
  Mario Alviano
• Reasoning about Exceptions in Ontologies: A Preferential Approach in Description Logics 6-10
  Laura Giordano
• Towards the Formal Verification of Correctness and Robustness of Robot Swarms 11-15
  Panagiotis Kouvaros, Alessio Lomuscio

IC-EATCS Best Young Researcher

• Rationality and Randomness 16-20
  Francesco Pasquale

GULP Best Italian PhD Thesis in Computational Logic

• Portfolio Approaches in Constraint Programming 21-21
  Roberto Amadini

IC-EATCS Best Italian PhD Thesis in Theoretical Computer Science

• What can be computed in a simple chaotic way? 22-26
  Emanuele Natale

ICTCS 2017: Accepted contributions

• Counter-queue Automata with an Application to a Meaningful Extension of Omega-regular Languages 27-38
  David Barozzini, Dario Della Monica, Angelo Montanari, Pietro Sala
• On the Multi-interval Ulam-Rényi game: For 3 Lies 4 Intervals Suffice 39-50
  Ferdinando Cicalese, Massimiliano Rossi
• Simple and Practically Efficient Fault-tolerant 2-hop Cover Labelings 51-62
  Feliciano Colella, Mattia D'Emidio, Guido Proietti
• A Model Checker for Interval Temporal Logic over Finite Structures 63-74
  Enrico Cominato, Dario Della Monica, Angelo Montanari, Guido Sciavicco
• Distributed Approximation Algorithms for k-dominating Set in Graphs of Bounded Genus and Linklessly Embeddable Graphs 75-86
  Andrzej Czygrinow, Michal Hanckowiak, Wojciech Wawrzyniak, Marcin Witkowski
• Effectful Applicative Similarity for Call-by-Name Lambda Calculi 87-98
  Ugo Dal Lago, Francesco Gavazzo, Ryo Tanak
• Multi-robot Task Allocation Problem: Current Trends and New Ideas 99-103
  Mattia D'emidio, Imran Khan
• Graph Expression Complexities and Simultaneous Linear Recurrences 104-108
  Mark Korenblit, Vadim E. Levit
• Distributed Beta-assignment on Graphs 109-120
  Mauro Leoncini, Gianluca De Marco, Lucia Mazzali, Manuela Montangero
• Towards Parametric Causal Semantics in pi-calculus 121-125
  Doriana Medic, Claudio Antares Mezzina
• Deciding Weak Weighted Bisimulation 126-137
  Marino Miculan, Marco Peressotti
• Closing the Gap of Control Complexity in Borda Elections: Solving ten open cases 138-149
  Marc Neveling, Jörg Rothe
• On Topologies for (Hyper)Properties 150-161
  Michele Pasqua, Isabella Mastroeni
• Connected Facility Leasing Problems 162-173
  Murilo Santos de Lima, Mário César San Felice, Orlando Lee
• On the Existence of Cutoffs for Model Checking Disjunctive Timed Networks 174-185
  Luca Spalazzi, Francesco Spegni
• A Congruence Relation for Restructuring Classical Terms 186-197
  Dragisa Zunic, Pierre Lescanne

The program of ICTCS 2017 also featured the presentations of the following papers, which appeared or have been submitted elsewhere:

• Belief-invariant and Quantum Equilibria in Games of Incomplete Information 198-202
  Vincenzo Auletta, Diodato Ferraioli, Ashutosh Rai, Giannicola Scarpa, Andreas Winter
• Some Classes of Graphs that are not Pairwise Compatibility Graphs (Communication) 203-207
  Pierluigi Baiocchi, Tiziana Calamoneri, Angelo Monti, Rossella Petreschi
• A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage (Extended Abstract) 208-212
  Marco Baldi, Ezio Bartocci, Franco Chiaraluce, Alessandro Cucchiarelli, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni
  Link to the original publication
• The Priority Promotion Approach to Parity Games 213-217
  Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
• Automatic Synthesis of Switching Controllers for Linear Hybrid Systems: Reachability Control 218-222
  Massimo Benerecetti, Marco Faella
  Link to the original publication
• On the Impact of Singleton Strategies in Congestion Games (Extended Abstract) 223-227
  Vittorio Bilò, Cosimo Vinci
  Link to the original publication
• Visualizing Reconciliations in Co-Phylogeny (Extended Abstract) 228-232
  Tiziana Calamoneri, Valentino Di Donato, Diego Mariottini, Maurizio Patrignani
• Obvious Strategyproofness Needs Monitoring for Good Approximations (Extended Abstract) 233-237
  Diodato Ferraioli, Carmine Ventre
• The One-Cop-Moves Game on Planar Graphs 238-242
  Ziyuan Gao, Boting Yang
• The Equidistribution of some Vincular Patterns on 132-avoiding Permutations 243-247
  Vincent Vajnovszki

CILC 2017: Accepted contributions

• Iterated Fixpoint Well-Founded Semantics for Hybrid Knowledge Bases 248-261
  Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
• Satisfaction of Polynomial Constraints over Finite Domains using Function Values 262-275
  Federico Bergenti, Stefania Monica
• A C++ Reasoner for the Description Logic DL-4X(D) 276-280
  Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria
• Optimization of a Compiler from PDDL to Picat (Short Paper) 281-285
  Francesco Contaldo, Marco De Bortoli, Agostino Dovier
• DALI: A Multi Agent System Framework for the Web, Cognitive Robotic and Complex Event Processing 286-300
  Stefania Costantini, Giovanni De Gasperis, Valentina Pitoni, Agnese Salutari
• Proof-Search in Hilbert Calculi 301-305
  Mauro Ferrari, Camillo Fiorentini, Guido Fiorino
• RAT-OWL: Reasoning with Rational Closure in Description Logics of Typicality 306-320
  Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli
• Introducing Fuzzy Quantification in OWL 2 Ontologies 321-325
  Francesca Alessandra Lisi, Corrado Mencar
• Implementation of a Tableau-based Satisfiability Checker for HS3 326-340
  Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan
• LOGI: A Didactic Tool for a Beginners' Course in Logic (System Description) 341-345
  Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano
• An S4F-related Monotonic Modal Logic 346-360
  Ezgi Iraz Su
• Towards a Logic Programming Tool for Cancer Analysis 361-375
  Alice Tarzariol, Agostino Dovier, Alberto Policriti

The program of CILC 2017 also featured the presentations of the following papers, which appeared or have been submitted elsewhere:

• Dischargeable Obligations in Abductive Logic Programming
  Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
  Link to the original publication
• Enhancing Constraints Manipulation in Semiring-Based Formalisms
  Stefano Bistarelli, Fabio Gadducci, Francesco Santini
• Can My Test Case Run on Your Test Plant? A Logic-Based Compliance Check and Its Evaluation on Real Data
  Daniela Briola, Viviana Mascardi
  Link to the original publication
• Multi-Context Systems: Dynamics and Evolution
  Pedro Cabalar, Stefania Costantini, Andrea Formisano
  Link to the original publication
• A Set-Theoretic Approach to ABox Reasoning Services
  Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria
  Link to the original publication
• Towards Nonmonotonic Relational Learning from Knowledge Graphs
  Hai Dang Tran, Daria Stepanova, Mohamed H. Gad-Elrab, Francesca Alessandra Lisi, Gerhard Weikum
  Link to the original publication
• Verifying Controllability of Time-Aware Business Processes
  Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti
  Link to the original publication
• Different Semantics for Reasoning about Knowledge and Trust
  Mirko Tagliaferri, Alessandro Aldini

Additional Information

CILC 2017 was organised by GULP.
ICTCS 2017 was organised by IC-EATCS.
Both conferences were organised by the Department of Electrical Engineering and Information Technology (DIETI) at the University of Naples "Federico II".