Towards systematic benchmarking in answer set programming: The dagstuhl initiative

Paul Borchert; Christian Anger; Torsten Schaub; Miroslaw Truszczyński

Towards systematic benchmarking in answer set programming: The dagstuhl initiative

Paul Borchert, Christian Anger, Torsten Schaub, Miroslaw Truszczyński

Computer Science

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

10 Scopus citations

Original language	English
Title of host publication	Logic Programming and Nonmonotonic Reasoning
Editors	Ilkka Niemela, Vladimir Lifschitz
Pages	3-7
Number of pages	5
ISBN (Electronic)	354020721X, 9783540207214
State	Published - 2004
Event	7th International Conference on Logic Programming and Nonmonotonic Reasoning , LPNMR 2004 - Fort Lauderdale, United States Duration: Jan 6 2004 → Jan 8 2004

Publication series

Name	Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
Volume	2923
ISSN (Print)	0302-9743

Conference

Conference	7th International Conference on Logic Programming and Nonmonotonic Reasoning , LPNMR 2004
Country/Territory	United States
City	Fort Lauderdale
Period	1/6/04 → 1/8/04

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Cite this

@inproceedings{b9844f82eb8d4d5ea4a1bf14ccc9aaa7,

title = "Towards systematic benchmarking in answer set programming: The dagstuhl initiative",

author = "Paul Borchert and Christian Anger and Torsten Schaub and Miroslaw Truszczy{\'n}ski",

year = "2004",

language = "English",

series = "Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)",

pages = "3--7",

editor = "Ilkka Niemela and Vladimir Lifschitz",

booktitle = "Logic Programming and Nonmonotonic Reasoning",

note = "7th International Conference on Logic Programming and Nonmonotonic Reasoning , LPNMR 2004 ; Conference date: 06-01-2004 Through 08-01-2004",

}

Borchert, P, Anger, C, Schaub, T & Truszczyński, M 2004, Towards systematic benchmarking in answer set programming: The dagstuhl initiative. in I Niemela & V Lifschitz (eds), Logic Programming and Nonmonotonic Reasoning. Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), vol. 2923, pp. 3-7, 7th International Conference on Logic Programming and Nonmonotonic Reasoning , LPNMR 2004, Fort Lauderdale, United States, 1/6/04.

Towards systematic benchmarking in answer set programming: The dagstuhl initiative. / Borchert, Paul; Anger, Christian; Schaub, Torsten et al.
Logic Programming and Nonmonotonic Reasoning. ed. / Ilkka Niemela; Vladimir Lifschitz. 2004. p. 3-7 (Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); Vol. 2923).

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

TY - GEN

T1 - Towards systematic benchmarking in answer set programming

T2 - 7th International Conference on Logic Programming and Nonmonotonic Reasoning , LPNMR 2004

AU - Borchert, Paul

AU - Anger, Christian

AU - Schaub, Torsten

AU - Truszczyński, Miroslaw

PY - 2004

Y1 - 2004

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

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

M3 - Conference contribution

AN - SCOPUS:9444232786

T3 - Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

SP - 3

EP - 7

BT - Logic Programming and Nonmonotonic Reasoning

A2 - Niemela, Ilkka

A2 - Lifschitz, Vladimir

Y2 - 6 January 2004 through 8 January 2004

ER -

Towards systematic benchmarking in answer set programming: The dagstuhl initiative

Publication series

Conference

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this