DMCA
Il Milione (ovvero 2 6, 3 giugno 2008) Viaggio nella Logica Computazionale in Italia Numero speciale della rivista “Intelligenza Artificiale”
BibTeX
@MISC{_ilmilione,
author = {},
title = {Il Milione (ovvero 2 6, 3 giugno 2008) Viaggio nella Logica Computazionale in Italia Numero speciale della rivista “Intelligenza Artificiale”},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Come recita il titolo, questo volume rappresenta un viaggio tra i gruppi di ricerca italiani che condividono l’interesse verso metodi e tecniche che derivano dalla logica computazionale. Il volume raccoglie 15 lavori che brevemente descrivono sia le esperienze recenti di tali gruppi sia le linee di sviluppo considerate più promettenti. L’occasione di questa raccolta è il compleanno di Alberto Martelli, ben conosciuto dalla comunità per i suoi studi sugli algoritmi per la ricerca euristica e per l’unificazione di termini nella logica del prim’ordine, per le proposte di estensione dei linguaggi logici con construtti di strutturazione come blocchi e moduli, per i lavori sulle tecniche di ragionamento non-monotono, il ragionamento su azioni e cambiamento e, più recentemente, per i lavori sulla specifica e la verifica di proprietà di sistemi di agenti e servizi che interoperano. Ad Alberto Martelli, tutti gli autori e i curatori degli articoli di questa raccolta dedicano il contributo di questo volume. Il compito di curare questa raccolta non è stato arduo, per via dell’entusiasmo e l’immediata partecipazione dimostrati
Keyphrases
il milione viaggio nella logica computazionale tutti gli il volume sulla specifica la immediata partecipazione dimostrati pi recentemente ad alberto martelli studi sugli algoritmi ben conosciuto dalla comunit il ragionamento su azioni cambiamento come recita il titolo sulle tecniche di la ricerca euristica
