Debugging Inconsistent Answer Set Programs

Tommi Syrjänen

Debugging Inconsistent Answer Set Programs

Tommi Syrjänen

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Original language	English
Title of host publication	The 11th International Workshop on Nonmonotonic Reasoning, Low Wood hotel, Lake District, England, UK, 30 May - 1 June, 2006
Place of Publication	Clausthal, Germany
Pages	77-83
Publication status	Published - 2006
MoE publication type	A4 Article in a conference publication

Publication series

Name	Clausthal University of Technology, Department of Informatics, Technical Report
Number	IfI-06-04

Keywords

answer set programming
debugging
diagnosis
inconsistency

SFX availability

Full text

Cite this

@inproceedings{2115d12bd7384990862f08c6cafac1f7,

title = "Debugging Inconsistent Answer Set Programs",

keywords = "answer set programming, debugging, diagnosis, inconsistency, answer set programming, debugging, diagnosis, inconsistency, answer set programming, debugging, diagnosis, inconsistency",

author = "Tommi Syrj{\"a}nen",

year = "2006",

language = "English",

series = "Clausthal University of Technology, Department of Informatics, Technical Report ",

number = "IfI-06-04",

pages = "77--83",

booktitle = "The 11th International Workshop on Nonmonotonic Reasoning, Low Wood hotel, Lake District, England, UK, 30 May - 1 June, 2006",

}

Debugging Inconsistent Answer Set Programs. / Syrjänen, Tommi.

The 11th International Workshop on Nonmonotonic Reasoning, Low Wood hotel, Lake District, England, UK, 30 May - 1 June, 2006. Clausthal, Germany, 2006. p. 77-83 (Clausthal University of Technology, Department of Informatics, Technical Report ; No. IfI-06-04).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Debugging Inconsistent Answer Set Programs

AU - Syrjänen, Tommi

PY - 2006

Y1 - 2006

KW - answer set programming

KW - debugging

KW - diagnosis

KW - inconsistency

KW - answer set programming

KW - debugging

KW - diagnosis

KW - inconsistency

KW - answer set programming

KW - debugging

KW - diagnosis

KW - inconsistency

UR - http://www.in.tu-clausthal.de/forschung/technical-reports/ifi0604dix.pdf

M3 - Conference contribution

T3 - Clausthal University of Technology, Department of Informatics, Technical Report

SP - 77

EP - 83

BT - The 11th International Workshop on Nonmonotonic Reasoning, Low Wood hotel, Lake District, England, UK, 30 May - 1 June, 2006

CY - Clausthal, Germany

ER -

Debugging Inconsistent Answer Set Programs

Publication series

Keywords

SFX availability

Other files and links

Cite this