CILC 2014
Italian Conference on Computational Logic

Table of Contents

• Preface 3-4
  Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato

Abstracts of invited talks

• From Logic Programming to Argumentation and Back 11
  Francesca Toni
• Tractable Approaches to Consistent Query Answering in Ontology-Based-Data Access 12
  Riccardo Rosati

Full papers

• Set Graphs VI: Logic Programming and Bisimulation 14-29
  Agostino Dovier
• Exploiting Prolog for Projecting Agent Interaction Protocols 30-45
  Davide Ancona, Daniela Briola, Amal El Fallah Seghrouchni, Viviana Mascardi, Patrick Taillibert
• JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi 46-53
  Mauro Ferrari, Camillo Fiorentini, Guido Fiorino
• Multi-Criteria Optimal Planning for Energy Policies in CLP 54-68
  Marco Gavanelli, Michela Milano, Stefano Bragaglia, Federico Chesani, Elisa Marengo, Paolo Cagnoli
• Query Answering in Resource-Based Answer Set Semantics 69-83
  Stefania Costantini, Andrea Formisano
• Specification and Verification of Commitment-Regulated Data-Aware Multiagent Systems 84-98
  Marco Montali, Diego Calvanese, Giuseppe De Giacomo
• Toward an Improved Downward Refinement Operator for Inductive Logic Programming 99-113
  Stefano Ferilli
• Program Verification using Constraint Handling Rules and Array Constraint Generalizations 114-131
  Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
• Defeasibility in Contextual Reasoning with CKR 132-146
  Loris Bozzato, Thomas Eiter, Luciano Serafini
• A Mechanism for Ontology Confidentiality 147-161
  Piero A. Bonatti, Luigi Sauro, Iliana Petrova
• Herbrand-Satisfiability of a Quantified Set-theoretical Fragment 162-177
  Domenico Cantone, Cristiano Longo, Marianna Nicolosi-Asmundo
• Semantic Web Services for Integrated Tourism in the Apulia Region 178-193
  Francesca Alessandra Lisi, Floriana Esposito
• A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation 194-209
  Domenico Cantone, Marianna Nicolosi-Asmundo, Ewa Orlowska
• Query Answering over Contextualized RDF Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity 210-224
  Mathew Joseph, Gabriel Kuper, Luciano Serafini
• Revising Description Logic Terminologies to Handle Exceptions: a First Step 225-240
  Roberto Micalizio, Gian Luca Pozzato
• Runtime Self-Checking via Temporal (Meta-)Axioms for Assurance of Logical Agent Systems 241-255
  Stefania Costantini, Giovanni De Gasperis
• Complex Events and Actions in Logical Agents 256-271
  Stefania Costantini, Regis Riveret
• Argumentation for Propositional Logic and Nonmonotonic Reasoning 272-286
  Antonis Kakas, Francesca Toni, Paolo Mancarella
• The Representation of Boolean Algebras in the Spotlight of a Proof Checker 287-301
  Rodica Ceterchi, Eugenio G. Omodeo, Alexandru I. Tomescu

Short papers

• A Framework for the Verification of Parameterized Infinite-State Systems 303-308
  Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
• On Relating Voting Systems and Argumentation Frameworks 309-313
  Irene Benedetti, Stefano Bistarelli, Paolo Piersanti
• A First Study of the Horn Fragment of the Modal Logic of Time Intervals 314-318
  Davide Bresolin, Emilio Muoz-Velasco, Guido Sciavicco
• Distributed Runtime Verification of JADE and Jason Multiagent Systems with Prolog 319-323
  Daniela Briola, Viviana Mascardi, Davide Ancona
• Finding Commonalities in Linked Open Data 324-329
  Simona Colucci, Silvia Giannini, Francesco M. Donini, Eugenio Di Sciascio
• Keeping Interval-Based Functional Dependencies Up-to-Date 330-334
  Carlo Combi, Pietro Sala
• A Computational Model for Mapreduce Job Flow 335-340
  Tommaso di Noia, Marina Mongiello, Eugenio Di Sciascio
• Hyper-Extensionality and One-Node Elimination on Membership Graphs 341-346
  Eugenio Omodeo, Carla Piazza, Alberto Policriti, Alexandru I. Tomescu

Full papers published on arXiv.org

• Lifted Probabilistic Logic Programming
  Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Vor Santos Costa, Riccardo Zese
• Efficient Computation of the Well-Founded Semantics over Big Data
  Ilias Tachmazidis, Grigoris Antoniou, Wolfgang Faber