dblp.uni-trier.dewww.uni-trier.de

Maria Paola Bonacina Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
42EEMaria Paola Bonacina, Christopher Lynch, Leonardo Mendonça de Moura: On Deciding Satisfiability by DPLL(G+T) and Unsound Theorem Proving. CADE 2009: 35-50
41EEAlessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz: New results on rewrite-based satisfiability procedures. ACM Trans. Comput. Log. 10(1): (2009)
2008
40EEMaria Paola Bonacina, Nachum Dershowitz: Canonical Inference for Implicational Systems. IJCAR 2008: 380-395
39EEMaria Paola Bonacina, Mnacho Echenim: On Variable-inactivity and Polynomial tau-Satisfiability Procedures. J. Log. Comput. 18(1): 77-96 (2008)
2007
38EEMaria Paola Bonacina, Mnacho Echenim: T-Decision by Decomposition. CADE 2007: 199-214
37EEMaria Paola Bonacina, Nachum Dershowitz: Abstract canonical inference. ACM Trans. Comput. Log. 8(1): (2007)
36EEMaria Paola Bonacina, Mnacho Echenim: Rewrite-Based Decision Procedures. Electr. Notes Theor. Comput. Sci. 174(11): 27-45 (2007)
35EEMaria Paola Bonacina, Mnacho Echenim: Rewrite-Based Satisfiability Procedures for Recursive Data Structures. Electr. Notes Theor. Comput. Sci. 174(8): 55-70 (2007)
2006
34EEMaria Paola Bonacina, Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli: Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures. IJCAR 2006: 513-527
33EEAlessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz: New results on rewrite-based satisfiability procedures CoRR abs/cs/0604054: (2006)
32 Maria Paola Bonacina, Alberto Martelli: Automated Reasoning. Intelligenza Artificiale 3(1-2): 14-20 (2006)
2005
31EEAlessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz: On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal. FroCos 2005: 65-80
30EEMaria Paola Bonacina, Thierry Boy de la Tour: Preface. Electr. Notes Theor. Comput. Sci. 125(2): 1-3 (2005)
29EEMaria Paola Bonacina: Towards a unified model of search in theorem-proving: subgoal-reduction strategies. J. Symb. Comput. 39(2): 209-255 (2005)
2004
28EEMaria Paola Bonacina, Nachum Dershowitz: Abstract Canonical Inference CoRR cs.LO/0406030: (2004)
2001
27EEMaria Paola Bonacina: Combination of Distributed Search and Multi-search in Peers-mcd.d. IJCAR 2001: 448-452
26EEMaria Paola Bonacina, Bernhard Gramlich: Preface: STRATEGIES 2001. Electr. Notes Theor. Comput. Sci. 58(2): (2001)
2000
25 Maria Paola Bonacina: A taxonomy of parallel strategies for deduction. Ann. Math. Artif. Intell. 29(1-4): 223-257 (2000)
1999
24EEMaria Paola Bonacina: A Taxonomy of Theorem-Proving Strategies. Artificial Intelligence Today 1999: 43-84
23 Maria Paola Bonacina: A model and a first analysis of distributed-search contraction-based strategies. Ann. Math. Artif. Intell. 27(1-4): 149-199 (1999)
1998
22EEMaria Paola Bonacina: Analysis of Distributed-Search Contraction-Based Strategies. JELIA 1998: 107-121
21 Maria Paola Bonacina, Jieh Hsiang: On the Modelling of Search in Theorem Proving - Towards a Theory of Strategy Analysis. Inf. Comput. 147(2): 171-208 (1998)
20 Maria Paola Bonacina, Jieh Hsiang: On Semantic Resolution with Lemmaizing and Contraction and a Formal Treatment of Caching. New Generation Comput. 16(2): 163-200 (1998)
1997
19EEMaria Paola Bonacina: The Clause-Diffusion Theorem Prover Peers-mcd (System Description). CADE 1997: 53-56
1996
18EEMaria Paola Bonacina, Jieh Hsiang: On Semantic Resolution with Lemmaizing and Contraction. PRICAI 1996: 372-386
17EEMaria Paola Bonacina, Jieh Hsiang: A Category-Theoretic Treatment of Automated Theorem Proving. J. Inf. Sci. Eng. 12(1): 101-125 (1996)
16 Maria Paola Bonacina: On the Reconstruction of Proofs in Distributed Theorem Proving: a Modified Clause-Diffusion Method. J. Symb. Comput. 21(4): 507-522 (1996)
15 Hantao Zhang, Maria Paola Bonacina, Jieh Hsiang: PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems. J. Symb. Comput. 21(4): 543-560 (1996)
1995
14 Maria Paola Bonacina, Jieh Hsiang: The Clause-Diffusion Methodology for Distributed Deduction. Fundam. Inform. 24(1/2): 177-207 (1995)
13 Maria Paola Bonacina, Jieh Hsiang: Distributed Deduction by Clause-Diffusion: Distributed Contraction and the Aquarius Prover. J. Symb. Comput. 19(1-3): 245-267 (1995)
12EEMaria Paola Bonacina, Jieh Hsiang: Towards a Foundation of Completion Procedures as Semidecision Procedures. Theor. Comput. Sci. 146(1&2): 199-242 (1995)
1994
11EEMaria Paola Bonacina, William McCune: Distributed Theorem Proving by Peers. CADE 1994: 841-845
10 Maria Paola Bonacina, Jieh Hsiang: Parallelization of Deduction Strategies: An Analytical Study. J. Autom. Reasoning 13(1): 1-33 (1994)
1993
9EEMaria Paola Bonacina, Jieh Hsiang: Distributed Deduction by Clause-Diffusion: The Aquarius Prover. DISCO 1993: 272-287
8EEMaria Paola Bonacina, Jieh Hsiang: On Fairness in Distributed Automated Deduction. STACS 1993: 141-152
1992
7 Maria Paola Bonacina, Jieh Hsiang: On Rewrite Programs: Semantics and Relationship with Prolog. J. Log. Program. 14(1&2): 155-180 (1992)
1991
6EEMaria Paola Bonacina, Jieh Hsiang: On Fairness of Completion-Based Theorem Proving Strategies. RTA 1991: 348-360
1990
5 Siva Anantharaman, Maria Paola Bonacina: An Application of Automated Equational Reasoning to Many-valued Logic. CTRS 1990: 156-161
4 Maria Paola Bonacina, Jieh Hsiang: Completion Procedures as Semidecision Procedures. CTRS 1990: 206-232
3 Maria Paola Bonacina, Jieh Hsiang: A System for Distributed Simplification-Based Theorem Proving. Dagstuhl Seminar on Parallelization in Inference Systems 1990: 370
2 Maria Paola Bonacina, Jieh Hsiang: Operational and Denotational Semantics of Rewrite Programs. NACLP 1990: 449-464
1989
1EEMaria Paola Bonacina, Giancarlo Sanna: KBlab: An Equational Theorem Prover for the Macintosh. RTA 1989: 548-550

Coauthor Index

1Siva Anantharaman [5]
2Alessandro Armando [31] [33] [41]
3Nachum Dershowitz [28] [37] [40]
4Mnacho Echenim [35] [36] [38] [39]
5Silvio Ghilardi [34]
6Bernhard Gramlich [26]
7Jieh Hsiang [2] [3] [4] [6] [7] [8] [9] [10] [12] [13] [14] [15] [17] [18] [20] [21]
8Christopher Lynch [42]
9Alberto Martelli [32]
10William McCune [11]
11Leonardo Mendonça de Moura [42]
12Enrica Nicolini [34]
13Silvio Ranise [31] [33] [34] [41]
14Giancarlo Sanna [1]
15Stephan Schulz [31] [33] [41]
16Thierry Boy de la Tour [30]
17Hantao Zhang [15]
18Daniele Zucchelli [34]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)