Annamaria Bria

DSCN0005.jpg

 

 

 

Home | Research | Publications | Software | Teaching |

 

 

 

♠     nfn2dlp

A compliler for Normal Form Nested programs.

 

♠     nfnsolve

       Compute answer sets for NFN programs.