Pubblicazioni

Autori:

Bonacina, Maria Paola; Nachum, Dershowitz

Titolo:

Abstract canonical inference

Anno:

2007

Tipologia prodotto:

Articolo in Rivista

Tipologia ANVUR:

Articolo su rivista

Lingua:

Inglese

Formato:

A Stampa

Referee:

Sì

Nome rivista:

ACM Transactions on Computational Logic

ISSN Rivista:

1529-3785

N° Volume:

8

Numero o Fascicolo:

1

Editore:

ACM

Intervallo pagine:

180-208

Parole chiave:

Inference; completeness; completion; canonicity; saturation; redundancy; fairness; proof orderings

Breve descrizione dei contenuti:

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.

Pagina Web:

http://dx.doi.org/10.1145/1182613.1182619
http://profs.sci.univr.it/~bonacina

Id prodotto:

20974

Handle IRIS:

11562/20974

depositato il:

15 marzo 2012

ultima modifica:

28 aprile 2023

Citazione bibliografica:

Bonacina, Maria Paola; Nachum, Dershowitz, Abstract canonical inference «ACM Transactions on Computational Logic» , vol. 8 , n. 1 , 2007 , pp. 180-208

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