Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Gabriele Sacco, Loris Bozzato, Oliver Kutz |
Introducing Weighted Prototypes in Description Logics for Defeasible Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Alex Della Schiava, Carla Piazza, Riccardo Romanello |
Graph-Theoretical Arguments in Support of a Quantum Declarative Manifesto. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Valentina Gliozzi, Gian Luca Pozzato, Alberto Valese |
Proof Methods and Theorem Proving for Conditional Logics with Strong Centering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Alessandro Dal Palù, Agostino Dovier, Andrea Formisano 0001 |
Towards Explainable Data-to-text Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Marco Scanu, Marco Mochi, Carmine Dodaro, Giuseppe Galatà, Marco Maratea |
Operating Room Scheduling Via Answer Set Programming: The Case of ASL1 Liguria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti |
Continued Hereditarily Finite Sets Approximations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Francesco Di Cosmo |
Verification of Prev-Free Communicating Datalog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Mario Alviano, Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini |
Advancements in xASP, an XAI System for Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Camillo Fiorentini, Mauro Ferrari 0002 |
A New Approach to Clausification for Intuitionistic Propositional Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Alberto Casagrande, Alessandro Cimatti, Luca Dorigo, Carla Piazza, Stefano Tonetta |
Set-Based Invariants over Polynomial Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Stefania Costantini, Andrea Formisano 0001, Valentina Pitoni |
Preference Management in Epistemic Logic L-DINF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Mario Alviano, Laura Giordano 0001, Daniele Theseider Dupré |
Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Laura Pandolfo, Luca Pulina |
Unlocking Historical Insights: Developing a Dataset from Historical Archives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Alessandro Bertagnon, Marco Gavanelli, Fabio Zanotti |
ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Talissa Dreossi |
Exploring ILASP Through Logic Puzzles Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Agostino Dovier, Andrea Formisano 0001 (eds.) |
Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Denise Angilica, Stefano Germano, Giovambattista Ianni |
Domain-agnostic Procedural Content Generation Can Be Done Declaratively. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Domenico Cantone, Luca Cuzziol, Eugenio G. Omodeo |
A Brief History of Singlefold Diophantine Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Daniele Theseider Dupré |
Explainable Answer Set Programming for Legal Decision Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Carla Piazza, Riccardo Romanello, Robert Wille |
An ASP Approach for the Synthesis of CNOT Minimal Quantum Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca |
Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Stefania Costantini, Andrea Formisano 0001 |
Fast Prototyping of a Solver for Reduct-based ELP Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Stefano Bistarelli, Victor David, Francesco Santini 0001, Carlo Taticchi |
Temporal Probabilistic Argumentation Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Simone Caruso, Carmine Dodaro, Giuseppe Galatà, Marco Maratea |
Scheduling Periodic Treatments Via Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Stefano Bistarelli, Carlo Taticchi |
A Four-State Labelling Semantics for Weighted Argumentation Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022., pp. 279-293, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Nikola Panic, Gian Luca Pozzato |
Efficient Theorem Proving for Conditional Logics with Conditional Excluded Middle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022., pp. 217-231, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi |
Abduction in (Probabilistic) Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022., pp. 90-103, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis |
Taking stock of available technologies for compliance checking on first-order knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022., pp. 1-16, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Carmelo Fabio Longo, Corrado Santoro |
A Framework to build Abductive-Deductive Chatbots, based on Natural Language Processing and First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022., pp. 75-89, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Vito Barbara, Dimitri Buelli, Massimo Guarascio 0001, Stefano Ierace, Salvatore Iiritano, Giovanni Laboccetta, Nicola Leone, Giuseppe Manco 0001, Valerio Pesenti, Alessandro Quarta, Francesco Ricca, Ettore Ritacco |
A Loosely-coupled Neural-symbolic approach to Compliance of Electric Panels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022., pp. 247-253, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Giovanni Ciatto, Matteo Castigliò, Roberta Calegari |
Logic Programming library for Machine Learning: API design and prototype. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022., pp. 104-118, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Lorenzo Cian, Talissa Dreossi, Agostino Dovier |
Modeling and Solving the Rush Hour puzzle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022., pp. 294-306, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Flavio Bertini 0001, Alessandro Dal Palù, Francesco Fabiano, Eleonora Iotti |
CARING for xAI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022., pp. 47-60, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Michele Collevati, Agostino Dovier, Andrea Formisano 0001 |
GPU parallelism for SAT solving heuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022., pp. 17-31, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Elena Palmieri, Sergio Tessaris |
Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022., pp. 201-216, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Andrea De Seta, Mario Alviano |
An Application of ASP for Procedural Content Generation in Video Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022., pp. 134-140, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Stefania Costantini, Andrea Formisano 0001 |
Epistemic Logic Programs: an approach to Semantic Comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022., pp. 186-200, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Fabio Tardivo, Agostino Dovier, Andrea Formisano 0001, Laurent Michel, Enrico Pontelli |
Constraints propagation on GPU: A case study for AllDifferent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022., pp. 61-74, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Stefania Costantini, Giovanni De Gasperis, Patrizio Migliarini |
Constraint-Procedural Logic Generated Environments for Deep Q-learning Agent training and benchmarking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022., pp. 268-278, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Camillo Fiorentini, Mauro Ferrari 0002 |
Forward refutation for Gödel-Dummett Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022., pp. 171-185, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Laura Giordano 0001 |
From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022., pp. 307-312, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Davide Soldà, Francesco Fabiano, Agostino Dovier |
Epistemic Multiagent Reasoning with Collaborative Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022., pp. 32-46, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Francesca Alessandra Lisi, Gioacchino Sterlicchio |
Declarative Pattern Mining in Digital Forensics: Preliminary Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022., pp. 232-246, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Roberta Calegari, Giovanni Ciatto, Andrea Omicini (eds.) |
Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Davide Ancona, Angelo Ferrando 0001, Viviana Mascardi |
Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022., pp. 154-170, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Matteo Magnini, Giovanni Ciatto, Andrea Omicini |
KINS: Knowledge Injection via Network Structuring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022., pp. 254-267, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Lorenzo De Lauretis, Fabio Persia, Stefania Costantini |
An Intelligent Ecosystem to improve Patient Monitoring using Wearables and Artificial Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022., pp. 141-153, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Stefania Costantini, Andrea Formisano 0001, Valentina Pitoni |
Temporalizing Epistemic Logic L-DINF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022., pp. 119-133, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Linda Cadermatori, Giuseppe Galatà, Carola Lo Monaco, Marco Maratea, Marco Mochi, Marco Schouten |
An ASP-based Approach to Master Surgical Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022., pp. 313-328, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Giuseppe Bisicchia, Stefano Forti 0002, Antonio Brogi |
A Declarative Goal-oriented Framework for Smart Environments with LPaaS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 36th Italian Conference on Computational Logic, Parma, Italy, September 7-9, 2021., pp. 143-157, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Antonio Ielo, Francesco Ricca |
Answer Set Computation of Negative Two-Literal Programs Based on Graph Neural Networks: Preliminary Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 36th Italian Conference on Computational Logic, Parma, Italy, September 7-9, 2021., pp. 188-195, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Asta Halkjær From, Anders Schlichtkrull, Jørgen Villadsen |
A Sequent Calculus for First-Order Logic Formalized in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 36th Italian Conference on Computational Logic, Parma, Italy, September 7-9, 2021., pp. 107-121, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Rocco de Felice, Stefania Monica, Federico Bergenti |
Summary of a Citywide Meal Planning Service for Kids Based on Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 36th Italian Conference on Computational Logic, Parma, Italy, September 7-9, 2021., pp. 133-142, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Abeer Dyoub, Stefania Costantini, Francesca A. Lisi, Ivan Letteri |
Ethical Monitoring and Evaluation of Dialogues with a MAS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 36th Italian Conference on Computational Logic, Parma, Italy, September 7-9, 2021., pp. 158-172, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Diego Calvanese, Francesco Di Cosmo, Jorge Lobo 0001, Marco Montali |
Convergence Verification of Declarative Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 36th Italian Conference on Computational Logic, Parma, Italy, September 7-9, 2021., pp. 62-76, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Alberto Coffrini, Stefania Monica, Federico Bergenti |
On the Design of an Artificial Player for a Popular Word Game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 36th Italian Conference on Computational Logic, Parma, Italy, September 7-9, 2021., pp. 122-132, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Stefania Monica, Federico Bergenti (eds.) |
Proceedings of the 36th Italian Conference on Computational Logic, Parma, Italy, September 7-9, 2021. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Laura Giordano 0001, Daniele Theseider Dupré |
A Framework for a Modular Multi-Concept Lexicographic Closure Semantics (an abridged report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 36th Italian Conference on Computational Logic, Parma, Italy, September 7-9, 2021., pp. 47-61, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Domenico Cantone, Eugenio G. Omodeo, Mattia Panettiere |
Very Weak, Essentially Undecidabile Set Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 36th Italian Conference on Computational Logic, Parma, Italy, September 7-9, 2021., pp. 31-46, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Stefania Costantini, Lorenzo De Lauretis, Claudio Ferri, Jessica Giancola, Fabio Persia |
A Smart Health Assistant via DALI Logical Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 36th Italian Conference on Computational Logic, Parma, Italy, September 7-9, 2021., pp. 173-187, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi |
Timed Concurrent Language for Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 36th Italian Conference on Computational Logic, Parma, Italy, September 7-9, 2021., pp. 1-15, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Angelo Ferrando 0001, Giorgio Delzanno |
Incrementally Predictive Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 36th Italian Conference on Computational Logic, Parma, Italy, September 7-9, 2021., pp. 92-106, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Sylvain Conchon, Giorgio Delzanno, Arnaud Sangnier |
Verification of Contact Tracing Protocols via SMT-based Model Checking and Counting Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 36th Italian Conference on Computational Logic, Parma, Italy, September 7-9, 2021., pp. 77-91, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor |
A Mechanism for Reasoning over Defeasible Preferences in Arg2P. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 36th Italian Conference on Computational Logic, Parma, Italy, September 7-9, 2021., pp. 16-30, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Silvio Ghilardi, Alessandro Gianola, Deepak Kapur |
Computing Uniform Interpolants for EUF via (conditional) DAG-based Compact Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020., pp. 67-81, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Laura Giordano 0001, Valentina Gliozzi, Daniele Theseider Dupré |
On a Plausible Concept-wise Multipreference Semantics and its Relations with Self-organising Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020., pp. 127-140, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Francesco Fabiano, Alessandro Dal Palù |
An ASP Approach for Arteries Classification in CT-scans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020., pp. 312-326, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Wolfgang Faber 0001 |
Reversibility of Actions and Plans (invited talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020., pp. 1, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Giovanni Sileno, Matteo Pascucci |
Disentangling Deontic Positions and Abilities: a Modal Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020., pp. 36-50, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Loris Bozzato, Christoph G. Schuetz |
Towards Distributed Contextualized Knowledge Repositories for Analysis of Large-Scale Knowledge Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020., pp. 82-90, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Abeer Dyoub, Stefania Costantini, Francesca Alessandra Lisi, Ivan Letteri |
Logic-based Machine Learning for Transparent Ethical Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020., pp. 169-183, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Loris Bozzato, Camillo Fiorentini |
Reasoning on Information Term Semantics with ASP for Constructive ELꓕ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020., pp. 141-156, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Domenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo |
A Quadratic Reduction of Constraints over Nested Sets to Purely Boolean Formulae in CNF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020., pp. 214-230, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor |
Arg-tuProlog: a tuProlog-based Argumentation Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020., pp. 51-66, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro |
Chemotherapy Treatment Scheduling via Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020., pp. 342-356, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Andrea De Domenico, Domenico Cantone, Marianna Nicolosi Asmundo |
An Ontology for the Iconographic Sources of La Divina Commedia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020., pp. 157-168, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Nicola Rizzo 0001, Agostino Dovier |
3coSoKu and its Logic Programming Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020., pp. 5-20, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Camillo Fiorentini, Mauro Ferrari 0002 |
A Natural Deduction Calculus for Gödel-Dummett Logic Internalizing Proof-search Control Mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020., pp. 91-104, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Stefania Costantini |
Ensuring Trustworthy and Ethical Behavior in Intelligent Logical Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020., pp. 184-198, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Francesco Calimeri, Simona Perri, Ester Zumpano (eds.) |
Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Matteo Cavada, Andrea Colò, Alberto Momigliano |
MutantChick: Type-Preserving Mutation Analysis for Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020., pp. 105-112, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Stefan Woltran |
Computational Argumentation - Formal Models and Complexity Results (invited talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020., pp. 2, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Stefano Bistarelli, Carlo Taticchi |
A Labelling Semantics for Weighted Argumentation Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020., pp. 263-277, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà |
A Decidable Theory of Differentiable Functions with Convexities and Concavities on Real Intervals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020., pp. 231-247, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Jørgen Villadsen |
Tautology Checkers in Isabelle and Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020., pp. 327-341, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Bruno Sofiato, Fábio Levy Siqueira, Ricardo Luis de Azevedo da Rocha |
Towards a Declarative Approach to Object Comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020., pp. 297-311, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Rafael Peñaloza |
Introduction to Probabilistic Ontologies (tutorial). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020., pp. 4, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Marc Denecker |
On the informal semantics of knowledge representation languages and the case of Logic Programming (invited talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020., pp. 3, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Juliana Küster Filipe Bowles, Marco B. Caminati |
A Formally Verified SMT Approach to True Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020., pp. 357-371, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Giuseppe Mazzotta, Bernardo Cuteri, Carmine Dodaro, Francesco Ricca |
Compilation of Aggregates in ASP: Preliminary Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020., pp. 278-296, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Francesco Fabiano |
Towards a Complete Characterization of Epistemic Reasoning: the Notion of Trust. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020., pp. 21-35, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Marianna Girlando, Björn Lellmann, Nicola Olivetti, Stefano Pesce, Gian Luca Pozzato |
Theorem Proving for Lewis Logics of Counterfactual Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020., pp. 199-213, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Alessandro Bertagnon, Marco Gavanelli, Guido Sciavicco, Stefano Trevisani |
On (Maximal, Tractable) Fragments of the Branching Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020., pp. 113-126, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Andrea Loreggia, Emiliano Lorini, Giovanni Sartor |
A Ceteris Paribus Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020., pp. 248-262, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification. ![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 | Andrea Marin, Carla Piazza, Sabina Rossi |
A Process Algebra for (Delimited) Persistent Stochastic Non-Interference. ![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, Valentina Gliozzi |
Strengthening the Rational Closure for Description Logics: An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., pp. 68-81, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Bernardo Cuteri, Carmine Dodaro, Francesco Ricca |
Empowering ASPQ to Win in QBFEval 2018. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., pp. 167-178, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Stefania Costantini, Andrea Formisano 0001 |
Augmenting Knowledge Representation and Reasoning Languages with Customizable Metalogic Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., pp. 14-29, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Abeer Dyoub, Stefania Costantini, Francesca Alessandra Lisi |
Learning Answer Set Programming Rules For Ethical Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., pp. 300-315, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|