OpenLLM-France/wikimedia huggingface dataset:
# Episodi di Chante! (prima stagione)

La prima stagione della serie televisiva Chante! è stata trasmessa in Francia sul canale France 2.
In Italia è stata trasmessa in anteprima a pagamento, tutti i giorni feriali dal 18 dicembre 2008 sul canale Mya, mentre in chiaro è stata proposta dal 7 giugno 2010 sul canale Italia 1.
| nº | Titolo originale | Titolo italiano | Prima TV Francia | Prima TV Italia |
| 1 | L'audition | L'audizione | 18 febbraio 2008 | 18 dicembre 2008 |
| 2 | Premiers pas | Primi passi allo Studio 24 | - | 19 dicembre 2008 |
| 3 | Un job à tout prix | Un lavoro a tutti i costi | - | 22 dicembre 2008 |
| 4 | Tom se rebelle | Ritrovare Tom | - | 23 dicembre 2008 |
| 5 | Au revoir | Arrivederci | - | 24 dicembre 2008 |
| 6 | Ce beau brun ténébreux | Quel bel bruno tenebroso | - | 25 dicembre 2008 |
| 7 | L'incruste | Tina deve coabitare con Fafà | - | 26 dicembre 2008 |
| 8 | L'ombre d'un doute | L'ombra di un dubbio | - | 29 dicembre 2008 |
| 9 | Haut les c(h)oeurs | In alto i cuori | - | 30 dicembre 2008 |
| 10 | Trahison | Océane sta con Vincent | - | 31 dicembre 2008 |
| 11 | Tom, le retour | Il ritorno di Tom | - | 1º gennaio 2009 |
| 12 | Rien ne va plus | Tutto a rotoli | - | 2 gennaio 2009 |
| 13 | Epreuves | La prova | - | 5 gennaio 2009 |
| 14 | Sous pressions | Sotto pressione | - | 6 gennaio 2009 |
| 15 | Vibrations | Vibrazioni | - | 7 gennaio 2009 |
| 16 | Le prince charmant | Il principe azzurro | - | 8 gennaio 2009 |
| 17 | Révélations | Rivelazioni | - | 9 gennaio 2009 |
| 18 | Grosses cachotteries entre amis | Segreti tra amici | - | 12 gennaio 2009 |
| 19 | Coup de tête | Colpo di testa | - | 13 gennaio 2009 |
| 20 | Ruptures en série | Ritorno di fiamma | - | 14 gennaio 2009 |
| 21 | Le coeur et la raison | Il cuore e la ragione | - | 15 gennaio 2009 |
| 22 | Question de pouvoir | Una questione di potere | - | 16 gennaio 2009 |
| 23 | Le défi | La sfida | - | 19 gennaio 2009 |
| 24 | Bas les masques | Giù la maschera | - | 20 gennaio 2009 |
| 25 | Show must go on | Lo show continua!! | - | 21 gennaio 2009 |
| 26 | Le choix de Tina | La scelta di Tina | - | 22 gennaio 2009 |
# Altare della cappella Averoldi

L'altare della cappella Averoldi nella chiesa di Santa Maria del Carmine a Brescia è un apparato scultoreo in marmo databile tra gli anni '50 e '60 del XV secolo.

## Storia

L'allestimento dell'altare può essere collocato in prossimità della costruzione della cappella, avvenuta alla metà del XV secolo nell'ambito della fabbrica della nuova chiesa, assieme alle altre poste in sequenza sulla stessa navata. Di conseguenza, il manufatto è databile tra gli anni '50 e '60 del secolo. Piuttosto, la composizione poco limpida e non ben strutturata lascia credere che sia frutto del reimpiego di parti di origine diversa, anche se la committenza Averoldi è confermata dagli stemmi che vi campeggiano.

## Descrizione e stile

