Programmazione logica a vincoli
- 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 the Web Browser
-
- Other Formats (2)
-
-
Export as HyperText Markup Language (HTML)
-
Partendo dal concetto di vincolo e dai limiti dei linguaggi imperativi e dichiarativi, il seminario introduce il paradigma di programmazione logica a vincoli (CLP). Viene introdotta la macchina CLP come estensione della macchina logica, definita la semantica operazionale (sia tramite metaintreprete sia tramite un transition system), discussi alcuni casi notevoli come CLP(H) e CLP(FD), infine presentati alcuni esempi di computazioni logiche a vincoli. Outline:
|
Talks / Personal
Talks / Views
Home
— clouds
tags | speakers | authors
— per year
2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014–1992
— per sort
talks | invited talks | seminars | lectures | tutorials | project presentations | informal talks | internal talks | panel presentations | PhD presentations | poster presentations | other talks
Talk
— speakers
— authors
— sort
seminar
— language
— context
Corso di Intelligenza Artificiale
— where
Aula 4.1, Facoltà di Ingegneria, Università di Bologna, Italy
— when
24/01/1996