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

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

21/22 Giugno 2007

Program chair: Alessandro Provetti

Lavori (in pdf): https://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