ICTCS/CILC

Keyphrases

Publications

2017

Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano
LOGI: A Didactic Tool for a Beginners' Course in Logic (System Description). ICTCS/CILC (2017)
Feliciano Colella, Mattia D'Emidio, Guido Proietti
Simple and Practically Efficient Fault-tolerant 2-hop Cover Labelings. ICTCS/CILC (2017)
Mauro Ferrari, Camillo Fiorentini, Guido Fiorino
Proof-Search in Hilbert Calculi. ICTCS/CILC (2017)
Mauro Leoncini, Gianluca De Marco, Lucia Mazzali, Manuela Montangero
Distributed Beta-assignment on Graphs. ICTCS/CILC (2017)
Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
Iterated Fixpoint Well-Founded Semantics for Hybrid Knowledge Bases. ICTCS/CILC (2017)
Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli
RAT-OWL: Reasoning with Rational Closure in Description Logics of Typicality. ICTCS/CILC (2017)
Marc Neveling, Jörg Rothe
Closing the Gap of Control Complexity in Borda Elections: Solving ten open cases. ICTCS/CILC (2017)
Mark Korenblit, Vadim E. Levit
Graph Expression Complexities and Simultaneous Linear Recurrences. ICTCS/CILC (2017)
Murilo Santos de Lima, Mário César San Felice, Orlando Lee
Connected Facility Leasing Problems. ICTCS/CILC (2017)
Federico Bergenti, Stefania Monica
Satisfaction of Polynomial Constraints over Finite Domains using Function Values. ICTCS/CILC (2017)
Doriana Medic, Claudio Antares Mezzina
Towards Parametric Causal Semantics in pi-calculus. ICTCS/CILC (2017)
Ugo Dal Lago, Francesco Gavazzo, Ryo Tanaka
Effectful Applicative Similarity for Call-by-Name Lambda Calculi. ICTCS/CILC (2017)
Francesca Alessandra Lisi, Corrado Mencar
Introducing Fuzzy Quantification in OWL 2 Ontologies. ICTCS/CILC (2017)
Michele Pasqua, Isabella Mastroeni
On Topologies for (Hyper)Properties. ICTCS/CILC (2017)
Stefania Costantini, Giovanni De Gasperis, Valentina Pitoni, Agnese Salutari
DALI: A Multi Agent System Framework for the Web, Cognitive Robotic and Complex Event Processing. ICTCS/CILC (2017)
Andrzej Czygrinow, Michal Hanckowiak, Wojciech Wawrzyniak, Marcin Witkowski
Distributed Approximation Algorithms for k-dominating Set in Graphs of Bounded Genus and Linklessly Embeddable Graphs. ICTCS/CILC (2017)
Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan
Implementation of a Tableau-based Satisfiability Checker for HS3. ICTCS/CILC (2017)
Enrico Cominato, Dario Della Monica, Angelo Montanari, Guido Sciavicco
A Model Checker for Interval Temporal Logic over Finite Structures. ICTCS/CILC (2017)
Marino Miculan, Marco Peressotti
Deciding Weak Weighted Bisimulation. ICTCS/CILC (2017)
Alice Tarzariol, Agostino Dovier, Alberto Policriti
Towards a Logic Programming Tool for Cancer Analysis. ICTCS/CILC (2017)
David Barozzini, Dario Della Monica, Angelo Montanari, Pietro Sala
Counter-queue Automata with an Application to a Meaningful Extension of Omega-regular Languages. ICTCS/CILC (2017)
Ezgi Iraz Su
An S4F-related Monotonic Modal Logic. ICTCS/CILC (2017)
Ferdinando Cicalese, Massimiliano Rossi
On the Multi-interval Ulam-Rényi game: For 3 Lies 4 Intervals Suffice. ICTCS/CILC (2017)
Luca Spalazzi, Francesco Spegni
On the Existence of Cutoffs for Model Checking Disjunctive Timed Networks. ICTCS/CILC (2017)
Dragisa Zunic, Pierre Lescanne
A Congruence Relation for Restructuring Classical Terms. ICTCS/CILC (2017)
Francesco Contaldo, Marco De Bortoli, Agostino Dovier
Optimization of a Compiler from PDDL to Picat (Short Paper). ICTCS/CILC (2017)
Mattia D'Emidio, Imran Khan
Multi-robot Task Allocation Problem: Current Trends and New Ideas. ICTCS/CILC (2017)
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
A C++ Reasoner for the Description Logic DL-4X(D). ICTCS/CILC (2017)

volume 1949, 2017

Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), Naples, Italy, September 26-28, 2017. ICTCS/CILC 1949 (2017)