Skip to content

Formulazione di un modello di negoziazione semantica tra teorie logiche del primo ordine basato sulla teoria dei giochi