Abstract is missing.
- Reversibility of Actions and Plans (invited talk)Wolfgang Faber 0001. 1 [doi]
- Computational Argumentation - Formal Models and Complexity Results (invited talk)Stefan Woltran. 2 [doi]
- On the informal semantics of knowledge representation languages and the case of Logic Programming (invited talk)Marc Denecker. 3 [doi]
- Introduction to Probabilistic Ontologies (tutorial)Rafael Peñaloza. 4 [doi]
- 3coSoKu and its Logic Programming ModelingNicola Rizzo, Agostino Dovier. 5-20 [doi]
- Towards a Complete Characterization of Epistemic Reasoning: the Notion of TrustFrancesco Fabiano. 21-35 [doi]
- Disentangling Deontic Positions and Abilities: a Modal AnalysisGiovanni Sileno, Matteo Pascucci. 36-50 [doi]
- Arg-tuProlog: a tuProlog-based Argumentation FrameworkGiuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor. 51-66 [doi]
- Computing Uniform Interpolants for EUF via (conditional) DAG-based Compact RepresentationsSilvio Ghilardi, Alessandro Gianola, Deepak Kapur. 67-81 [doi]
- Towards Distributed Contextualized Knowledge Repositories for Analysis of Large-Scale Knowledge GraphsLoris Bozzato, Christoph G. Schuetz. 82-90 [doi]
- A Natural Deduction Calculus for Gödel-Dummett Logic Internalizing Proof-search Control MechanismsCamillo Fiorentini, Mauro Ferrari 0002. 91-104 [doi]
- MutantChick: Type-Preserving Mutation Analysis for CoqMatteo Cavada, Andrea Colò, Alberto Momigliano. 105-112 [doi]
- On (Maximal, Tractable) Fragments of the Branching AlgebraAlessandro Bertagnon, Marco Gavanelli, Guido Sciavicco, Stefano Trevisani. 113-126 [doi]
- On a Plausible Concept-wise Multipreference Semantics and its Relations with Self-organising MapsLaura Giordano 0001, Valentina Gliozzi, Daniele Theseider Dupré. 127-140 [doi]
- Reasoning on Information Term Semantics with ASP for Constructive ELꓕLoris Bozzato, Camillo Fiorentini. 141-156 [doi]
- An Ontology for the Iconographic Sources of La Divina CommediaAndrea De Domenico, Domenico Cantone, Marianna Nicolosi Asmundo. 157-168 [doi]
- Logic-based Machine Learning for Transparent Ethical AgentsAbeer Dyoub, Stefania Costantini, Francesca Alessandra Lisi, Ivan Letteri. 169-183 [doi]
- Ensuring Trustworthy and Ethical Behavior in Intelligent Logical AgentsStefania Costantini. 184-198 [doi]
- Theorem Proving for Lewis Logics of Counterfactual ReasoningMarianna Girlando, Björn Lellmann, Nicola Olivetti, Stefano Pesce, Gian Luca Pozzato. 199-213 [doi]
- A Quadratic Reduction of Constraints over Nested Sets to Purely Boolean Formulae in CNFDomenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo. 214-230 [doi]
- A Decidable Theory of Differentiable Functions with Convexities and Concavities on Real IntervalsGabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà. 231-247 [doi]
- A Ceteris Paribus Deontic LogicAndrea Loreggia, Emiliano Lorini, Giovanni Sartor. 248-262 [doi]
- A Labelling Semantics for Weighted Argumentation FrameworksStefano Bistarelli, Carlo Taticchi. 263-277 [doi]
- Compilation of Aggregates in ASP: Preliminary ResultsGiuseppe Mazzotta, Bernardo Cuteri, Carmine Dodaro, Francesco Ricca. 278-296 [doi]
- Towards a Declarative Approach to Object ComparisonBruno Sofiato, Fábio Levy Siqueira, Ricardo Luis de Azevedo da Rocha. 297-311 [doi]
- An ASP Approach for Arteries Classification in CT-scansFrancesco Fabiano, Alessandro Dal Palù. 312-326 [doi]
- Tautology Checkers in Isabelle and HaskellJørgen Villadsen. 327-341 [doi]
- Chemotherapy Treatment Scheduling via Answer Set ProgrammingCarmine Dodaro, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro. 342-356 [doi]
- A Formally Verified SMT Approach to True ConcurrencyJuliana Küster Filipe Bowles, Marco B. Caminati. 357-371 [doi]