Advanced search
1 file | 135.77 KB Add to list

Abduction through semantic tableaux versus abduction through goal-directed proofs.

Joke Meheus (UGent) and Dagmar Provijn (UGent)
Author
Organization

Downloads

  • theoria.pdf
    • full text
    • |
    • open access
    • |
    • PDF
    • |
    • 135.77 KB

Citation

Please use this url to cite or link to this publication:

MLA
Meheus, Joke, and Dagmar Provijn. “Abduction through Semantic Tableaux versus Abduction through Goal-Directed Proofs.” THEORIA-REVISTA DE TEORIA HISTORIA Y FUNDAMENTOS DE LA CIENCIA, vol. 22, no. 3, 2007, pp. 295–304, doi:1854/12751.
APA
Meheus, J., & Provijn, D. (2007). Abduction through semantic tableaux versus abduction through goal-directed proofs. THEORIA-REVISTA DE TEORIA HISTORIA Y FUNDAMENTOS DE LA CIENCIA, 22(3), 295–304. https://doi.org/1854/12751
Chicago author-date
Meheus, Joke, and Dagmar Provijn. 2007. “Abduction through Semantic Tableaux versus Abduction through Goal-Directed Proofs.” THEORIA-REVISTA DE TEORIA HISTORIA Y FUNDAMENTOS DE LA CIENCIA 22 (3): 295–304. https://doi.org/1854/12751.
Chicago author-date (all authors)
Meheus, Joke, and Dagmar Provijn. 2007. “Abduction through Semantic Tableaux versus Abduction through Goal-Directed Proofs.” THEORIA-REVISTA DE TEORIA HISTORIA Y FUNDAMENTOS DE LA CIENCIA 22 (3): 295–304. doi:1854/12751.
Vancouver
1.
Meheus J, Provijn D. Abduction through semantic tableaux versus abduction through goal-directed proofs. THEORIA-REVISTA DE TEORIA HISTORIA Y FUNDAMENTOS DE LA CIENCIA. 2007;22(3):295–304.
IEEE
[1]
J. Meheus and D. Provijn, “Abduction through semantic tableaux versus abduction through goal-directed proofs.,” THEORIA-REVISTA DE TEORIA HISTORIA Y FUNDAMENTOS DE LA CIENCIA, vol. 22, no. 3, pp. 295–304, 2007.
@article{431158,
  author       = {{Meheus, Joke and Provijn, Dagmar}},
  issn         = {{0495-4548}},
  journal      = {{THEORIA-REVISTA DE TEORIA HISTORIA Y FUNDAMENTOS DE LA CIENCIA}},
  language     = {{eng}},
  number       = {{3}},
  pages        = {{295--304}},
  title        = {{Abduction through semantic tableaux versus abduction through goal-directed proofs.}},
  url          = {{http://doi.org/1854/12751}},
  volume       = {{22}},
  year         = {{2007}},
}

Altmetric
View in Altmetric
Web of Science
Times cited: