ResearcherID Thomson Reuters  

Bonacina, Maria Paola
Create a ResearcherID badge for this researcher View publications analytics for this researcher
Close
ResearcherID: I-4158-2012
URL: http://www.researcherid.com/rid/I-4158-2012
Subject: Computer Science
Keywords: artificial intelligence; automated reasoning; automated deduction; mechanical theorem proving
ORCID: http://orcid.org/0000-0001-9104-2692
My Institutions (more details)
Primary Institution:
Sub-org/Dept: Department of Computer Science
Role:
Past Institutions: University of Iowa, UIOWA; INRIA Lorraine; Argonne National Laboratory, ANL; State University of New York at Stony Brook, SUNY Stony Brook; Università degli Studi di Milano - UNIMI; Università degli Studi di Milano - UNIMI
My URLs: http://profs.sci.univr.it/~bonacina/
 
 

This list contains papers that I have authored.

publication(s)  
First Page Previous Page Page   of  5  Go Next Page Last Page
  Sort by:    Results per page: 
1.  Title: Semantically-Guided Goal-Sensitive Reasoning: Inference System and Completeness
 Author(s): Maria Paola Bonacina; David A. Plaisted
 Source: J Autom Reasoning Published: 2016
 DOI: 10.1007/s10817-016-9384-2
added
13-May-17
2.  Title: Semantically-guided goal-sensitive reasoning: model representation
 Author(s): Maria Paola Bonacina; David A. Plaisted
 Source: Journal of Automated Reasoning Volume: 56 Issue: 2 Pages: 113--141 Published: 2016
 Times Cited: 2
 DOI: 10.1007/s10817-015-9334-4 /  Author-provided URL : http://dx.doi.org/10.1007/s10817-015-9334-4
added
13-May-17
3.  Title: Interpolation Systems for Ground Proofs in Automated Deduction: a Survey
 Author(s): Bonacina, Maria Paola; Johansson, Moa
 Source: Journal of Automated Reasoning Volume: 54 Issue: 4 Pages: 353-390 Published: APR 2015
 Times Cited: 1
 DOI: 10.1007/s10817-015-9325-5
added
01-Jul-15
4.  Title: On First-Order Model-Based Reasoning
 Author(s): Bonacina, Maria Paola; Furbach, Ulrich; Sofronie-Stokkermans, Viorica
 Source: Logic, Rewriting, and Concurrency Volume: 9200 Pages: 181-204 Published: 2015
 Times Cited: 1
 DOI: 10.1007/978-3-319-23165-5_8
added
05-Jul-17
5.  Title: On Interpolation in Automated Theorem Proving
 Author(s): Bonacina, Maria Paola; Johansson, Moa
 Source: Journal of Automated Reasoning Volume: 54 Issue: 1 Pages: 69-97 Published: JAN 2015
 Times Cited: 2
 DOI: 10.1007/s10817-014-9314-0
added
24-Mar-15
6.  Title: On Deciding Satisfiability by Theorem Proving with Speculative Inferences
 Author(s): Bonacina, Maria Paola; Lynch, Christopher A.; de Moura, Leonardo
 Source: Journal of Automated Reasoning Volume: 47 Issue: 2 Pages: 161-189 Published: AUG 2011
 Times Cited: 10
 DOI: 10.1007/s10817-010-9213-y
added
08-Jan-13
7.  Title: On Interpolation in Decision Procedures
 Author(s): Bonacina, Maria Paola; Johansson, Moa; Brunnler, K; et al.
 Source: Automated Reasoning With Analytic Tableaux and Related Methods Volume: 6793 Pages: 1-16 Published: 2011
 Times Cited: 3
added
24-Mar-15
8.  Title: Theory decision by decomposition
 Author(s): Bonacina, Maria Paola; Echenim, Mnacho
 Source: Journal of Symbolic Computation Volume: 45 Issue: 2 Pages: 229-260 Published: FEB 2010
 Times Cited: 8
 DOI: 10.1016/j.jsc.2008.10.008
added
08-Jan-13
9.  Title: New Results on Rewrite-Based Satisfiability Procedures
 Author(s): Armando, Alessandro; Bonacina, Maria Paola; Ranise, Silvio; et al.
 Source: Acm Transactions on Computational Logic Volume: 10 Issue: 1 Published: 2009
 Times Cited: 20
 DOI: 10.1145/1459010.1459014
added
08-Jan-13
10.  Title: On Deciding Satisfiability by DPLL(Gamma plus T) and Unsound Theorem Proving
 Author(s): Bonacina, Maria Paola; Lynch, Christopher; de Moura, Leonardo; et al.
 Source: Automated Deduction - Cade-22 Volume: 5663 Pages: 35-50 Published: 2009
 Times Cited: 7
added
24-Mar-15
publication(s)  
First Page Previous Page Page   of  5  Go Next Page Last Page
  Sort by:    Results per page: