Seminari del Dipartimento

 

Logica e Informatica Teorica

Logic programming with generalized multiplicative connectives

Matteo Acclavio


29-05-2020 - 15:00
modalità telematica

 

Logic programming is a paradigm which makes use of mathematical logic to represent programs by means of sets of formal sentences.
In this talk we recall Andreoli's logic programming paradigm, which is based on linear logic proof structures. We focus on the so called "multiplicative" fragment, that is, the one which only employs linear and context-free methods.
We show how to revise this construction in order to accommodate specific generalized multiplicative connectives.
This allows us to implement some non-linear and context-sensitive methods in a pure multiplicative fragment. This talk is based on a joint work with Roberto Maieli
Per partecipare al seminario:
chiedere il link all’indirizzo email vitomichele.abrusci@uniroma3.it
o cliccare sul seguente link Partecipa alla riunione di Microsoft Teams
https://teams.microsoft.com/dl/launcher/launcher.html?url=%2f_%23%2fl%2fmeetup-join%2f19%3ameeting_OWQ0ZDIyNjQtMjk2OC00MjkxLTlmMDctNzA1MmYxMjExNDky%40thread.v2%2f0%3fcontext%3d%257b%2522Tid%2522%253a%2522ffb4df68-f464-458c-a546-00fb3af66f6a%2522%252c%2522Oid%2522%253a%2522a024ec6b-d39c-4c4e-b689-468d9c5b0ca8%2522%257d%26anon%3dtrue&type=meetup-join&deeplinkId=6d125c0f-9833-423e-8fc2-9a33e2c9a25f&directDl=true&msLaunch=true&enableMobilePage=true&suppressPrompt=true
org: MAIELI Roberto

Copyright© 2014 Dipartimento di Matematica e Fisica