Pubblicazioni

Abstract canonical inference  (2007)

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:
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:
18 settembre 2022
Citazione bibliografica:
Bonacina, Maria Paola; 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

Progetti Collegati
Titolo Dipartimento Responsabili
Sintesi di procedure di decisione basate sulla deduzione con applicazioni all'analisi formale automatica di programmi (PRIN 2003) Dipartimento Informatica Maria Paola Bonacina
<<indietro

Attività

Strutture