Si tratta di un'opera di notevole interesse in quanto rappresenta una delle prime testimonianze di una produzione scultorea locale aggiornata al nuovo gusto rinascimentale classicheggiante. Evidenti, in particolare, i caratteri prettamente decorativi che rivestono il manufatto, il quale però, allo stesso tempo, è strutturato in modo molto semplice e quasi incompleto, benché ciò possa essere ricondotto alla controversa origine dell'apparato. Si tratta, in generale, di una lavorazione molto raffinata e curata, composta principalmente da complessi girali di festoni vegetali accompagnati da putti, apprezzabile anche sui rilievi dei due fianchi.
Nelle opere giunte fino a noi non è registrata un'immediata ricaduta di questi nuovi, particolari connotati classicheggianti, che si ripresentano solamente a partire dagli anni '70 del secolo con il portale della chiesa di Santa Maria del Carmine e il portale della basilica di Santa Maria delle Grazie e infine assunti a corretto linguaggio, decorativo e strutturale, nel portale della chiesa del Santissimo Corpo di Cristo.
# Top Gear America

Top Gear America è un programma televisivo statunitense che tratta come argomento principale le automobili, tratto dall'omonimo format britannico, ed è presentato da William Fichtner, Tom Ford, Antron Brown e The Stig.

## Storia

Nel giugno 2016, al termine della sesta stagione di Top Gear USA, la BBC America decise di cancellare la serie per "esplorare nuove opportunità negli Stati Uniti". Nel marzo 2017 la BBC annunciò di aver ordinato una nuova versione di Top Gear, intitolata Top Gear America e presentata da William Fichtner, Tom Ford e Antron Brown. Nel 2019 viene annunciato che BBC e Discovery hanno siglato un accordo multiannuale per i diritti di Top Gear America, il 2020 sono state registrare le nuove puntate e nel 2021 sono state rese disponibili su MotorTrend USA App e Discovery Plus in tutta Europa.

## Episodi

| Serie | Serie | Puntate | Prima TV USA | Prima TV USA | Spettatori prima TV USA (in milioni) |
| Serie | Serie | Puntate | Prima di stagione | Finale di stagione | Spettatori prima TV USA (in milioni) |
| | 1 | 8 | 30 luglio 2017 | 17 settembre 2017 | N.D. |
| | 2 | 6 | 19 febbraio 2020 | in corso | N.D. |
# Privateering

Recensioni professionali :
| Recensione | Giudizio |
| AllMusic | |
| Rolling Stone | |
Privateering è il settimo album discografico del cantautore e chitarrista britannico Mark Knopfler, pubblicato il 3 settembre 2012 dalla Mercury Records.

## Il disco

Il disco è un doppio album di inediti che incorpora il blues rock con il folk tradizionale e la musica country. Si tratta del primo doppio album della carriera di Mark Knopfler.

## Tracce

Tutti i brani sono di Mark Knopfler ad eccezione di Miss You Blues (testo di Mark Knopfler, musica tratta dalla melodia tradizionale Deep Blue Sea e arrangiata da Mark Knopfler).

### Disco 1

* Redbud Tree – 3:20
* Haul Away – 4:01
* Don't Forget Your Hat – 5:15
* Privateering – 6:20
* Miss You Blues – 4:18
* Corned Beef City – 3:32
* Go, Love – 4:52
* Hot or What – 4:54
* Yon Two Crows – 4:26
* Seattle – 4:17
Durata totale: 45:15

### Disco 2

* Kingdom of Gold – 5:22
* Got to Have Something – 4:01
* Radio City Serenade – 5:13
* I Used to Could – 3:36
* Gator Blood – 4:15
* Bluebird – 3:27
* Dream of the Drowned Submariner – 5:00
* Blood and Water – 5:20
* Today Is Okay – 4:45
* After the Beanstalk – 3:54
Durata totale: 44:53

### Disco bonus edizione deluxe

