Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18th ICTCS / 32. CILC 2017: Naples, Italy
- Dario Della Monica, Aniello Murano, Sasha Rubin, Luigi Sauro:
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. CEUR Workshop Proceedings 1949, CEUR-WS.org 2017
ICTCS 2017: Accepted contributions
- David Barozzini, Dario Della Monica, Angelo Montanari, Pietro Sala:
Counter-queue Automata with an Application to a Meaningful Extension of Omega-regular Languages. 27-38 - Ferdinando Cicalese, Massimiliano Rossi:
On the Multi-interval Ulam-Rényi game: For 3 Lies 4 Intervals Suffice. 39-50 - Feliciano Colella, Mattia D'Emidio
, Guido Proietti:
Simple and Practically Efficient Fault-tolerant 2-hop Cover Labelings. 51-62 - Enrico Cominato, Dario Della Monica, Angelo Montanari, Guido Sciavicco:
A Model Checker for Interval Temporal Logic over Finite Structures. 63-74 - Andrzej Czygrinow, Michal Hanckowiak, Wojciech Wawrzyniak, Marcin Witkowski:
Distributed Approximation Algorithms for k-dominating Set in Graphs of Bounded Genus and Linklessly Embeddable Graphs. 75-86 - Ugo Dal Lago, Francesco Gavazzo, Ryo Tanaka:
Effectful Applicative Similarity for Call-by-Name Lambda Calculi. 87-98 - Mattia D'Emidio, Imran Khan:
Multi-robot Task Allocation Problem: Current Trends and New Ideas. 99-103 - Mark Korenblit, Vadim E. Levit:
Graph Expression Complexities and Simultaneous Linear Recurrences. 104-108 - Mauro Leoncini, Gianluca De Marco, Lucia Mazzali, Manuela Montangero:
Distributed Beta-assignment on Graphs. 109-120 - Doriana Medic, Claudio Antares Mezzina:
Towards Parametric Causal Semantics in pi-calculus. 121-125 - Marino Miculan, Marco Peressotti:
Deciding Weak Weighted Bisimulation. 126-137 - Marc Neveling, Jörg Rothe:
Closing the Gap of Control Complexity in Borda Elections: Solving ten open cases. 138-149 - Michele Pasqua, Isabella Mastroeni:
On Topologies for (Hyper)Properties. 150-161 - Murilo Santos de Lima, Mário César San Felice, Orlando Lee:
Connected Facility Leasing Problems. 162-173 - Luca Spalazzi, Francesco Spegni:
On the Existence of Cutoffs for Model Checking Disjunctive Timed Networks. 174-185 - Dragisa Zunic, Pierre Lescanne:
A Congruence Relation for Restructuring Classical Terms. 186-197
CILC 2017: Accepted contributions
- Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese:
Iterated Fixpoint Well-Founded Semantics for Hybrid Knowledge Bases. 248-261 - Federico Bergenti, Stefania Monica:
Satisfaction of Polynomial Constraints over Finite Domains using Function Values. 262-275 - Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria:
A C++ Reasoner for the Description Logic DL-4X(D). 276-280 - Francesco Contaldo, Marco De Bortoli, Agostino Dovier:
Optimization of a Compiler from PDDL to Picat (Short Paper). 281-285 - Stefania Costantini, Giovanni De Gasperis, Valentina Pitoni, Agnese Salutari:
DALI: A Multi Agent System Framework for the Web, Cognitive Robotic and Complex Event Processing. 286-300 - Mauro Ferrari, Camillo Fiorentini, Guido Fiorino:
Proof-Search in Hilbert Calculi. 301-305 - Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli:
RAT-OWL: Reasoning with Rational Closure in Description Logics of Typicality. 306-320 - Francesca Alessandra Lisi, Corrado Mencar:
Introducing Fuzzy Quantification in OWL 2 Ontologies. 321-325 - Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan:
Implementation of a Tableau-based Satisfiability Checker for HS3. 326-340 - Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano:
LOGI: A Didactic Tool for a Beginners' Course in Logic (System Description). 341-345 - Ezgi Iraz Su:
An S4F-related Monotonic Modal Logic. 346-360 - Alice Tarzariol, Agostino Dovier, Alberto Policriti:
Towards a Logic Programming Tool for Cancer Analysis. 361-375
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-03-31 23:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
