<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META content="text/html; charset=windows-1252" http-equiv=Content-Type>
<META content="MSHTML 5.00.2919.6307" name=GENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=#b8b8b8>
<CENTER><B><FONT size=+3>CILC'04</FONT></B> <BR><B><FONT size=+3>C</FONT><FONT
size=+2>ONVEGNO</FONT><FONT size=+3> I</FONT><FONT size=+2>TALIANO</FONT><FONT
size=+3> </FONT><FONT size=+2>DI</FONT><FONT size=+3> L</FONT><FONT
size=+2>OGICA</FONT><FONT size=+3> C</FONT><FONT
size=+2>OMPUTAZIONALE</FONT></B>
<P><I><FONT size=+2>Diciannovesimo incontro annuale dell'Associazione
Italiana</FONT></I> <BR><I><FONT size=+2>``Gruppo Ricercatori e Utenti di Logic
Programming'' (GULP)</FONT></I> <BR> <BR>
<P><I><FONT size=+1>16-17 giugno 2004</FONT></I> <BR><I><FONT
size=+1>Dipartimento di Matematica</FONT></I> <BR><I><FONT size=+1>Via
M.D'Azeglio, 85/A</FONT></I> <BR><I><FONT size=+1>Parma</FONT></I> <BR>
<P><B><I><FONT size=+1>Informazioni dettagliate sul Convegno sono disponibili
all'indirizzo Web</FONT></I></B> <BR><B><I><FONT size=+1><A
href="http://www.cs.unipr.it/CILC04">http://www.cs.unipr.it/CILC04</A></FONT></I></B>
<BR>
<P>
<HR width="100%">
<BR><B><FONT size=+3>Programma del Convegno</FONT></B></CENTER>
<P><BR>
<TABLE border=1 cols=1 width="100%">
<TBODY>
<TR bgColor=#ffff99>
<TD bgColor=#ffcc99 height=30>
<CENTER><B><FONT size=+2>Mercoledi'
16.6.2004 </FONT></B></CENTER></TD></TR></TBODY></TABLE>
<TABLE bgColor=#ffffcc border=1 cols=2 width="100%">
<TBODY>
<TR>
<TD bgColor=#99ff99 width="20%">
<CENTER> 8:30 - 9:15</CENTER></TD>
<TD bgColor=#99ff99> Iscrizione al convegno</TD></TR>
<TR>
<TD>
<CENTER> 9:15 - 10:30</CENTER></TD>
<TD> <B>Tutorial 1 </B> <BR><I> </I>P. Torroni
<BR><I> Introduzione ai sistemi
multi-agente basati su logica computazionale</I></TD></TR>
<TR>
<TD>
<CENTER>10:30 - 11:10</CENTER></TD>
<TD> <B>SESSIONE 1 </B> <BR> U. Endriss, P. Mancarella, F.
Sadri, G. Terreni, F. Toni <BR><I>
Abductive Logic Programming with CIFF: Implementation and Applications</I>
<BR> M. Alberti, M. Gavanelli, E. Lamma, P. Mello, P. Torroni
<BR><I> Abduction with Hypotheses
Confirmation</I></TD></TR>
<TR>
<TD bgColor=#99ff99>
<CENTER>11:10 - 11:35</CENTER></TD>
<TD bgColor=#99ff99> Coffee-break</TD></TR>
<TR>
<TD>
<CENTER>11:35 - 13:05</CENTER></TD>
<TD> <B>SESSIONE 2 </B> <BR> G. Boella, L. van der Torre
<BR> <I> Contracts in Multiagent
Systems: the Legal Institution Perspective</I> <BR><I> </I>I. Gungui,
V. Mascardi <BR><I> Integrating
tuProlog into DCaseLP to Engineer Heterogeneous Agent Systems</I>
<BR> M. Baldoni, C. Baroglio, A. Martelli, V. Patti
<BR> <I>Reasoning about logic-based
agent interaction protocols</I> <BR> S. Costantini, A.Tocchio,
A.Verticchio <BR> <I> Communication
Architecture in the DALI Logic Programming Agent-Oriented Language</I>
<BR><I> </I>L. Torasso <BR>
<I>Costruzione automatica di courseware in DyLOG</I> (lavoro breve)</TD></TR>
<TR>
<TD bgColor=#99ff99>
<CENTER>13:05 - 14:30</CENTER></TD>
<TD bgColor=#99ff99> Pausa pranzo</TD></TR>
<TR>
<TD>
<CENTER>14:30 - 15:45</CENTER></TD>
<TD> <B>Tutorial 2 </B> <BR><I> </I>A. Dovier
<BR><I> Il problema del Protein
Folding e i relativi approcci basati su programmazione con
vincoli</I></TD></TR>
<TR>
<TD>
<CENTER>15:45 - 16:45</CENTER></TD>
<TD> <B>SESSIONE 3</B> <BR> A. Dal Palů, S. Will, R. Backofen,
A. Dovier <BR> <I>Constraint Based
Protein Structure Prediction Exploiting Secondary Structure
Information</I> <BR> M. Cadoli, T. Mancini
<BR> <I>Using a theorem prover for
reasoning on constraint problems</I> <BR> Steve Prestwich, Francesca
Rossi, Kristen Brent Venable, Toby Walsh
<BR> <I>Constrained CP nets</I></TD></TR>
<TR>
<TD bgColor=#99ff99>
<CENTER>16:45 - 17:10</CENTER></TD>
<TD bgColor=#99ff99> Coffee-break</TD></TR>
<TR>
<TD>
<CENTER>17:10 - 17:40</CENTER></TD>
<TD> <B>SESSIONE 4 </B> <BR> A. Formisano, E. G. Omodeo, E.
S. Orlowska, A. Policriti <BR>
<I>Uniform relational frameworks for modal inferences</I> <BR> A. De
Pietri <BR> <I>Quantification in
Formal Logic and Natural Language </I>(lavoro breve)</TD></TR>
<TR>
<TD rowSpan=2>
<CENTER>17:40 - 18:40</CENTER></TD>
<TD> Presentazioni "<I>demo</I>" </TD></TR>
<TR>
<TD> Dibattito aperto su <I>"Didattica e Linguaggi
Dichiarativi"</I></TD></TR></TBODY></TABLE><BR> <BR> <BR>
<TABLE border=1 cols=1 width="100%">
<TBODY>
<TR bgColor=#ffff99>
<TD bgColor=#ffcc99 height=30>
<CENTER><B><FONT size=+2>Giovedi'
17.6.2004 </FONT></B></CENTER></TD></TR></TBODY></TABLE>
<TABLE bgColor=#ffffcc border=1 cols=2 width="100%">
<TBODY>
<TR>
<TD width="20%">
<CENTER> 9:00 - 10:15</CENTER></TD>
<TD><B> Tutorial 3</B> <BR><I> </I>S. Costantini
<BR><I> Answer Set
Programming</I></TD></TR>
<TR>
<TD>
<CENTER>10:15 - 11:15</CENTER></TD>
<TD> <B>SESSIONE 5</B> <BR> A. Capotorti, A. Formisano
<BR> <I>A declarative approach to
uncertainty orders</I> <BR> L. Blandi, M.I. Sessa
<BR> <I>A multi context-based
Approximate Reasoning</I> <BR> M. D'Antonio, G. Delzanno
<BR> <I>SAT-based Analysis of Cellular
Automata</I></TD></TR>
<TR>
<TD bgColor=#99ff99>
<CENTER>11:15 - 11:40</CENTER></TD>
<TD bgColor=#99ff99> Coffee-break</TD></TR>
<TR>
<TD>
<CENTER>11.40 - 12:30</CENTER></TD>
<TD><B> Relazione invitata</B> <BR> L. M. Pereira
<BR> <I>Revised Stable Models - a new
semantics for logic programs</I></TD></TR>
<TR>
<TD>
<CENTER>12:30 - 13:10</CENTER></TD>
<TD> <B>SESSIONE 6</B> <BR> F. Buccafurri, G. Caminiti
<BR> <I>Implementing Joint Fixpoints
Semantics on Top of DLV</I> <BR> M. Gabbrielli, M.C. Meo
<BR> <I>A compositional semantics for
CHR</I></TD></TR>
<TR>
<TD bgColor=#99ff99>
<CENTER>13:10 - 14:30</CENTER></TD>
<TD bgColor=#99ff99> Pausa pranzo</TD></TR>
<TR>
<TD>
<CENTER>14:30 - 15:50</CENTER></TD>
<TD> <B>SESSIONE 7 </B> <BR> C. Cumbo, P. Rullo, S.
Iiritano <BR> <I> Combining logic
programming and domain ontologies for text classification</I> <BR> M.
Citrigno, G. Greco, W. Faber, N. Leone
<BR> <I>Efficient Evaluation of
Disjunctive Datalog Queries with Aggregate Functions DB</I> <BR> V.
Cordě, V. Mascardi <BR> <I>Checking
the Completeness of Ontologies: A Case Study from the Semantic Web</I>
<BR> Z.Majkic <BR> <I>Ontological
encapsulation of many-valued logic</I></TD></TR>
<TR>
<TD>
<CENTER>15:50 - 16:40</CENTER></TD>
<TD><B>SESSIONE 8</B> <BR> A. Varlaro, M. Berardi, D. Malerba,
<BR> <I>Improving efficiency of
recursive theory learning</I> <BR> F. Bonchi, F. Giannotti, D.
Pedreschi <BR> <I>Frequent Pattern
Queries for Flexible Knowledge Discovery</I> <BR><I> </I>A.
Pettorossi, M. Proietti <BR>
<I>Totally Correct Logic Program Transformations Using Well-Founded
Annotations </I>(lavoro breve)</TD></TR>
<TR>
<TD bgColor=#99ff99>
<CENTER>16:40 - 17:05</CENTER></TD>
<TD bgColor=#99ff99> Coffee-break</TD></TR>
<TR>
<TD>
<CENTER>16:05 - 17:45</CENTER></TD>
<TD> <B>SESSIONE 9</B> <BR> A. Bossi, C. Piazza, S. Rossi
<BR> <I>Preserving (Security)
Properties under Action Refinement</I> <BR> J. Alferes, F. Banti, A.
Brogi <BR> <I>From logic programs
updates to action description updates</I></TD></TR>
<TR>
<TD bgColor=#99ff99>
<CENTER>17:45 - 17:50</CENTER></TD>
<TD bgColor=#99ff99> Chiusura dei
lavori</TD></TR></TBODY></TABLE><BR> <BR> </P></BODY></HTML>