Accepted Papers

List of papers accepted for presentation at CILC 2017
  • Alice Tarzariol, Agostino Dovier and Alberto Policriti. Towards a Logic Programming tool for cancer analysis
  • Hai Dang Tran, Daria Stepanova, Mohamed H. Gad-Elrab, Francesca Alessandra Lisi and Gerhard Weikum. Towards Nonmonotonic Relational Learning from Knowledge Graphs
  • Marco Alberti, Evelina Lamma, Fabrizio Riguzzi and Riccardo Zese. Iterated Fixpoint Well-founded Semantics for Hybrid Knowledge Bases
  • Emilio Muñoz-Velasco, Guido Sciavicco and Ionel Eduard Stan. Implementation of a Tableau-Based Satisfiability Checker for HS3
  • Domenico Cantone, Marianna Nicolosi-Asmundo and Daniele Francesco Santamaria. A C++ reasoner for the description logic
  • Federico Bergenti and Stefania Monica. Satisfaction of Polynomial Constraints over Finite Domains using Function Values
  • Stefano Bistarelli, Fabio Gadducci and Francesco Santini. Enhancing constraints manipulation in semiring-based formalisms
  • Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi and Maurizio Proietti. Verifying Controllability of Time-Aware Business Processes
  • Pedro Cabalar, Stefania Costantini and Andrea Formisano. Multi-Context Systems: Dynamics and Evolution
  • Domenico Cantone, Marianna Nicolosi-Asmundo and Daniele Francesco Santamaria.  A set-theoretic approach to ABox reasoning services
  • Daniela Briola and Viviana Mascardi. Can My Test Case Run on Your Test Plant? A Logic-Based Compliance Check and its Evaluation on Real Data
  • Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato and Riccardo Renzulli. RAT-OWL: Reasoning with Rational Closure in Description Logics of Typicality
  • Francesco Contaldo, Marco De Bortoli and Agostino Dovier. Optimization of a compiler from PDDL to Picat
  • Mauro Ferrari, Camillo Fiorentini and Guido Fiorino. Proof-search in Hilbert calculi
  • Mirko Tagliaferri and Alessandro Aldini. Different semantics for reasoning about knowledge and trust
  • Ezgi Iraz Su. An S4F-related Monotonic Modal Logic
  • Mario Ornaghi, Camillo Fiorentini and Alberto Momigliano. LOGI: a Didactic Tool for Beginners’ Logic
  • Stefania Costantini, Giovanni De Gasperis, Valentina Pitoni and Agnese Salutari. DALI: a Multi Agent System Framework for the Web, Cognitive Robotic and Complex Event Processing
  • Francesca Alessandra Lisi and Corrado Mencar. Introducing Fuzzy Quantification in OWL 2 Ontologies
  • Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi and Riccardo Zese. Dischargeable Obligations in Abductive Logic Programming