Towards debugging of answer-set programs in the language PS pb

Artur Mikitiuk Eric Moseley; Mirosław Truszczynski

Towards debugging of answer-set programs in the language PS ^pb

Artur Mikitiuk Eric Moseley, Mirosław Truszczynski

Computer Science

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

11 Scopus citations

Abstract

We present here a program, called debugger, which can facilitate modeling search problems in the language of propositional schemata with pseudo-boolean constraints P5 ^pb. This program can translate into English PS ^pb-theories using intended meaning of predicates provided by the user as comments for the debugger.

Original language	English
Title of host publication	Proceedings of the 2007 International Conference on Artificial Intelligence, ICAI 2007
Pages	635-640
Number of pages	6
State	Published - 2007
Event	2007 International Conference on Artificial Intelligence, ICAI 2007 - Las Vegas, NV, United States Duration: Jun 25 2007 → Jun 28 2007

Publication series

Name	Proceedings of the 2007 International Conference on Artificial Intelligence, ICAI 2007
Volume	2

Conference

Conference	2007 International Conference on Artificial Intelligence, ICAI 2007
Country/Territory	United States
City	Las Vegas, NV
Period	6/25/07 → 6/28/07

Keywords

Answer-set programming
Debugging
Modeling
Pseudo-boolean constraints

ASJC Scopus subject areas

Artificial Intelligence

Cite this

@inproceedings{f5889974429640f9ba431ad1ce3b6cb8,

title = "Towards debugging of answer-set programs in the language PS pb ",

abstract = "We present here a program, called debugger, which can facilitate modeling search problems in the language of propositional schemata with pseudo-boolean constraints P5 pb. This program can translate into English PS pb-theories using intended meaning of predicates provided by the user as comments for the debugger.",

keywords = "Answer-set programming, Debugging, Modeling, Pseudo-boolean constraints",

author = "Moseley, {Artur Mikitiuk Eric} and Miros{\l}aw Truszczynski",

year = "2007",

language = "English",

isbn = "9781601320254",

series = "Proceedings of the 2007 International Conference on Artificial Intelligence, ICAI 2007",

pages = "635--640",

booktitle = "Proceedings of the 2007 International Conference on Artificial Intelligence, ICAI 2007",

note = "2007 International Conference on Artificial Intelligence, ICAI 2007 ; Conference date: 25-06-2007 Through 28-06-2007",

}

Moseley, AME & Truszczynski, M 2007, Towards debugging of answer-set programs in the language PS ^pb in Proceedings of the 2007 International Conference on Artificial Intelligence, ICAI 2007. Proceedings of the 2007 International Conference on Artificial Intelligence, ICAI 2007, vol. 2, pp. 635-640, 2007 International Conference on Artificial Intelligence, ICAI 2007, Las Vegas, NV, United States, 6/25/07.

Towards debugging of answer-set programs in the language PS ^pb . / Moseley, Artur Mikitiuk Eric; Truszczynski, Mirosław.
Proceedings of the 2007 International Conference on Artificial Intelligence, ICAI 2007. 2007. p. 635-640 (Proceedings of the 2007 International Conference on Artificial Intelligence, ICAI 2007; Vol. 2).

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

TY - GEN

T1 - Towards debugging of answer-set programs in the language PS pb

AU - Moseley, Artur Mikitiuk Eric

AU - Truszczynski, Mirosław

PY - 2007

Y1 - 2007

N2 - We present here a program, called debugger, which can facilitate modeling search problems in the language of propositional schemata with pseudo-boolean constraints P5 pb. This program can translate into English PS pb-theories using intended meaning of predicates provided by the user as comments for the debugger.

AB - We present here a program, called debugger, which can facilitate modeling search problems in the language of propositional schemata with pseudo-boolean constraints P5 pb. This program can translate into English PS pb-theories using intended meaning of predicates provided by the user as comments for the debugger.

KW - Answer-set programming

KW - Debugging

KW - Modeling

KW - Pseudo-boolean constraints

UR - http://www.scopus.com/inward/record.url?scp=57749173104&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=57749173104&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:57749173104

SN - 9781601320254

T3 - Proceedings of the 2007 International Conference on Artificial Intelligence, ICAI 2007

SP - 635

EP - 640

BT - Proceedings of the 2007 International Conference on Artificial Intelligence, ICAI 2007

T2 - 2007 International Conference on Artificial Intelligence, ICAI 2007

Y2 - 25 June 2007 through 28 June 2007

ER -