|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 29 publication records. Showing 29 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano |
LOGI: A Didactic Tool for a Beginners' Course in Logic (System Description).  |
ICTCS/CILC  |
2017 |
DBLP BibTeX RDF |
|
| 1 | Feliciano Colella, Mattia D'Emidio, Guido Proietti |
Simple and Practically Efficient Fault-tolerant 2-hop Cover Labelings. |
ICTCS/CILC |
2017 |
DBLP BibTeX RDF |
|
| 1 | Mauro Ferrari 0002, Camillo Fiorentini, Guido Fiorino |
Proof-Search in Hilbert Calculi. |
ICTCS/CILC |
2017 |
DBLP BibTeX RDF |
|
| 1 | Mauro Leoncini, Gianluca De Marco, Lucia Mazzali, Manuela Montangero |
Distributed Beta-assignment on Graphs. |
ICTCS/CILC |
2017 |
DBLP BibTeX RDF |
|
| 1 | Marco Alberti 0001, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese |
Iterated Fixpoint Well-Founded Semantics for Hybrid Knowledge Bases. |
ICTCS/CILC |
2017 |
DBLP BibTeX RDF |
|
| 1 | Laura Giordano 0001, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli |
RAT-OWL: Reasoning with Rational Closure in Description Logics of Typicality. |
ICTCS/CILC |
2017 |
DBLP BibTeX RDF |
|
| 1 | Marc Neveling, Jörg Rothe |
Closing the Gap of Control Complexity in Borda Elections: Solving ten open cases. |
ICTCS/CILC |
2017 |
DBLP BibTeX RDF |
|
| 1 | Mark Korenblit, Vadim E. Levit |
Graph Expression Complexities and Simultaneous Linear Recurrences. |
ICTCS/CILC |
2017 |
DBLP BibTeX RDF |
|
| 1 | Murilo Santos de Lima, Mário César San Felice, Orlando Lee |
Connected Facility Leasing Problems. |
ICTCS/CILC |
2017 |
DBLP BibTeX RDF |
|
| 1 | Federico Bergenti, Stefania Monica |
Satisfaction of Polynomial Constraints over Finite Domains using Function Values. |
ICTCS/CILC |
2017 |
DBLP BibTeX RDF |
|
| 1 | Doriana Medic, Claudio Antares Mezzina |
Towards Parametric Causal Semantics in pi-calculus. |
ICTCS/CILC |
2017 |
DBLP BibTeX RDF |
|
| 1 | Dario Della Monica, Aniello Murano, Sasha Rubin, Luigi Sauro (eds.) |
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 |
2017 |
DBLP BibTeX RDF |
|
| 1 | Ugo Dal Lago, Francesco Gavazzo, Ryo Tanaka |
Effectful Applicative Similarity for Call-by-Name Lambda Calculi. |
ICTCS/CILC |
2017 |
DBLP BibTeX RDF |
|
| 1 | Francesca Alessandra Lisi, Corrado Mencar |
Introducing Fuzzy Quantification in OWL 2 Ontologies. |
ICTCS/CILC |
2017 |
DBLP BibTeX RDF |
|
| 1 | Michele Pasqua, Isabella Mastroeni |
On Topologies for (Hyper)Properties. |
ICTCS/CILC |
2017 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan |
Implementation of a Tableau-based Satisfiability Checker for HS3. |
ICTCS/CILC |
2017 |
DBLP BibTeX RDF |
|
| 1 | Enrico Cominato, Dario Della Monica, Angelo Montanari, Guido Sciavicco |
A Model Checker for Interval Temporal Logic over Finite Structures. |
ICTCS/CILC |
2017 |
DBLP BibTeX RDF |
|
| 1 | Marino Miculan, Marco Peressotti |
Deciding Weak Weighted Bisimulation. |
ICTCS/CILC |
2017 |
DBLP BibTeX RDF |
|
| 1 | Alice Tarzariol, Agostino Dovier, Alberto Policriti |
Towards a Logic Programming Tool for Cancer Analysis. |
ICTCS/CILC |
2017 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Ezgi Iraz Su |
An S4F-related Monotonic Modal Logic. |
ICTCS/CILC |
2017 |
DBLP BibTeX RDF |
|
| 1 | Ferdinando Cicalese, Massimiliano Rossi 0001 |
On the Multi-interval Ulam-Rényi game: For 3 Lies 4 Intervals Suffice. |
ICTCS/CILC |
2017 |
DBLP BibTeX RDF |
|
| 1 | Luca Spalazzi, Francesco Spegni |
On the Existence of Cutoffs for Model Checking Disjunctive Timed Networks. |
ICTCS/CILC |
2017 |
DBLP BibTeX RDF |
|
| 1 | Dragisa Zunic, Pierre Lescanne |
A Congruence Relation for Restructuring Classical Terms. |
ICTCS/CILC |
2017 |
DBLP BibTeX RDF |
|
| 1 | Francesco Contaldo, Marco De Bortoli, Agostino Dovier |
Optimization of a Compiler from PDDL to Picat (Short Paper). |
ICTCS/CILC |
2017 |
DBLP BibTeX RDF |
|
| 1 | Mattia D'Emidio, Imran Khan 0008 |
Multi-robot Task Allocation Problem: Current Trends and New Ideas. |
ICTCS/CILC |
2017 |
DBLP BibTeX RDF |
|
| 1 | Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria |
A C++ Reasoner for the Description Logic DL-4X(D). |
ICTCS/CILC |
2017 |
DBLP BibTeX RDF |
|
Displaying result #1 - #29 of 29 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license