XXII. IV CILC (2007), Messina (Italy)

21/22 Giugno 2007

Program chair: Alessandro Provetti

Lavori (in pdf): http://www.programmazionelogica.it/2007/06/926/

Programma della conferenza:

• Francesco Buccafurri, Gianluca Caminiti and Rosario Laurendi
  Testing Logic Programs with Multiple Chances
• Massimo Marchi, Giacomo Fiumara, Rosamaria Pagano and Fortunato Roto.
  Rule-based e-mail annotations
• Alberto Pettorossi, Maurizio Proietti and Valerio Senni
  Automatic Correctness Proofs for Logic Program Transformations
• Mario Alviano, Francesco Calimeri, Giovambattista Ianni and Alessandra Martello
  Frame logic under answer set semantics
• Francesco Calimeri, SImona Perri and Francesco Ricca
  Parallel Instantiation of ASP Programs
• Wolfgang Faber, Nicola Leone, Marco Maratea and Francesco Ricca
  Implementation and Evaluation of Look-Back Techniques and Heuristics in DLV
• Camillo Fiorentini, Alberto Momigliano and Mario Ornaghi
  Towards Proof Theoretic Model Generation
• Giacomo Terreni, Paolo Mancarella and Francesca Toni,
  Web Site Verification: an Abductive Logic Programming Tool
• Daniele Genito
  PROGRAMMAZIONE LOGICA MULTI-VALUED, SINONIMIA, CONTROLLO
• Eugenio Omodeo and Alexandru Ioan Tomescu
  Modeling CNF-formulae and formally proving the correctness of DPLL by Means of Referee
• Stefania Costantini and Arianna Tocchio
  A Dialogue Games Framework for the Operational Semantics of Logic Languages
• Stefania Costantini, Arianna Tocchio and Panagiota Tsintza
  A Heuristic Approach for P2P Negotiation
• Mario Alviano, Wolfgang Faber and Nicola Leone
  Using Unfounded Sets for Computing Answer Sets of Programs with Recursive Aggregates
• Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni and Nicola Zannone
  Extending Agent-oriented Requirements with Declarative Business Processes: a Computational Logic-based Approach
• Davide Bresolin, Angelo Montanari and Pietro Sala
  A Tableau for Right Propositional Neighborhood Logic over Trees
• Laura Giordano, Valentina Gliozzi, Nicola Olivetti and Gian Luca Pozzato
  KLM Logics of Nonmonotonic Reasoning: Calculi and Implementations
• Stefania Costantini and Andrea Formisano
  Answer Set Programming with Resources
• Nicola Olivetti and Gian Luca Pozzato
  A Goal-Directed Calculus for Standard Conditional Logics
• Gelsomina Catalano, Nicola Leone and Simona Perri
  Indexing Techniques for the DLV Instantiator
• Silvio Ghilardi, Enrica Nicolini, Silvio Ranise and Daniele Zucchelli
  Combination Methods for Model-Checking of Infinite-State Systems
• Agostino Dovier, Andrea Formisano and Enrico Pontelli
  Multivalued Action Languages with Constraints in CLP(FD)
• Marco Gavanelli
  SLDNF-Draw: a Visualisation Tool of Prolog Operational Semantics
• Domenico Cantone and Gianluca Cincotti
  Decision algorithms for fragments of real analysis. II. A theory of differentiable functions with convexity and concavity predicates
• Domenico Cantone and Marianna Nicolosi Asmundo
  On the satisfiability problem for a 3-level quantified syllogistic
• Stefano Ferilli, Teresa Basile, Nicola Di Mauro, Marenglen Biba and Floriana Esposito
  Generalizzazione di Clausole Basata Su Un Nuovo Criterio di Similarità
• Luca Bortolussi, Simone Fonda and Alberto Policriti
  Constraint-based simulation of biological systems described by Molecular Interaction Maps
• Gallucci Lorenzo, Giovanni Grasso, Nicola Leone and Francesco Ricca
  Interoperability Mechanisms for Ontology Management Systems
• Domenico Cantone and Salvatore Cristofaro
  Some remarks on Rice’s and Rice-Shapiro Theorems and related problems