Giornata di Lavoro su Ragionamento non monotono

La giornata di lavoro è organizzata dal gruppo di lavoro su Rappresentazione della Conoscenza e Ragionamento Automatico dell'Associazione Italiana per l'Intelligenza Artificiale (AI*IA) e dal Gruppo Utenti e Ricercatori di Logic Programming (GULP).

La giornata di lavoro ha l'obiettivo di offrire un'occasione di confronto e di discussione ai ricercatori italiani impegnati nel settore del ragionamento non monotono.

Programma dei lavori

  • 9:30-10:30 Ragionamento non monotono: Linee di tendenza. Marco Schaerf (Univ. Roma "La Sapienza")
  • 10:30-10:45 Pausa Caffè
  • 10:45 -12:50 Ragionamento non monotono e abduzione, induzione, revisione della conoscenza
  • 12:50-13:55 Pausa Pranzo
  • 13:55-14:45 Formalizzazioni del ragionamento non monotono tramite eventi e "'local' patterns".
  • 14:45-16:00 Formalismi di ragionamento non monotono
  • 16:00-16:15 Pausa Caffè
  • 16:15-17:00 Le decisioni in politica ed il ragionamento. Scusa per tentare di provare che il ragionamento non monotono è in una brutta via. Antonio Martino (Univ. Pisa)

    L'incontro è riservato ai soci AI*IA e ai soci GULP; la partecipazione è gratuita. E' prevista la possibilità di associarsi al momento dell'iscrizione alla giornata di lavoro. Poichè il numero dei partecipanti è limitato, gli interessati ad intervenire sono pregati di comunicarlo al piu' presto al coordinatore (preferibilmente per posta elettronica).

    Per le prenotazioni alberghiere è possibile rivolgersi a: Hotel Fiume, via Brescia 5 - 00198 ROMA tel. 06/8543000 fax/8548888 usando come riferimento il Dipartimento di Informatica e Sistemistica (convenzionato a prezzi ridotti del 10%). L'albergo si trova a poca distanza dalla sede della Giornata di lavoro.

    Comitato organizzatore

  • Luca Console (Univ. Torino)
  • Laura Giordano (Univ. Torino)
  • Paolo Mancarella (Univ. Pisa)
  • Paola Mello (Univ. Bologna)
  • Daniele Nardi (Univ. Roma "La Sapienza")
  • Fiora Pirri (Univ. Roma "La Sapienza")

    Coordinatore