* Why Aye Man (live) – 7:12
* Cleaning My Gun (live) – 4:43
* Corned Beef City (live) – 4:26
* Sailing to Philadelphia (live) – 7:12
* Hill Farmer's Blues (live) – 5:18
Durata totale: 28:51

## Musicisti

* Mark Knopfler – voce e chitarre
* Richard Bennett – chitarre, bouzouki e tiple colombiano
* Jim Cox – pianoforte e organo
* Guy Fletcher – tastiera e cori
* John McCusker – fiddle e cittern
* Michael McGoldrick – tin whistle e uilleann pipes
* Phil Cunningham – fisarmonica
* Glenn Worf – basso elettrico e contrabbasso
* Ian Thomas – batteria
* Kim Wilson – armonica a bocca
* Tim O'Brien – mandolino e cori
* Paul Franklin – pedal steel guitar
* Ruth Moody – cori
* Rupert Gregson-Williams – cori
* Chris Botti – tromba
* Nigel Hitchcock – sassofono
* John Charnec – clarinetto
* Strumenti ad arco arrangiati da Mark Knopfler e Guy Fletcher, diretti da Rupert Gregson-Williams

## Classifiche

| Classifica (2012) | Posizione massima |
| Australia | 25 |
| Austria | 1 |
| Belgio (Fiandre) | 2 |
| Belgio (Vallonia) | 3 |
| Canada | 23 |
| Danimarca | 2 |
| Finlandia | 7 |
| Francia | 10 |
| Germania | 1 |
| Italia | 2 |
| Norvegia | 1 |
| Nuova Zelanda | 3 |
| Paesi Bassi | 1 |
| Polonia | 2 |
| Portogallo | 12 |
| Regno Unito | 8 |
| Repubblica Ceca | 5 |
| Spagna | 2 |
| Stati Uniti | 65 |
| Stati Uniti (rock) | 18 |
| Svezia | 2 |
| Svizzera | 2 |
# Antioco di Ascalona

Antioco di Ascalona(ingreco anticoΆντίοχος,Antíochos;Ascalona,120 a.C.–Siria,67 a.C.) è stato unfilosofogreco antico, di origine siriana, considerato il fondatore della cosiddettaQuinta Accademia.
Discepolo e avversario di Filone di Larissa, ultimo scolarca dell'Accademia di Atene, ma anche di Dardano e Mnesarco, entrambi seguaci dello stoicismo, insegnò ad Alessandria d'Egitto, in Siria e ad Atene, dove ebbe come allievo attorno al 79 a.C. Cicerone, grazie al quale parte delle sue dottrine è giunta fino a noi.
Antioco si stacca nettamente dalla corrente scettica, che aveva caratterizzato l'Accademia platonica fin dai tempi di Arcesilao, grazie ad una teoria della conoscenza a base prevalentemente sensistica, certamente influenzata dallo stoicismo, ma che attraverso una mediazione aristotelica si ricongiunge alla dottrina platonica delle idee. L'etica di Antioco, invece, pur partendo da una base terminologica stoica, si avvicina più alle dottrine peripatetiche confutando la tesi stoica dell'autosufficienza della virtù.
# Thug Life (film)

Thug Life è un film del 2001 diretto dal regista Greg Carter, uscito negli Stati Uniti d'America l'8 marzo 2001.
# Baltimore Open 1978

Il Baltimore Open 1978 è stato un torneo di tennis giocato sul sintetico indoor. È stata la 7ª edizione del Baltimore WCT, che fa parte del Colgate-Palmolive Grand Prix 1978. Si è giocato a Baltimora negli Stati Uniti, dal 20 al 26 gennaio 1978.

## Campioni
### Singolare

Cliff Drysdale ha battuto in finale Tom Gorman 7–5, 6–3

### Doppio

Frew McMillan / Fred McNair hanno battuto in finale Roger Taylor / Antonio Zugarelli 6–3, 7–5
# Spazio profondo

