In questo articolo viene descritto il prototipo del linguaggio Sequence Datalog. Sequence Datalog è un linguaggio di interrogazione per basi di dati contenenti sequenze, ovvero stringhe di caratteri su un alfabeto finito; il modello di dati a cui si riferisce è una semplice estensione del modello relazionale, in cui le ennuple all’interno delle relazioni possono contenere, oltre che valori atom...

In questo lavoro viene proposta una estensione del linguaggio datalog [CP97]. datalog è un linguaggio logico basato su datalog, la cui innovazione sostanziale consiste nell’aumento della potenza espressiva, tramite l’introduzione di una semantica basata sulla circoscrizione, un meccanismo deduttivo non monotòno che generalizza l’ipotesi di mondo chiuso. Questo tipo di semantica fornisce interes...

Studies in linguistics (Centro interdipartimentale di studi cognitivi sul linguaggio)

In questo lavoro viene presentato ODB-Tool, uno strumento software per la validazione di schemi e l'ottimizzazione semantica di interrogazioni per le Basi di Dati Orientate agli Oggetti (OODB), che sfrutta le potenzialit a di Internet e del linguaggio JAVA per la rappresentazione gra ca on-line dei risultati ottenuti. Gli algoritmi operanti in ODB-Tool sono basati su tecniche di inferenza che s...


 Questo articolo mira a descrivere i contributi delle neuroscienze cognitive alla comprensione basi neurali e della produzione del linguaggio. In particolare, è idealmente suddiviso in due parti. Nella prima, dopo aver accennato brevemente ad alcune più antiche osservazioni sulla possibile relazione tra lesioni cerebrali disturbi linguaggio, vengono introdotte le caratteristiche generali ...

Progetto MIKONOS Prevede lo sviluppo di alcune delle parti più significative di un moderno sistema operativo Dovrà essere scritto in linguaggio C Verrà testato utilizzando un simulatore (uMPS)

I linguaggi di specifica del comportamento di agenti, e più in generale di sistemi reattivi, spesso utilizzano notazioni grafiche per esprimere le configurazioni significative dello stato dell’agente e le trasformazioni ammissibili di tali configurazioni. L’espressione dei due aspetti può essere delegata a diversi tipi di diagrammi, o venire incorporata in un unico diagramma. Inoltre, si posson...