Aree di ricerca coinvolte dal progetto | |
---|---|
Sistemi intelligenti
Artificial intelligence |
Titolo | Autori | Anno |
---|---|---|
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
Partita IVA
01541040232
Codice Fiscale
93009870234
© 2022 | Università degli studi di Verona | Credits