* Spazio profondo – il vuoto che esiste tra i corpi celesti
* Spazio profondo – episodio della prima stagione della serie televisiva Star Trek
# Episodi di Chante! (terza stagione)

La terza stagione della serie televisiva Chante! è stata trasmessa in Francia sul canale France 2.
In Italia è stata trasmessa in anteprima a pagamento, tutti i giorni feriali dal 6 luglio 2010 al 22 luglio 2010 sul canale Mya, con un doppio episodio quotidiano, mentre in chiaro è stata proposta da La 5 subito dopo la seconda stagione.
| nº | Titolo originale | Titolo italiano | Prima TV Francia | Prima TV Italia |
| 1 | Redistribution | Crescere | - | 6 luglio 2010 |
| 2 | Cendrillon | Cenerentola | - | 6 luglio 2010 |
| 3 | Une place pour deux | Un solo posto per due | - | 7 luglio 2010 |
| 4 | Déconnexion | La regola e l'eccezione | - | 7 luglio 2010 |
| 5 | Je crois ce que je vois | Credo a quello che vedo | - | 8 luglio 2010 |
| 6 | Des lendemains qui dé-chantent | Il disincanto del giorno dopo | - | 8 luglio 2010 |
| 7 | Maintenant ou jamais | Adesso o mai più | - | 9 luglio 2010 |
| 8 | Chacun sa place | Ognuno al proprio posto | - | 9 luglio 2010 |
| 9 | Etre soi | L'importanza di essere se stessi | - | 12 luglio 2010 |
| 10 | La bonne idée? | Una buona idea | - | 12 luglio 2010 |
| 11 | Manipulation sentimentale | Manipolazione sentimentale | - | 13 luglio 2010 |
| 12 | Scrupules or not? | Scrupoli | - | 13 luglio 2010 |
| 13 | Inacessible étoile | La stella inaccessibile | - | 14 luglio 2010 |
| 14 | Muse | La musa | - | 14 luglio 2010 |
| 15 | Le clash | La rottura | - | 15 luglio 2010 |
| 16 | Une histoire de melon | Dalla luce all'ombra | - | 15 luglio 2010 |
| 17 | A star is born | È nata una stella | - | 16 luglio 2010 |
| 18 | Nul n'est irremplaçable | Nessuno è insostituibile | - | 16 luglio 2010 |
| 19 | Retour vers le futur | Ritorno al futuro | - | 19 luglio 2010 |
| 20 | Egotrip | Viaggio nell'ego | - | 19 luglio 2010 |
| 21 | Les rats quittent le navire | I topi abbandonano la nave | - | 20 luglio 2010 |
| 22 | Le spectacle de ma vie | Lo spettacolo della mia vita | - | 20 luglio 2010 |
| 23 | Faite pour ça | Nata per questo | - | 21 luglio 2010 |
| 24 | Chante! | Canta! | - | 21 luglio 2010 |
| 25 | Coup de pression | Colpo di grazia | - | 22 luglio 2010 |
| 26 | La part des choses | Fuga di talenti | - | 22 luglio 2010 |
# Vinacciolo

Il vinacciolo è il seme dell'acino dell'uva (costituito appunto da buccia, polpa e vinaccioli).
La caratteristica fondamentale dei vinaccioli è l'elevato contenuto di polifenoli e di oli. Questo li rende una fonte preziosa per la produzione di antiossidanti a elevato contenuto di polifenoli e di oli alimentari (olio di vinaccioli).
I vinaccioli vengono impiegati anche durante il processo di produzione del vino in quanto sono responsabili insieme alle bucce del rilascio di polifenoli come proantocianine/tannino e catechine, con funzioni organolettiche e sensoriali.
# Tonino Domenicali

Tonino Domenicali (Serravalle, 18 febbraio 1936 – Berra, 4 luglio 2002) è stato un ciclista su strada, pistard e dirigente sportivo italiano. Professionista dal 1957 al 1966, fu campione olimpico nell'inseguimento a squadre ai Giochi di Melbourne 1956.

