- 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:
-
27 novembre 2022
- 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