Research areas involved in the project | |
---|---|
Sistemi intelligenti
Artificial intelligence |
Title | Authors | Year |
---|---|---|
Canonical ground Horn theories | Maria Paola Bonacina; Nachum Dershowitz | 2013 |
New results on rewrite-based satisfiability procedures | Alessandro, Armando; Bonacina, Maria Paola; Silvio, Ranise; Stephan, Schulz | 2009 |
Abstract canonical inference | Bonacina, Maria Paola; Nachum, Dershowitz | 2007 |
Rewrite-based satisfiability procedures for recursive data structures | BONACINA, Maria Paola; ECHENIM, Bertrand Mnacho | 2007 |
Big proof engines as little proof engines: new results on rewrite-based satisfiability procedures | Alessandro Armando; Maria Paola Bonacina; Silvio Ranise; Stephan Schulz | 2005 |
On handling distinct objects in the superposition calculus | Stephan Schulz; Maria Paola Bonacina | 2005 |
Towards a unified model of search in theorem proving: subgoal-reduction strategies | Bonacina, Maria Paola | 2005 |
Strada le Grazie 15
37134 Verona
VAT number
01541040232
Italian Fiscal Code
93009870234
© 2021 | Verona University | Credits