![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
CILC 2015: Genova, Italy
- Davide Ancona, Marco Maratea, Viviana Mascardi:
Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015. CEUR Workshop Proceedings 1459, CEUR-WS.org 2015
Foundations and theoretical results
- Luca Vallata, Eugenio G. Omodeo:
A Diophantine representation of Wolstenholme's pseudoprimality. 2-12 - Nicola Olivetti, Gian Luca Pozzato:
A natural sequent calculus for Lewis' logic of counterfactuals. 13-18 - Andrea Corradi, Federico Frassetto:
Infinite derivations as failures. 19-24 - Cristina Civili, Riccardo Rosati:
On the first-order rewritability of conjunctive queries over binary guarded existential rules. 25-30
Practical experiences and case studies
- Silvio Beux, Daniela Briola, Andrea Corradi, Giorgio Delzanno, Angelo Ferrando, Federico Frassetto, Giovanna Guerrini, Viviana Mascardi, Marco Oreggia, Francesca Pozzi, Alessandro Solimando, Armando Tacchella:
Computational thinking for beginners: A successful experience using Prolog. 31-45 - Santa Agreste, Pasquale De Meo, Massimo Marchi, Maria Francesca Milazzo, Salvatore Nunnari, Alessandro Provetti:
A case study on graph-based planning for emergency evacuation. 46-52 - Stefania Costantini, Giovanni De Gasperis, Raffaele Olivieri:
How Answer Set Programming can help in digital forensic investigation. 53-65 - Luca Pulina, Antonietta Mazzette, Laura Pandolfo, Elena Piga, Maria Laura Ruiu, Camillo Tidore:
Leveraging semantic web technologies for analysis of crime in social science. 66-71
Agents and multiagent systems
- Angelo Ferrando:
Parametric protocol-driven agents and their integration in JADE. 72-84 - Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Roberto Micalizio:
Leveraging commitments and goals in agent interaction. 85-100
Languages and programming
- Marco Montali, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello:
Evaluating compliance: from LTL to abductive logic programming. 101-116 - Mauro Ferrari, Camillo Fiorentini, Guido Fiorino:
Towards a tableau-based procedure for PLTL based on a multi-conclusion rule and logical optimizations. 117-121
Description logics and ontologies
- Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Francesca Trapani:
Ontoceramic: an OWL ontology for ceramics classification. 122-127 - Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota:
Abductive logic programming for Datalog +/- ontologies. 128-143 - Francesca Alessandra Lisi, Corrado Mencar:
Towards fuzzy granulation in OWL ontologies. 144-158 - Gian Luca Pozzato:
Preferential description logics meet sports entertainment: cardinality restrictions and perfect extensions for a better royal rumble match. 159-174
Applications, frameworks and tools
- Vadim Malvone, Aniello Murano, Loredana Sorrentino:
Games with additional winning strategies. 175-180 - Andrea Pazienza, Floriana Esposito, Stefano Ferilli:
An authority degree-based evaluation strategy for abstract argumentation frameworks. 181-196 - Stefano Bistarelli, Fabio Rossi, Francesco Santini, Carlo Taticchi:
Towards visualising security with arguments. 197-201 - Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu
, Jacopo Mauro:
SUNNY for algorithm selection: a preliminary study. 202-206
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.