Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Gabriele Sacco, Loris Bozzato, Oliver Kutz |
Introducing Weighted Prototypes in Description Logics for Defeasible Reasoning. |
CILC |
2023 |
DBLP BibTeX RDF |
|
1 | Alex Della Schiava, Carla Piazza, Riccardo Romanello |
Graph-Theoretical Arguments in Support of a Quantum Declarative Manifesto. |
CILC |
2023 |
DBLP BibTeX RDF |
|
1 | Valentina Gliozzi, Gian Luca Pozzato, Alberto Valese |
Proof Methods and Theorem Proving for Conditional Logics with Strong Centering. |
CILC |
2023 |
DBLP BibTeX RDF |
|
1 | Alessandro Dal Palù, Agostino Dovier, Andrea Formisano 0001 |
Towards Explainable Data-to-text Generation. |
CILC |
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. |
CILC |
2023 |
DBLP BibTeX RDF |
|
1 | Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti |
Continued Hereditarily Finite Sets Approximations. |
CILC |
2023 |
DBLP BibTeX RDF |
|
1 | Francesco Di Cosmo |
Verification of Prev-Free Communicating Datalog Programs. |
CILC |
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. |
CILC |
2023 |
DBLP BibTeX RDF |
|
1 | Camillo Fiorentini, Mauro Ferrari 0002 |
A New Approach to Clausification for Intuitionistic Propositional Logic. |
CILC |
2023 |
DBLP BibTeX RDF |
|
1 | Alberto Casagrande, Alessandro Cimatti, Luca Dorigo, Carla Piazza, Stefano Tonetta |
Set-Based Invariants over Polynomial Systems. |
CILC |
2023 |
DBLP BibTeX RDF |
|
1 | Stefania Costantini, Andrea Formisano 0001, Valentina Pitoni |
Preference Management in Epistemic Logic L-DINF. |
CILC |
2023 |
DBLP BibTeX RDF |
|
1 | Mario Alviano, Laura Giordano 0001, Daniele Theseider Dupré |
Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases. |
CILC |
2023 |
DBLP BibTeX RDF |
|
1 | Laura Pandolfo, Luca Pulina |
Unlocking Historical Insights: Developing a Dataset from Historical Archives. |
CILC |
2023 |
DBLP BibTeX RDF |
|
1 | Alessandro Bertagnon, Marco Gavanelli, Fabio Zanotti |
ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex. |
CILC |
2023 |
DBLP BibTeX RDF |
|
1 | Talissa Dreossi |
Exploring ILASP Through Logic Puzzles Modelling. |
CILC |
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. |
CILC |
2023 |
DBLP BibTeX RDF |
|
1 | Denise Angilica, Stefano Germano, Giovambattista Ianni |
Domain-agnostic Procedural Content Generation Can Be Done Declaratively. |
CILC |
2023 |
DBLP BibTeX RDF |
|
1 | Domenico Cantone, Luca Cuzziol, Eugenio G. Omodeo |
A Brief History of Singlefold Diophantine Definitions. |
CILC |
2023 |
DBLP BibTeX RDF |
|
1 | Daniele Theseider Dupré |
Explainable Answer Set Programming for Legal Decision Support. |
CILC |
2023 |
DBLP BibTeX RDF |
|
1 | Carla Piazza, Riccardo Romanello, Robert Wille |
An ASP Approach for the Synthesis of CNOT Minimal Quantum Circuits. |
CILC |
2023 |
DBLP BibTeX RDF |
|
1 | Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca |
Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics. |
CILC |
2023 |
DBLP BibTeX RDF |
|
1 | Stefania Costantini, Andrea Formisano 0001 |
Fast Prototyping of a Solver for Reduct-based ELP Semantics. |
CILC |
2023 |
DBLP BibTeX RDF |
|
1 | Stefano Bistarelli, Victor David, Francesco Santini 0001, Carlo Taticchi |
Temporal Probabilistic Argumentation Frameworks. |
CILC |
2023 |
DBLP BibTeX RDF |
|
1 | Simone Caruso, Carmine Dodaro, Giuseppe Galatà, Marco Maratea |
Scheduling Periodic Treatments Via Answer Set Programming. |
CILC |
2023 |
DBLP BibTeX RDF |
|
1 | Stefano Bistarelli, Carlo Taticchi |
A Four-State Labelling Semantics for Weighted Argumentation Frameworks. |
CILC |
2022 |
DBLP BibTeX RDF |
|
1 | Nikola Panic, Gian Luca Pozzato |
Efficient Theorem Proving for Conditional Logics with Conditional Excluded Middle. |
CILC |
2022 |
DBLP BibTeX RDF |
|
1 | Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi |
Abduction in (Probabilistic) Answer Set Programming. |
CILC |
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. |
CILC |
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. |
CILC |
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. |
CILC |
2022 |
DBLP BibTeX RDF |
|
1 | Giovanni Ciatto, Matteo Castigliò, Roberta Calegari |
Logic Programming library for Machine Learning: API design and prototype. |
CILC |
2022 |
DBLP BibTeX RDF |
|
1 | Lorenzo Cian, Talissa Dreossi, Agostino Dovier |
Modeling and Solving the Rush Hour puzzle. |
CILC |
2022 |
DBLP BibTeX RDF |
|
1 | Flavio Bertini 0001, Alessandro Dal Palù, Francesco Fabiano, Eleonora Iotti |
CARING for xAI. |
CILC |
2022 |
DBLP BibTeX RDF |
|
1 | Michele Collevati, Agostino Dovier, Andrea Formisano 0001 |
GPU parallelism for SAT solving heuristics. |
CILC |
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. |
CILC |
2022 |
DBLP BibTeX RDF |
|
1 | Andrea De Seta, Mario Alviano |
An Application of ASP for Procedural Content Generation in Video Games. |
CILC |
2022 |
DBLP BibTeX RDF |
|
1 | Stefania Costantini, Andrea Formisano 0001 |
Epistemic Logic Programs: an approach to Semantic Comparison. |
CILC |
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. |
CILC |
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. |
CILC |
2022 |
DBLP BibTeX RDF |
|
1 | Camillo Fiorentini, Mauro Ferrari 0002 |
Forward refutation for Gödel-Dummett Logics. |
CILC |
2022 |
DBLP BibTeX RDF |
|
1 | Laura Giordano 0001 |
From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics (Extended Abstract). |
CILC |
2022 |
DBLP BibTeX RDF |
|
1 | Davide Soldà, Francesco Fabiano, Agostino Dovier |
Epistemic Multiagent Reasoning with Collaborative Robots. |
CILC |
2022 |
DBLP BibTeX RDF |
|
1 | Francesca Alessandra Lisi, Gioacchino Sterlicchio |
Declarative Pattern Mining in Digital Forensics: Preliminary Results. |
CILC |
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. |
CILC |
2022 |
DBLP BibTeX RDF |
|
1 | Davide Ancona, Angelo Ferrando 0001, Viviana Mascardi |
Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps. |
CILC |
2022 |
DBLP BibTeX RDF |
|
1 | Matteo Magnini, Giovanni Ciatto, Andrea Omicini |
KINS: Knowledge Injection via Network Structuring. |
CILC |
2022 |
DBLP BibTeX RDF |
|
1 | Lorenzo De Lauretis, Fabio Persia, Stefania Costantini |
An Intelligent Ecosystem to improve Patient Monitoring using Wearables and Artificial Intelligence. |
CILC |
2022 |
DBLP BibTeX RDF |
|
1 | Stefania Costantini, Andrea Formisano 0001, Valentina Pitoni |
Temporalizing Epistemic Logic L-DINF. |
CILC |
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. |
CILC |
2022 |
DBLP BibTeX RDF |
|
1 | Giuseppe Bisicchia, Stefano Forti 0002, Antonio Brogi |
A Declarative Goal-oriented Framework for Smart Environments with LPaaS. |
CILC |
2021 |
DBLP BibTeX RDF |
|
1 | Antonio Ielo, Francesco Ricca |
Answer Set Computation of Negative Two-Literal Programs Based on Graph Neural Networks: Preliminary Results. |
CILC |
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. |
CILC |
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. |
CILC |
2021 |
DBLP BibTeX RDF |
|
1 | Abeer Dyoub, Stefania Costantini, Francesca A. Lisi, Ivan Letteri |
Ethical Monitoring and Evaluation of Dialogues with a MAS. |
CILC |
2021 |
DBLP BibTeX RDF |
|
1 | Diego Calvanese, Francesco Di Cosmo, Jorge Lobo 0001, Marco Montali |
Convergence Verification of Declarative Distributed Systems. |
CILC |
2021 |
DBLP BibTeX RDF |
|
1 | Alberto Coffrini, Stefania Monica, Federico Bergenti |
On the Design of an Artificial Player for a Popular Word Game. |
CILC |
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. |
CILC |
2021 |
DBLP BibTeX RDF |
|
1 | Laura Giordano 0001, Daniele Theseider Dupré |
A Framework for a Modular Multi-Concept Lexicographic Closure Semantics (an abridged report). |
CILC |
2021 |
DBLP BibTeX RDF |
|
1 | Domenico Cantone, Eugenio G. Omodeo, Mattia Panettiere |
Very Weak, Essentially Undecidabile Set Theories. |
CILC |
2021 |
DBLP BibTeX RDF |
|
1 | Stefania Costantini, Lorenzo De Lauretis, Claudio Ferri, Jessica Giancola, Fabio Persia |
A Smart Health Assistant via DALI Logical Agents. |
CILC |
2021 |
DBLP BibTeX RDF |
|
1 | Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi |
Timed Concurrent Language for Argumentation. |
CILC |
2021 |
DBLP BibTeX RDF |
|
1 | Angelo Ferrando 0001, Giorgio Delzanno |
Incrementally Predictive Runtime Verification. |
CILC |
2021 |
DBLP BibTeX RDF |
|
1 | Sylvain Conchon, Giorgio Delzanno, Arnaud Sangnier |
Verification of Contact Tracing Protocols via SMT-based Model Checking and Counting Abstraction. |
CILC |
2021 |
DBLP BibTeX RDF |
|
1 | Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor |
A Mechanism for Reasoning over Defeasible Preferences in Arg2P. |
CILC |
2021 |
DBLP BibTeX RDF |
|
1 | Silvio Ghilardi, Alessandro Gianola, Deepak Kapur |
Computing Uniform Interpolants for EUF via (conditional) DAG-based Compact Representations. |
CILC |
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. |
CILC |
2020 |
DBLP BibTeX RDF |
|
1 | Francesco Fabiano, Alessandro Dal Palù |
An ASP Approach for Arteries Classification in CT-scans. |
CILC |
2020 |
DBLP BibTeX RDF |
|
1 | Wolfgang Faber 0001 |
Reversibility of Actions and Plans (invited talk). |
CILC |
2020 |
DBLP BibTeX RDF |
|
1 | Giovanni Sileno, Matteo Pascucci |
Disentangling Deontic Positions and Abilities: a Modal Analysis. |
CILC |
2020 |
DBLP BibTeX RDF |
|
1 | Loris Bozzato, Christoph G. Schuetz |
Towards Distributed Contextualized Knowledge Repositories for Analysis of Large-Scale Knowledge Graphs. |
CILC |
2020 |
DBLP BibTeX RDF |
|
1 | Abeer Dyoub, Stefania Costantini, Francesca Alessandra Lisi, Ivan Letteri |
Logic-based Machine Learning for Transparent Ethical Agents. |
CILC |
2020 |
DBLP BibTeX RDF |
|
1 | Loris Bozzato, Camillo Fiorentini |
Reasoning on Information Term Semantics with ASP for Constructive ELꓕ. |
CILC |
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. |
CILC |
2020 |
DBLP BibTeX RDF |
|
1 | Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor |
Arg-tuProlog: a tuProlog-based Argumentation Framework. |
CILC |
2020 |
DBLP BibTeX RDF |
|
1 | Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro |
Chemotherapy Treatment Scheduling via Answer Set Programming. |
CILC |
2020 |
DBLP BibTeX RDF |
|
1 | Andrea De Domenico, Domenico Cantone, Marianna Nicolosi Asmundo |
An Ontology for the Iconographic Sources of La Divina Commedia. |
CILC |
2020 |
DBLP BibTeX RDF |
|
1 | Nicola Rizzo 0001, Agostino Dovier |
3coSoKu and its Logic Programming Modeling. |
CILC |
2020 |
DBLP BibTeX RDF |
|
1 | Camillo Fiorentini, Mauro Ferrari 0002 |
A Natural Deduction Calculus for Gödel-Dummett Logic Internalizing Proof-search Control Mechanisms. |
CILC |
2020 |
DBLP BibTeX RDF |
|
1 | Stefania Costantini |
Ensuring Trustworthy and Ethical Behavior in Intelligent Logical Agents. |
CILC |
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. |
CILC |
2020 |
DBLP BibTeX RDF |
|
1 | Matteo Cavada, Andrea Colò, Alberto Momigliano |
MutantChick: Type-Preserving Mutation Analysis for Coq. |
CILC |
2020 |
DBLP BibTeX RDF |
|
1 | Stefan Woltran |
Computational Argumentation - Formal Models and Complexity Results (invited talk). |
CILC |
2020 |
DBLP BibTeX RDF |
|
1 | Stefano Bistarelli, Carlo Taticchi |
A Labelling Semantics for Weighted Argumentation Frameworks. |
CILC |
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. |
CILC |
2020 |
DBLP BibTeX RDF |
|
1 | Jørgen Villadsen |
Tautology Checkers in Isabelle and Haskell. |
CILC |
2020 |
DBLP BibTeX RDF |
|
1 | Bruno Sofiato, Fábio Levy Siqueira, Ricardo Luis de Azevedo da Rocha |
Towards a Declarative Approach to Object Comparison. |
CILC |
2020 |
DBLP BibTeX RDF |
|
1 | Rafael Peñaloza |
Introduction to Probabilistic Ontologies (tutorial). |
CILC |
2020 |
DBLP BibTeX RDF |
|
1 | Marc Denecker |
On the informal semantics of knowledge representation languages and the case of Logic Programming (invited talk). |
CILC |
2020 |
DBLP BibTeX RDF |
|
1 | Juliana Küster Filipe Bowles, Marco B. Caminati |
A Formally Verified SMT Approach to True Concurrency. |
CILC |
2020 |
DBLP BibTeX RDF |
|
1 | Giuseppe Mazzotta, Bernardo Cuteri, Carmine Dodaro, Francesco Ricca |
Compilation of Aggregates in ASP: Preliminary Results. |
CILC |
2020 |
DBLP BibTeX RDF |
|
1 | Francesco Fabiano |
Towards a Complete Characterization of Epistemic Reasoning: the Notion of Trust. |
CILC |
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. |
CILC |
2020 |
DBLP BibTeX RDF |
|
1 | Alessandro Bertagnon, Marco Gavanelli, Guido Sciavicco, Stefano Trevisani |
On (Maximal, Tractable) Fragments of the Branching Algebra. |
CILC |
2020 |
DBLP BibTeX RDF |
|
1 | Andrea Loreggia, Emiliano Lorini, Giovanni Sartor |
A Ceteris Paribus Deontic Logic. |
CILC |
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. |
CILC |
2019 |
DBLP BibTeX RDF |
|
1 | Andrea Marin, Carla Piazza, Sabina Rossi |
A Process Algebra for (Delimited) Persistent Stochastic Non-Interference. |
CILC |
2019 |
DBLP BibTeX RDF |
|
1 | Laura Giordano 0001, Valentina Gliozzi |
Strengthening the Rational Closure for Description Logics: An Overview. |
CILC |
2019 |
DBLP BibTeX RDF |
|
1 | Bernardo Cuteri, Carmine Dodaro, Francesco Ricca |
Empowering ASPQ to Win in QBFEval 2018. |
CILC |
2019 |
DBLP BibTeX RDF |
|
1 | Stefania Costantini, Andrea Formisano 0001 |
Augmenting Knowledge Representation and Reasoning Languages with Customizable Metalogic Features. |
CILC |
2019 |
DBLP BibTeX RDF |
|
1 | Abeer Dyoub, Stefania Costantini, Francesca Alessandra Lisi |
Learning Answer Set Programming Rules For Ethical Machines. |
CILC |
2019 |
DBLP BibTeX RDF |
|