An exposition of abductive reasoning through logic programming with constraints

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publicationProceedings of the 8th Scandinavian Logic Symposium
EditorsPatrick Blackburn, Klaus Frovin Jørgensen, Neil Jones, Erik Palmgren
Number of pages3
Publication date2012
Pages23-25
Publication statusPublished - 2012
Event8th Scandinavian Logic Symposium - RUC, Roskilde, Denmark
Duration: 20 Aug 201221 Aug 2012
http://scandinavianlogic.weebly.com/

Symposium

Symposium8th Scandinavian Logic Symposium
LocationRUC
CountryDenmark
CityRoskilde
Period20/08/201221/08/2012
Internet address

Cite this

Christiansen, H. (2012). An exposition of abductive reasoning through logic programming with constraints. In P. Blackburn, K. F. Jørgensen, N. Jones, & E. Palmgren (Eds.), Proceedings of the 8th Scandinavian Logic Symposium (pp. 23-25)
Christiansen, Henning. / An exposition of abductive reasoning through logic programming with constraints. Proceedings of the 8th Scandinavian Logic Symposium. editor / Patrick Blackburn ; Klaus Frovin Jørgensen ; Neil Jones ; Erik Palmgren. 2012. pp. 23-25
@inproceedings{01c21b4f05924b0c954fcca65b558106,
title = "An exposition of abductive reasoning through logic programming with constraints",
author = "Henning Christiansen",
note = "Trykt som intern publikation Roskilde Universitet, uden ISSN og ISBN. Offentligt tilg{\ae}ngeligt via www",
year = "2012",
language = "English",
pages = "23--25",
editor = "Patrick Blackburn and J{\o}rgensen, {Klaus Frovin} and Neil Jones and Erik Palmgren",
booktitle = "Proceedings of the 8th Scandinavian Logic Symposium",

}

Christiansen, H 2012, An exposition of abductive reasoning through logic programming with constraints. in P Blackburn, KF Jørgensen, N Jones & E Palmgren (eds), Proceedings of the 8th Scandinavian Logic Symposium. pp. 23-25, 8th Scandinavian Logic Symposium, Roskilde, Denmark, 20/08/2012.

An exposition of abductive reasoning through logic programming with constraints. / Christiansen, Henning.

Proceedings of the 8th Scandinavian Logic Symposium. ed. / Patrick Blackburn; Klaus Frovin Jørgensen; Neil Jones; Erik Palmgren. 2012. p. 23-25.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

TY - GEN

T1 - An exposition of abductive reasoning through logic programming with constraints

AU - Christiansen, Henning

N1 - Trykt som intern publikation Roskilde Universitet, uden ISSN og ISBN. Offentligt tilgængeligt via www

PY - 2012

Y1 - 2012

M3 - Article in proceedings

SP - 23

EP - 25

BT - Proceedings of the 8th Scandinavian Logic Symposium

A2 - Blackburn, Patrick

A2 - Jørgensen, Klaus Frovin

A2 - Jones, Neil

A2 - Palmgren, Erik

ER -

Christiansen H. An exposition of abductive reasoning through logic programming with constraints. In Blackburn P, Jørgensen KF, Jones N, Palmgren E, editors, Proceedings of the 8th Scandinavian Logic Symposium. 2012. p. 23-25