default search action
35th CILC 2020: Rende, Italy
- Francesco Calimeri, Simona Perri, Ester Zumpano:
Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020. CEUR Workshop Proceedings 2710, CEUR-WS.org 2020
Abstract of Invited Talks
- Wolfgang Faber:
Reversibility of Actions and Plans (invited talk). 1 - Stefan Woltran:
Computational Argumentation - Formal Models and Complexity Results (invited talk). 2 - Marc Denecker:
On the informal semantics of knowledge representation languages and the case of Logic Programming (invited talk). 3 - Rafael Peñaloza:
Introduction to Probabilistic Ontologies (tutorial). 4
Papers
- Nicola Rizzo, Agostino Dovier:
3coSoKu and its Logic Programming Modeling. 5-20 - Francesco Fabiano:
Towards a Complete Characterization of Epistemic Reasoning: the Notion of Trust. 21-35 - Giovanni Sileno, Matteo Pascucci:
Disentangling Deontic Positions and Abilities: a Modal Analysis. 36-50 - Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor:
Arg-tuProlog: a tuProlog-based Argumentation Framework. 51-66 - Silvio Ghilardi, Alessandro Gianola, Deepak Kapur:
Computing Uniform Interpolants for EUF via (conditional) DAG-based Compact Representations. 67-81 - Loris Bozzato, Christoph G. Schuetz:
Towards Distributed Contextualized Knowledge Repositories for Analysis of Large-Scale Knowledge Graphs. 82-90 - Camillo Fiorentini, Mauro Ferrari:
A Natural Deduction Calculus for Gödel-Dummett Logic Internalizing Proof-search Control Mechanisms. 91-104 - Matteo Cavada, Andrea Colò, Alberto Momigliano:
MutantChick: Type-Preserving Mutation Analysis for Coq. 105-112 - Alessandro Bertagnon, Marco Gavanelli, Guido Sciavicco, Stefano Trevisani:
On (Maximal, Tractable) Fragments of the Branching Algebra. 113-126 - Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
On a Plausible Concept-wise Multipreference Semantics and its Relations with Self-organising Maps. 127-140 - Loris Bozzato, Camillo Fiorentini:
Reasoning on Information Term Semantics with ASP for Constructive ELꓕ. 141-156 - Andrea De Domenico, Domenico Cantone, Marianna Nicolosi Asmundo:
An Ontology for the Iconographic Sources of La Divina Commedia. 157-168 - Abeer Dyoub, Stefania Costantini, Francesca Alessandra Lisi, Ivan Letteri:
Logic-based Machine Learning for Transparent Ethical Agents. 169-183 - Stefania Costantini:
Ensuring Trustworthy and Ethical Behavior in Intelligent Logical Agents. 184-198 - Marianna Girlando, Björn Lellmann, Nicola Olivetti, Stefano Pesce, Gian Luca Pozzato:
Theorem Proving for Lewis Logics of Counterfactual Reasoning. 199-213 - Domenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo:
A Quadratic Reduction of Constraints over Nested Sets to Purely Boolean Formulae in CNF. 214-230 - 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. 231-247 - Andrea Loreggia, Emiliano Lorini, Giovanni Sartor:
A Ceteris Paribus Deontic Logic. 248-262 - Stefano Bistarelli, Carlo Taticchi:
A Labelling Semantics for Weighted Argumentation Frameworks. 263-277 - Giuseppe Mazzotta, Bernardo Cuteri, Carmine Dodaro, Francesco Ricca:
Compilation of Aggregates in ASP: Preliminary Results. 278-296 - Bruno Sofiato, Fábio Levy Siqueira, Ricardo Luis de Azevedo da Rocha:
Towards a Declarative Approach to Object Comparison. 297-311 - Francesco Fabiano, Alessandro Dal Palù:
An ASP Approach for Arteries Classification in CT-scans. 312-326 - Jørgen Villadsen:
Tautology Checkers in Isabelle and Haskell. 327-341 - Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro:
Chemotherapy Treatment Scheduling via Answer Set Programming. 342-356 - Juliana Küster Filipe Bowles, Marco B. Caminati:
A Formally Verified SMT Approach to True Concurrency. 357-371
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-18 18:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: