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

Logo ufficiale CILC 2014

Date importanti

Sottomissione articoli: 5 aprile 2014 13 aprile 2014
Notifica agli autori: 17 maggio 2014
Camera ready: 6 giugno 2014
Conferenza: 16-18 giugno 2014

Dettagli »


Call for papers

Il programma del convegno prevede la presentazione di contributi su argomenti specifici e la presentazione di prototipi software con le relative "demo". E' possibile sottomettere due tipologie di contributo: articoli completi oppure lavori brevi.

Dettagli »


Programma


Contatti

  • Laura Giordano
  • Valentina Gliozzi
  • Gian Luca Pozzato

Dettagli »


Credits immagini fotografiche:

Turismo Torino e Provincia archivio fotografico +PubblicitàItalia
Immagine della Mole Antonelliana nel titolo by cappe.dcpd, on Flickr
Creative Commons Attribution-Noncommercial-Share Alike 2.0 Generic License  by  cappe.dcpd 

Logo del Dipartimento di Informatica dell'Università degli Studi di Torino Logo dell'Università degli Studi di Torino Logo del DISIT dell'Università del Piemonte Orientale Logo dell'ALP Logo del GNCS Logo di Turismo Torino e Provincia