Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ezgi Iraz Su |
Epistemic Answer Set Programming: A New Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Carlo Allocca, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari |
An ASP-based Approach for Optimizing DLV Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Giuseppe Cota, Fabrizio Riguzzi, Riccardo Zese, Evelina Lamma |
KRaider: a Crawler for Linked Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., pp. 202-216, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Alberto Casagrande, Eugenio G. Omodeo (eds.) |
Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Abdullah Khan, Luciano Serafini, Loris Bozzato, Beatrice Lazzerini |
Event Detection from Video Using Answer Set Programing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., pp. 48-58, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Marco Gavanelli, Marco Alberti 0001, Evelina Lamma |
Accountable Protocols in Abductive Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Antonio Lieto, Federico Perrone, Gian Luca Pozzato |
GOCCIOLA: Generating New Knowledge by Combining Concepts in Description Logics of Typicality (short paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., pp. 157-166, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Stefania Costantini, Francesca Alessandra Lisi, Raffaele Olivieri |
DigForASP: A European Cooperation Network for Logic-based AI in Digital Forensics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., pp. 138-146, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Alberto Momigliano, Mario Ornaghi |
The Blame Game for Property-based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., pp. 4-13, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Domenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo |
Polynomial-Time Satisfiability Tests for Boolean Fragments of Set Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., pp. 123-137, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Matteo Baldoni, Cristina Baroglio, Roberto Micalizio |
Accountability, Responsibility and Robustness in Agent Organizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Laura Giordano 0001, Alberto Policriti |
Extending ALC with the power-set construct. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Bernardo Cuteri, Carmine Dodaro, Francesco Ricca |
Debugging of Answer Set Programs Using Paracoherent Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., pp. 289-299, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Giovambattista Ianni, Francesco Pacenza, Jessica Zangari |
An Infrastructure for Multi-shot Reasoning with Incremental Grounding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., pp. 269-278, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Francesca Alessandra Lisi |
Logics in Machine Learning and Data Mining: Achievements and Open Issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., pp. 82-88, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Stefania Costantini, Valentina Pitoni |
Reasoning about Memory Management in Resource-Bounded Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., pp. 217-228, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Roldolfo Brancato, Marianna Nicolosi Asmundo, Grazia Pagano, Daniele Francesco Santamaria, Salvatore Ucchino |
An Ontology for Legacy Data on Ancient Ceramics of the Plain of Catania. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., pp. 59-67, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Gian Luca Pozzato, Gabriele Soriano |
PEAR: a Tool for Reasoning About Scenarios and Probabilities in Description Logics of Typicality (short paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., pp. 147-156, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Francesco Fabiano, Idriss Riouak, Agostino Dovier, Enrico Pontelli |
Non-Well-Founded Set Based Multi-Agent Epistemic Action Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., pp. 242-259, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari |
Large Scale DLV: Preliminary Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Alice Tarzariol |
Evolution of Algorithm Portfolio for Solving Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., pp. 327-341, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Angelo Montanari |
Model Checking: The Interval Way. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., pp. 3, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Stefano Bistarelli, Francesco Faloci, Francesco Santini 0001, Carlo Taticchi |
A Tool For Ranking Arguments Through Voting-Games Power Indexes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., pp. 193-201, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Domenico Cantone, Alberto Casagrande, Francesco Fabris, Eugenio G. Omodeo |
Does Every Recursively Enumerable Set Admit a Finite-Fold Diophantine Representation? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., pp. 104-122, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Luca Ciccone, Angelo Ferrando 0001, Davide Ancona, Viviana Mascardi |
Timed Trace Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., pp. 229-241, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Vasyl Skydanienko, Sergio Tessaris |
Towards the Generation of the "Perfect" Log Using Abductive Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., pp. 179-192, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Faranak Sobhani, Umberto Straccia |
Towards a Forensic Event Ontology to Assist Video Surveillance-based Vandalism Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., pp. 30-47, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Lorenzo De Lauretis, Stefania Costantini |
An Ontology to Improve the First Aid Service Quality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Bernardo Cuteri, Carmine Dodaro, Francesco Ricca |
Computing Modular Paracoherent Answer Sets: Preliminary Result. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., pp. 279-288, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin |
Model Completeness, Covers and Superposition (Abridged Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Federico Bergenti, Stefania Monica |
Simple and Effective Sign Consistency Using Interval Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., pp. 89-103, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Agostino Dovier |
The SATisfiability problem and its impact. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., pp. 1, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Enrico Pontelli |
Multi-Agent Epistemic Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., pp. 2, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Marco De Bortoli, Federico Igne, Fabio Tardivo, Pietro Totis, Agostino Dovier, Enrico Pontelli |
Towards Distributed Computation of Answer Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., pp. 316-326, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Francesco Di Cosmo |
FO Queries Strongly Distributing over Components in Arbitrary Cardinality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., pp. 260-268, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Gian Luca Pozzato |
On Probabilities of Exceptions in Description Logics of Typicality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018., pp. 60-74, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Stefania Costantini, Giovanni De Gasperis |
Dynamic Goal Decomposition and Planning in MAS for Highly Changing Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018., pp. 40-54, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Pietro Sala |
An Algorithm for Verifying Approximate Pure Evolving Functional Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018., pp. 2-16, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Mauro Ferrari 0002, Camillo Fiorentini, Guido Fiorino |
Forward Countermodel Construction in Modal Logic K. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018., pp. 75-81, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Laura Giordano 0001, Alberto Policriti |
Power (Set) ALC (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018., pp. 17-21, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Giorgio Delzanno |
Parameterized Verification of Publish/Subcribe Protocols via Infinite-state Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018., pp. 97-111, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Paolo Felli, Marco Montali (eds.) |
Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Antonio Lieto, Gian Luca Pozzato, Alberto Valese |
COCOS: a typicality based COncept COmbination System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018., pp. 55-59, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Laura Pandolfo, Luca Pulina, Marek Zielinski |
ARKIVO: an Ontology for Describing Archival Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018., pp. 112-116, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Francesco Komauli, Alberto Momigliano |
Property-Based Testing of the Meta-Theory of Abstract Machines: an Experience Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018., pp. 22-39, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Alessandro Dal Palù, Agostino Dovier, Andrea Formisano 0001 |
2D object reconstruction with ASP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018., pp. 132-146, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Federico Chesani, Giuseppe Cota, Evelina Lamma, Paola Mello, Fabrizio Riguzzi |
A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018., pp. 117-131, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Domenico Cantone, Eugenio G. Omodeo |
Can a Single Equation Witness that every r.e. Set Admits a Finite-fold Diophantine Representation? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018., pp. 147-152, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Stefania Costantini, Abeer Dyoub, Valentina Pitoni |
Towards Humanized Ethical Intelligent Agents: the role of Reflection and Introspection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018., pp. 82-96, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
Verifying Relational Program Properties by Transforming Constrained Horn clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016., pp. 69-85, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Gianluca Pozzato |
ALC + Texp: Beyond most likely Scenarios in Preferential Description Logics of Typicality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016., pp. 37-52, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Roberto Micalizio, Gianluca Pozzato |
Typicality-based Revision for Handling Exceptions in Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016., pp. 158-173, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Laura Giordano 0001, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré |
ASP for Reasoning about Actions with an EL^bot Knowledge Base. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016., pp. 214-229, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini |
Labelled Variables in Logic Programming: Foundations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016., pp. 5-20, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Giorgio Delzanno |
A Logic-based Approach to Verify Distributed Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016., pp. 86-101, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Agostino Dovier, Paolo Benoli, Maria Concetta Brocato, Luciano Dereani, Federica Tabacco |
Reasoning in High Schools: Do it with ASP! ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016., pp. 205-213, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Francesca Alessandra Lisi |
Model with DLs + Solve with ASP! - A Case Study from Concept Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016., pp. 174-189, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Federico Bergenti, Stefania Monica, Gianfranco Rossi |
Polynomial Constraint Solving over Finite Domains with the Modified Bernstein Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016., pp. 118-131, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Laura Giordano 0001, Daniele Theseider Dupré |
Reasoning in a Rational Extension of SROEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016., pp. 53-68, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Marco De Bortoli, Roman Barták, Agostino Dovier, Neng-Fa Zhou |
Compiling and Executing PDDL in Picat. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016., pp. 132-147, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Martin Sticht |
Multi-Agent Dialogue Games and Dialogue Sequents for Proof Search and Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016., pp. 21-36, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Francesco Alberti, Silvio Ghilardi, Andrea Orsini, Elena Pagani |
Counter Abstractions in Model Checking of Distributed Broadcast Algorithms: Some Case Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016., pp. 102-117, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Loris Bozzato |
ASP Based Generation of Information Terms for Constructive EL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016., pp. 190-204, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Alessandro Dal Palù, Agostino Dovier, Andrea Formisano 0001, Alberto Policriti, Enrico Pontelli |
Logic Programming Applied to Genome Evolution in Cancer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016., pp. 148-157, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Camillo Fiorentini, Alberto Momigliano (eds.) |
Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Silvio Beux, Daniela Briola, Andrea Corradi, Giorgio Delzanno, Angelo Ferrando 0001, Federico Frassetto, Giovanna Guerrini, Viviana Mascardi, Marco Oreggia, Francesca Pozzi, Alessandro Solimando, Armando Tacchella |
Computational thinking for beginners: A successful experience using Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015., pp. 31-45, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Stefania Costantini, Giovanni De Gasperis, Raffaele Olivieri |
How Answer Set Programming can help in digital forensic investigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015., pp. 53-65, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Luca Vallata, Eugenio G. Omodeo |
A Diophantine representation of Wolstenholme's pseudoprimality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015., pp. 2-12, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Francesca Trapani |
Ontoceramic: an OWL ontology for ceramics classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015., pp. 122-127, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Nicola Olivetti, Gian Luca Pozzato |
A natural sequent calculus for Lewis' logic of counterfactuals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015., pp. 13-18, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Santa Agreste, Pasquale De Meo, Massimo Marchi, Maria Francesca Milazzo, Salvatore Nunnari, Alessandro Provetti |
A case study on graph-based planning for emergency evacuation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015., pp. 46-52, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Andrea Pazienza, Floriana Esposito, Stefano Ferilli |
An authority degree-based evaluation strategy for abstract argumentation frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015., pp. 181-196, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota |
Abductive logic programming for Datalog +/- ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015., pp. 128-143, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Luca Pulina, Antonietta Mazzette, Laura Pandolfo, Elena Piga, Maria Laura Ruiu, Camillo Tidore |
Leveraging semantic web technologies for analysis of crime in social science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015., pp. 66-71, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Stefano Bistarelli, Fabio Rossi, Francesco Santini 0001, Carlo Taticchi |
Towards visualising security with arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015., pp. 197-201, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Vadim Malvone, Aniello Murano, Loredana Sorrentino |
Games with additional winning strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015., pp. 175-180, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Marco Montali, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello |
Evaluating compliance: from LTL to abductive logic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015., pp. 101-116, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Angelo Ferrando 0001 |
Parametric protocol-driven agents and their integration in JADE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015., pp. 72-84, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Gian Luca Pozzato |
Preferential description logics meet sports entertainment: cardinality restrictions and perfect extensions for a better royal rumble match. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015., pp. 159-174, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Roberto Micalizio |
Leveraging commitments and goals in agent interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015., pp. 85-100, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Cristina Civili, Riccardo Rosati 0001 |
On the first-order rewritability of conjunctive queries over binary guarded existential rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015., pp. 25-30, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Andrea Corradi, Federico Frassetto |
Infinite derivations as failures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015., pp. 19-24, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Davide Ancona, Marco Maratea, Viviana Mascardi (eds.) |
Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu 0004, Jacopo Mauro |
SUNNY for algorithm selection: a preliminary study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015., pp. 202-206, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Mauro Ferrari 0002, Camillo Fiorentini, Guido Fiorino |
Towards a tableau-based procedure for PLTL based on a multi-conclusion rule and logical optimizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015., pp. 117-121, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Francesca Alessandra Lisi, Corrado Mencar |
Towards fuzzy granulation in OWL ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015., pp. 144-158, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Irene Benedetti, Stefano Bistarelli, Paolo Piersanti |
On Relating Voting Systems and Argumentation Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014., pp. 309-313, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Marco Gavanelli, Michela Milano, Stefano Bragaglia, Federico Chesani, Elisa Marengo, Paolo Cagnoli |
Multi-Criteria Optimal Planning for Energy Policies in CLP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014., pp. 54-68, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Francesco Alberti, Silvio Ghilardi, Natasha Sharygina |
A Framework for the Verification of Parameterized Infinite-State Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014., pp. 303-308, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Rodica Ceterchi, Eugenio G. Omodeo, Alexandru I. Tomescu |
The Representation of Boolean Algebras in the Spotlight of a Proof Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014., pp. 287-301, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Davide Ancona, Daniela Briola, Amal El Fallah Seghrouchni, Viviana Mascardi, Patrick Taillibert |
Exploiting Prolog for Projecting Agent Interaction Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014., pp. 30-45, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Francesca Alessandra Lisi, Floriana Esposito |
Semantic Web Services for Integrated Tourism in the Apulia Region. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014., pp. 178-193, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Stefania Costantini, Giovanni De Gasperis |
Runtime Self-Checking via Temporal (Meta-)Axioms for Assurance of Logical Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014., pp. 241-255, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Mauro Ferrari 0002, Camillo Fiorentini, Guido Fiorino |
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014., pp. 46-53, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo |
Herbrand-Satisfiability of a Quantified Set-theoretical Fragment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014., pp. 162-177, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Daniela Briola, Viviana Mascardi, Davide Ancona |
Distributed Runtime Verification of JADE and Jason Multiagent Systems with Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014., pp. 319-323, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Simona Colucci, Silvia Giannini 0001, Francesco M. Donini, Eugenio Di Sciascio |
Finding Commonalities in Linked Open Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014., pp. 324-329, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Mathew Joseph, Gabriel M. Kuper, Luciano Serafini |
Query Answering over Contextualized RDF Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014., pp. 210-224, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Stefania Costantini, Andrea Formisano 0001 |
Query Answering in Resource-Based Answer Set Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014., pp. 69-83, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco |
A First Study of the Horn Fragment of the Modal Logic of Time Intervals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014., pp. 314-318, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|