## Carriera

Trasferitosi con la famiglia a Milano nel 1945, iniziò la sua carriera ciclistica nel 1952, a 16 anni, vincendo il campionato lombardo su strada con la maglia della "Macallesi". Nel settore "allievi" vinse 32 corse su strada.
Nel 1954 passò alla squadra del Pedale Monzese e vinse la Coppa Adriana, valida per il campionato italiano di inseguimento a squadre. Passò quindi all'Aurora Desio nel 1956, con la quale vinse la medaglia d'oro "Emilio Gardiol" (velocità su pista), il campionato italiano di inseguimento a squadre su strada.
Ai Giochi della XVI Olimpiade di Melbourne dello stesso anno, vinse la medaglia d'oro nell'inseguimento a squadre su pista con Leandro Faggin, Valentino Gasparella, Franco Gandini e Virginio Pizzali.
Passò quindi alla categoria dei professionisti, gareggiando dal 1957 al 1965 con diverse squadre (Asborno, Ignis, Bianchi e GBC).
Vinse sei corse (tra cui il "Gran premio Faema" a Chignolo Po, valido come premondiale) e partecipò a tre edizioni del Giro d'Italia.
Nel 1960 stabilì il record dell'ora dietro moto leggere e nel 1963 vinse il campionato italiano Stayers.

## Palmarès
### Pista

* 1956
    Giochi olimpici, Inseguimento a squadre

### Strada

* 1957
    Coppa Mostra del Tessile
* 1960
    Gran Premio Faema-Chignolo Po

## Piazzamenti
### Grandi giri

* Giro d'Italia
    1958: ritirato (3ª tappa)
    1960: 97º
    1961: ritirato
# Proteine SUMO

