Abduction through semantic tableaux versus abduction through goal-directed proofs.
- Author
- Joke Meheus (UGent) and Dagmar Provijn (UGent)
- Organization
Downloads
-
theoria.pdf
- full text
- |
- open access
- |
- |
- 135.77 KB
Citation
Please use this url to cite or link to this publication: http://hdl.handle.net/1854/LU-431158
- 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: