[cs at parma seminars] Invito a Convegno

[Gianfranco Rossi]

CILC'04 
CONVEGNO ITALIANO DI LOGICA COMPUTAZIONALE 
Diciannovesimo incontro annuale dell'Associazione Italiana 
``Gruppo Ricercatori e Utenti di Logic Programming'' (GULP) 
  
  

16-17 giugno 2004 
Dipartimento di Matematica 
Via M.D'Azeglio, 85/A 
Parma 
  

Informazioni dettagliate sul Convegno sono disponibili all'indirizzo Web 
http://www.cs.unipr.it/CILC04 
  



--------------------------------------------------------------------------------

Programma del Convegno

      Mercoledi' 16.6.2004  
        8:30 - 9:15  Iscrizione al convegno 
        9:15 - 10:30  Tutorial 1  
       P. Torroni 
             Introduzione ai sistemi multi-agente basati su logica computazionale 
      10:30 - 11:10  SESSIONE 1  
       U. Endriss, P. Mancarella, F. Sadri, G. Terreni, F. Toni 
             Abductive Logic Programming with CIFF: Implementation and Applications 
       M. Alberti, M. Gavanelli, E. Lamma, P. Mello, P. Torroni 
             Abduction with Hypotheses Confirmation 
      11:10 - 11:35  Coffee-break 
      11:35 - 13:05  SESSIONE 2  
       G. Boella, L. van der Torre 
             Contracts in Multiagent Systems: the Legal Institution Perspective 
       I. Gungui, V. Mascardi 
             Integrating tuProlog into DCaseLP to Engineer Heterogeneous Agent Systems 
       M. Baldoni, C. Baroglio, A. Martelli, V. Patti 
             Reasoning about logic-based agent interaction protocols 
       S. Costantini, A.Tocchio, A.Verticchio 
             Communication Architecture in the DALI Logic Programming Agent-Oriented Language 
       L. Torasso 
             Costruzione automatica di courseware in DyLOG (lavoro breve) 
      13:05 - 14:30  Pausa pranzo 
      14:30 - 15:45  Tutorial 2  
       A. Dovier 
             Il problema del Protein Folding e i relativi approcci basati su programmazione con vincoli 
      15:45 - 16:45  SESSIONE 3 
       A. Dal Palù, S. Will, R. Backofen, A. Dovier 
             Constraint Based Protein Structure Prediction Exploiting Secondary Structure Information 
       M. Cadoli, T. Mancini 
             Using a theorem prover for reasoning on constraint problems 
       Steve Prestwich, Francesca Rossi, Kristen Brent Venable, Toby Walsh 
             Constrained CP nets 
      16:45 - 17:10  Coffee-break 
      17:10 - 17:40  SESSIONE 4  
       A. Formisano, E. G. Omodeo, E. S. Orlowska, A. Policriti 
             Uniform relational frameworks for modal inferences 
       A. De Pietri 
             Quantification in Formal Logic and Natural Language (lavoro breve) 
      17:40 - 18:40  Presentazioni "demo"  
       Dibattito aperto su "Didattica e Linguaggi Dichiarativi" 

  
  
  Giovedi' 17.6.2004  
        9:00 - 10:15  Tutorial 3 
       S. Costantini 
             Answer Set Programming 
      10:15 - 11:15  SESSIONE 5 
       A. Capotorti, A. Formisano  
             A declarative approach to uncertainty orders 
       L. Blandi, M.I. Sessa 
             A multi context-based Approximate Reasoning 
       M. D'Antonio, G. Delzanno  
             SAT-based Analysis of Cellular Automata 
      11:15 - 11:40  Coffee-break 
      11.40 - 12:30  Relazione invitata 
       L. M. Pereira 
             Revised Stable Models - a new semantics for logic programs 
      12:30 - 13:10  SESSIONE 6 
       F. Buccafurri, G. Caminiti 
             Implementing Joint Fixpoints Semantics on Top of DLV 
       M. Gabbrielli, M.C. Meo 
             A compositional semantics for CHR 
      13:10 - 14:30  Pausa pranzo 
      14:30 - 15:50  SESSIONE 7  
       C. Cumbo, P. Rullo, S. Iiritano 
             Combining logic programming and domain ontologies for text classification 
       M. Citrigno, G. Greco, W. Faber, N. Leone 
             Efficient Evaluation of Disjunctive Datalog Queries with Aggregate Functions DB 
       V. Cordì, V. Mascardi 
             Checking the Completeness of Ontologies: A Case Study from the Semantic Web 
       Z.Majkic 
             Ontological encapsulation of many-valued logic 
      15:50 - 16:40 SESSIONE 8 
       A. Varlaro, M. Berardi, D. Malerba, 
             Improving efficiency of recursive theory learning 
       F. Bonchi, F. Giannotti, D. Pedreschi 
             Frequent Pattern Queries for Flexible Knowledge Discovery 
       A. Pettorossi, M. Proietti 
             Totally Correct Logic Program Transformations Using Well-Founded Annotations (lavoro breve) 
      16:40 - 17:05  Coffee-break 
      16:05 - 17:45  SESSIONE 9 
       A. Bossi, C. Piazza, S. Rossi 
             Preserving (Security) Properties under Action Refinement 
       J. Alferes, F. Banti, A. Brogi 
             From logic programs updates to action description updates 
      17:45 - 17:50  Chiusura dei lavori 

  
  

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/seminars/attachments/20040527/4aa81c29/attachment.html>