Il Milione. Viaggio nella logica computazionale in Italia
- Manage
- Copy
- Actions
- Export
- Annotate
- Print Preview
Choose the export format from the list below:
- Office Formats (1)
-
Export as Portable Document Format (PDF) using Apache Formatting Objects Processor (FOP)
-
- Other Formats (1)
-
Export as HyperText Markup Language (HTML)
-
Matteo Baldoni, Cristina Baroglio (eds.)
June 2008
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. Sfortunatamente questa raccolta non è esaustiva, molti altri sono i gruppi di ricerca che utilizzano la logica computazionale come strumento di indagine. Ringraziamo Donato Malerba, direttore responsabile della rivista italiana “Intelligenza Artificiale” per aver accettato con entusiasmo l'idea di questo progetto, tutti coloro che hanno contribuito a questo volume con i loro lavori e, per concludere, vorremmo esprimere un sentito ringraziamento a tutti coloro che ci hanno incoraggiato nella preparazione, in particolare Laura Giordano, Evelina Lamma, Paola Mello, Nicola Olivetti, Viviana Patti, Maria Luisa Sapino e Piero Torasso. |
Publications / Personal
Publications / Views
Home
— clouds
tags | authors | editors | journals
— per year
2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014–1927
— per sort
in journal | in proc | chapters | books | edited | spec issues | editorials | entries | manuals | tech reps | phd th | others
— per status
online | in press | proof | camera-ready | revised | accepted | revision | submitted | draft | note
— services
ACM Digital Library | DBLP | IEEE Xplore | IRIS | PubMed | Google Scholar | Scopus | Semantic Scholar | Web of Science | DOI
Publication
— editors
Matteo Baldoni, Cristina Baroglio
— status
published
— sort
edited volume
— publication date
June 2008
— issue
110/08
— pages
X-88
— institution
Dipartimento di Informatica, Università degli Studi di Torino
URLs
notes
— note
Technical Report. Essay dedicated to Alberto Martelli