Table of Contents
-
Preface
i-vi
Dario Della Monica
,
Aniello Murano
,
Sasha Rubin
,
Luigi Sauro
Invited Talks
IC-EATCS Best Young Researcher
GULP Best Italian PhD Thesis in Computational Logic
IC-EATCS Best Italian PhD Thesis in Theoretical
Computer Science
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".