Le proteine SUMO (dall'inglese: Small Ubiquitin-like MOdifier) sono delle piccole proteine simili all'ubiquitina.
Sono coinvolte nel processo detto sumoilazione, che è una che consiste nell'aggiungere permanentemente le SUMO a specifici bersagli, molto spesso avviene su delle lisine, ed è un meccanismo di regolazione rilevante in vari tipi cellulari.
# Anticorpi antifosfolipidi

Gli anticorpi antifosfolipidi sono autoanticorpi (anticorpi prodotti in modo erroneo dall'organismo contro sue stesse componenti) diretti contro le proteine che legano i fosfolipidi anionici della cellula.
Questi anticorpi possono essere collegati ad alcune manifestazioni cliniche quali trombosi (arteriose o venose), aborti ricorrenti, ridotto numero di piastrine. A seconda della sede in cui la trombosi si verifica possono presentarsi problemi neurologici, cardiaci, renali, cutanei e a carico di qualunque distretto corporeo. Lo spettro delle complicanze potenzialmente collegate alla presenza di anticorpi antifosfolipidi si sta estendendo con il progredire degli studi clinici.
Gli anticorpi posti più frequentemente in relazione con la sindrome da anticorpi antifosfolipidi (SAFL) sono gli anticorpi anti-cardiolipina, il LAC (anticoagulante lupico), gli anti-beta2 glicoproteina I.
La presenza di esami positivi non significa che necessariamente si svilupperanno sintomi; perché ci sia diagnosi di SAFL, infatti, sono indispensabili anche dei criteri clinici specifici (ossia la presenza di alcune manifestazioni di malattia).
# Bandiera della Comunità europea del carbone e dell'acciaio

La bandiera della Comunità europea del carbone e dell'acciaio è stata una bandiera bicolore orizzontale sulla quale erano poste dalle sei alle dodici stelle, a rappresentare la Comunità europea del carbone e dell'acciaio (CECA) dal 1958 (sei anni dopo la fondazione dell'organizzazione) fino al 2002, quando il trattato che istituiva la CECA si è estinto. La bandiera con le dodici stelle disposte a cerchio era invece utilizzata dal Consiglio d'Europa, organizzazione diversa dalla Comunità europea, e adottata da quest'ultima solo a partire dal 1985.

## Disegno

La bandiera era composta da due bande orizzontale, la banda superiore di color blu, la banda inferiore nera: i due colori stavano a simboleggiare rispettivamente l'acciaio e il carbone, le due risorse gestite dalla CECA. Sulle bande erano rappresentate delle stelle d'oro (in seguito bianche) in numero pari a quello degli Stati membri della Comunità, fino al 1986 quando il numero di stelle fu limitato a 12. Le stelle erano ugualmente ripartite tra le due bande, nel caso il numero di stelle fosse stato dispari, le stelle in minor numero sarebbero state posizionate sulla banda superiore.

## Serie storica

| Numero di stelle | Stati membri rappresentati dalle nuove stelle (prima del 1986) | Durata |
| Sei | Gli Stati fondatori: Germania, Belgio, Francia, Italia, Lussemburgo e Paesi Bassi | 1958 – 31 dicembre 1972 |
| Nove | Danimarca, Irlanda e Regno Unito | 1º gennaio 1973 – 31 dicembre 1980 |
| Dieci | Grecia | 1º gennaio 1981 – 31 dicembre 1985 |
| Dodici | Spagna e Portogallo (in questa data il numero di stelle è stato fissato a dodici, abbandonando il principio di una stella per ogni paese). | 1º gennaio 1986 – 23 luglio 2002 |
Un esemplare originale della bandiera della CECA con dodici stelle è esposta nell'ufficio del presidente dell'Istituto Universitario Europeo Prof. Joseph Halevi Horowitz Weiler a Firenze.
# St. Pauli-Landungsbrücken

I St. Pauli-Landungsbrücken ("Pontili/Embarcaderi di St. Pauli") sono una parte del porto di Amburgo, realizzata nel quartiere di St. Pauli (distretto di Hamburg-Mitte) a partire dal 1839 ed ampliata tra il 1907 e il 1909 e tra il 1953 e il 1955..
Un tempo vi salpavano i transatlantici e - fino al 1991 - i traghetti diretti in Gran Bretagna. Ora i St. Pauli-Landungsbrücken sono invece il punto di partenza per i battelli che effettuano i giri turistici del porto.

## Ubicazione

I St.Pauli-Landungsbrücken si trovano lungo la St.-Pauli-Hafenstraße e la Johannisbollwerk, nei pressi del Fischmarkt, il mercato del pesce, e l'Alter Elbtunnel, il vecchio tunnel sotto il fiume Elba, e a sud della Hans-Albers-Platz, della Spielbudenplatz e della via a luci rosse Reeperbahn.

## Caratteristiche

Complessivamente, i pontili di St. Pauli hanno una lunghezza di 700 m.
Lungo i punti d'attracco per i pontoni dei St. Pauli-Landungsbrücken, si trovano ristoranti, bistrot, negozi di souvenir, ecc.
* I St.Pauli-Landungsbrücken intorno al 1900
Simbolo dei St. Pauli-Landungsbrücken è l'edificio, punto di accoglienza dei passeggeri, realizzato in tufo tra il 1907 e il 1909: l'edificio, della lunghezza di 200 m, si caratterizza per le sue due torri angolari e per le sue cupole.
Di fronte ai St. Pauli-Landungsbrücken, sono stabilmente ancorate due navi-museo, il veliero Rickmer Rickmers e il mercantile Cap San Diego..

## Storia

I primi punti d'attracco per i pontoni dei Landungsbrücken furono realizzati nel 1839 e dovevano servire come punto per il carico del carbone sulle navi a vapore.
Tra il 1907 e il 1909, fu realizzato l'edificio per l'accoglienza dei passeggeri..
I Landungsbrücken furono seriamenti danneggiati durante la seconda guerra mondiale. In seguito, tra il 1953 e il 1955, furono approntati degli ampliamenti..

## I St. Pauli-Landungsbrücken nella cultura di massa
### Musica

I St. Pauli-Landungsbrücken sono citati in un brano musicale della band Kettcar

### Cinema e fiction

* I St. Pauli-Landungsbrücken hanno ispirato la serie televisiva omonima del 1979-1982.
# Torment (album)

Torment è un album in studio del gruppo musicale death metal Six Feet Under, pubblicato nel 2017 dalla Metal Blade Records. È il primo album con il batterista Marco Pitruzzella. Il bassista Jeff Hughell si occupa di tutte le parti di chitarra.

## Tracce

* Sacrificial Kill – 3:55
* Exploratory Homicide – 2:45
* The Separation of Flesh from Bone – 4:52
* Schizomaniac – 3:54
* Skeleton – 3:43
* Knife Through the Skull – 3:40
* Slaughtered as They Slept – 4:55
* In the Process of Decomposing – 3:50
* Funeral Mask – 3:28
* Obsidian – 4:14
* Bloody Underwear – 3:41
* Roots of Evil – 4:02

## Formazione

* Chris Barnes - voce
* Jeff Hughell - chitarra e basso
* Marco Pitruzzella - batteria
# Programmazione logica abduttiva

La Programmazione Logica Abduttiva (ALP, dall'inglese Abductive Logic Programming) è una sottoarea della programmazione logica che inserisce nella programmazione logica regole di inferenza basate sulla abduzione.
Formalmente, un programma logico abduttivo è definito con una tripla $\langle P,A,IC\rangle$, dove P è un programma logico (un insieme di clausole di Horn), A è un insieme distinto di predicati, denominati 'abducibili' ed IC è un insieme di formule logiche, dette 'vincoli di integrità'.
Lo scopo dell'abduzione è quello di trovare una spiegazione per delle cause. Un classico esempio è la 'diagnosi': partendo dagli effetti e dalle regole che collegano cause ed effetti, si cerca di abdurre quali sono le possibili cause.
Ad esempio, un programma logico abduttivo potrebbe essere il seguente:
che indica che due possibili cause del mal di testa sono il tumore e l'influenza. Chiaramente sarebbe possibile abdurre qualsiasi cosa; per questo spesso si aggiungono i vincoli di integrità, che servono a limitare le possibili combinazioni di abducibili che vengono ipotizzati.
Un altro classico esempio è la pianificazione: dato un programma logico che definisce quali sono gli effetti di alcune azioni ed una sequenza di eventi, si può ottenere tramite deduzione la situazione finale. Usando lo stesso programma logico con una procedura abduttiva, fornendo come goal lo stato finale che si vuole raggiungere, si può ottenere una possibile sequenza di eventi che fornisce quello stato finale. Questo metodo è stato spesso usato con il calcolo degli eventi di Sergot e Kowalski.

## Procedure abduttive

Varie procedure abduttive sono state proposte. In ordine cronologico:
* Kakas-Mancarella
* SLDNFA
* ACLP, su ada.cs.ucy.ac.cy. URL consultato il 1º giugno 2006 (archiviato dall'url originale il 10 marzo 2007).
* IFF
* A-system, su cs.kuleuven.ac.be. URL consultato il 1º giugno 2006 (archiviato dall'url originale il 28 luglio 2005).
* SCIFF, su lia.deis.unibo.it.
# Annette Gerritsen

Annette Albertine Gerritsen (Ilpendam, 11 ottobre 1985) è un'ex pattinatrice di velocità su ghiaccio olandese.

## Palmarès
### Olimpiadi

* Argento a Vancouver 2010 nei 1000 metri.

### Mondiali - Distanza singola

* Bronzo a Nagano 2008 nei 500 metri.
* Bronzo a Nagano 2008 nei 1000 metri.

### Mondiali - Sprint

* Argento a Heerenveen 2011.
* Bronzo a Heerenveen 2008.