Valerio Senni

Identifiers

• name variant Valerio Senni 0.60 · backfill

Papers (3)

1. Backwards State-space Reduction for Planning in Dynamic Knowledge Bases cs.AI · 2014 · author #1
2. Generalization Strategies for the Verification of Infinite State Systems cs.LO · 2011 · author #4
3. Transformations of Logic Programs on Infinite Lists cs.PL · 2010 · author #3

Mentions

• 1407.7934 #1 · backfill · confidence 0.70 Valerio Senni
• 1110.0999 #4 · backfill · confidence 0.70 Valerio Senni
• 1007.4157 #3 · backfill · confidence 0.70 Valerio Senni

Frequent Coauthors

• Alberto Pettorossi 2 shared papers
• Maurizio Proietti 2 shared papers
• Fabio Fioravanti 1 shared papers
• Michele Stawowy (IMT Institute for Advanced Studies) 1 shared papers