An exposition of abductive reasoning through logic programming with constraints

Henning Christiansen

An exposition of abductive reasoning through logic programming with constraints

Programmering, logik og intelligente systemer

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Engelsk
Titel	Proceedings of the 8th Scandinavian Logic Symposium
Redaktører	Patrick Blackburn, Klaus Frovin Jørgensen, Neil Jones, Erik Palmgren
Antal sider	3
Publikationsdato	2012
Sider	23-25
Status	Udgivet - 2012
Begivenhed	8th Scandinavian Logic Symposium - RUC, Roskilde, Danmark Varighed: 20 aug. 2012 → 21 aug. 2012 http://scandinavianlogic.weebly.com/

Symposium

Symposium	8th Scandinavian Logic Symposium
Lokation	RUC
Land/Område	Danmark
By	Roskilde
Periode	20/08/2012 → 21/08/2012
Internetadresse	http://scandinavianlogic.weebly.com/

Bibliografisk note

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

Link til dokument

http://scandinavianlogic.weebly.com/uploads/1/0/5/9/10593719/sls_proceedings.pdf

Citer dette

@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; 8th Scandinavian Logic Symposium, SLS 2012 ; Conference date: 20-08-2012 Through 21-08-2012",

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",

url = "http://scandinavianlogic.weebly.com/",

}

Christiansen, H 2012, An exposition of abductive reasoning through logic programming with constraints. i P Blackburn, KF Jørgensen, N Jones & E Palmgren (red), Proceedings of the 8th Scandinavian Logic Symposium. s. 23-25, 8th Scandinavian Logic Symposium, Roskilde, Danmark, 20/08/2012. <http://scandinavianlogic.weebly.com/uploads/1/0/5/9/10593719/sls_proceedings.pdf>

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

T2 - 8th Scandinavian Logic Symposium

Y2 - 20 August 2012 through 21 August 2012

ER -