Publications

Abstract canonical inference  (2007)

Authors:
Maria Paola Bonacina; Nachum Dershowitz
Title:
Abstract canonical inference
Year:
2007
Type of item:
Articolo in Rivista
Tipologia ANVUR:
Articolo su rivista
Language:
Inglese
Format:
A Stampa
Referee:
Name of journal:
ACM Transactions on Computational Logic
ISSN of journal:
1529-3785
N° Volume:
8
Number or Folder:
1
:
ACM
Page numbers:
180-208
Short description of contents:
An abstract framework of canonical inference is used to explore how different proof orderings induce different variants of saturation and completeness. Notions like completion, paramodulation, saturation, redundancy elimination, and rewrite-system reduction are connected to proof orderings. Fairness of deductive mechanisms is defined in terms of proof orderings, distinguishing between (ordinary) ``fairness,'' which yields completeness, and ``uniform fairness,'' which yields saturation.
Web page:
http://dx.doi.org/10.1145/1182613.1182619; http://profs.sci.univr.it/~bonacina
Product ID:
20974
Handle IRIS:
11562/20974
Deposited On:
March 15, 2012
Last Modified:
May 22, 2017
Bibliographic citation:
Maria Paola Bonacina; Nachum Dershowitz, Abstract canonical inference «ACM Transactions on Computational Logic» , vol. 8 , n. 12007pp. 180-208

Consulta la scheda completa presente nel repository istituzionale della Ricerca di Ateneo IRIS

Related projects
Title Department Managers
Sintesi di procedure di decisione basate sulla deduzione con applicazioni all'analisi formale automatica di programmi (PRIN 2003) Department Informatica Maria Paola Bonacina
<<back

Activities

Research facilities