CILC 2014
29 esimo Convegno Italiano di Logica Computazionale
Torino 16-18 giugno 2014
Articoli accettati
Articoli completi
| Agostino Dovier |
Set Graphs VI: Logic Programming and Bisimulation
 |
| Mauro Ferrari, Camillo Fiorentini and Guido Fiorino |
JTabWb: a Java framework for implementing terminating sequent and tableau calculi
|
| Davide Ancona, Daniela Briola, Amal El Fallah Seghrouchni, Viviana Mascardi and Patrick Taillibert |
Exploiting Prolog for Projecting Agent Interaction Protocols
|
| Marco Gavanelli, Michela Milano, Stefano Bragaglia, Federico Chesani, Elisa Marengo and Paolo Cagnoli |
Multi-Criteria Optimal Planning for Energy Policies in CLP |
| Stefania Costantini and Andrea Formisano |
Query Answering in Resource-Based Answer Set Semantics
|
| Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Vítor Santos Costa and Riccardo Zese |
Lifted Probabilistic Logic Programming (su arXiv)
|
| Marco Montali, Diego Calvanese and Giuseppe De Giacomo |
Specification and Verification of Commitment-Regulated Data-Aware Multiagent Systems
|
| Stefano Ferilli |
Toward an Improved Downward Refinement Operator for Inductive Logic Programming
|
| Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti |
Program Verification using Constraint Handling Rules and Array Constraint Generalizations
|
| Loris Bozzato, Thomas Eiter and Luciano Serafini |
Defeasibility in contextual reasoning with CKR
|
| Piero A. Bonatti, Luigi Sauro and Iliana Petrova |
A mechanism for ontology confidentiality
|
| Domenico Cantone, Cristiano Longo and Marianna Nicolosi-Asmundo |
Herbrand-satisfiability of a Quantified Set-theoretical Fragment
|
| Francesca Alessandra Lisi and Floriana Esposito |
Semantic Web Services for Integrated Tourism in the Apulia region
|
| Domenico Cantone, Marianna Nicolosi-Asmundo and Ewa Orlowska |
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation
|
| Mathew Joseph, Gabriel Kuper and Luciano Serafini |
Query answering over Contextualized RDF knowledge with Forall-Existential Bridge Rules: Attaining Decidability using Acyclicity
|
| Roberto Micalizio and Gian Luca Pozzato |
Revising Description Logic Terminologies to Handle Exceptions: a First Step
|
| Stefania Costantini and Giovanni De Gasperis |
Runtime Self-Checking via Temporal (Meta-)Axioms for Assurance of Logical Agent Systems
|
| Stefania Costantini and Regis Riveret |
Complex events and actions in logical agents |
| Ilias Tachmazidis, Grigoris Antoniou and Wolfgang Faber |
Efficient Computation of the Well-Founded Semantics over Big Data (su arXiv)
|
| Antonis Kakas, Francesca Toni and Paolo Mancarella |
Argumentation for Propositional Logic and Nonmonotonic Reasoning |
| Rodica Ceterchi, Eugenio G. Omodeo and Alexandru I. Tomescu |
The representation of Boolean algebras in the spotlight of a proof checker
|
Articoli brevi
| Francesco Alberti, Silvio Ghilardi and Natasha Sharygina |
A framework for the verification of parameterized infinite-state systems
|
| Irene Benedetti, Stefano Bistarelli and Paolo Piersanti |
On Relating Voting Systems and Argumentation Frameworks
|
| Davide Bresolin, Emilio Muñoz-Velasco and Guido Sciavicco |
A First Study of the Horn Fragment of the Modal Logic of Time Intervals
|
| Daniela Briola, Viviana Mascardi and Davide Ancona |
Distributed Runtime Verification of JADE and Jason Multiagent Systems with Prolog [Demo Track]
|
| Simona Colucci, Silvia Giannini, Francesco M Donini and Eugenio Di Sciascio |
Finding Commonalities in Linked Open Data
|
| Carlo Combi and Pietro Sala |
Keeping interval-based functional dependencies up-to-date |
| Tommaso di Noia, Marina Mongiello and Eugenio Di Sciascio |
A computational model for Mapreduce job flow
|
| Eugenio Omodeo, Carla Piazza, Alberto Policriti and Alexandru I. Tomescu |
Hyper-extensionality and one-node elimination on membership graphs |
