Differences between revisions 1 and 6 (spanning 5 versions)

Minimal Diagnosis

Contents

Problem Description

These are application-oriented benchmarks described in the paper:

Martin Gebser, Torsten Schaub, Sven Thiele and Philippe Veber. Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. In Theory and Practice of Logic Programming (TPLP), To appear.

Author: Martin Gebser
Affiliation: University of Potsdam

ASP Competition 2011: ProblemsDescription/MinimalDiagnosis (last edited 2011-01-10 10:16:45 by CarmenSantoro)

-  ⇤ ← Revision 1 as of 2011-01-05 13:49:15 → 
  Size: 191
  Editor: FrancescoCalimeri
  Comment: first draft
+   ← Revision 6 as of 2011-01-10 10:16:45 → ⇥
  Size: 715
  Editor: CarmenSantoro
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 7:
-== Example ==
+These are application-oriented benchmarks described in the paper:

 * Martin Gebser, Torsten Schaub, Sven Thiele and Philippe Veber. ''[[http://www.cs.uni-potsdam.de/wv/pdfformat/gescthve10a.pdf|Detecting Inconsistencies in Large Biological Networks with Answer Set Programming]]''. In Theory and Practice of Logic Programming (TPLP), To appear.
-Line 13:
+Line 15:
+== Example ==

See paper at [[http://www.cs.uni-potsdam.de/wv/pdfformat/gescthve10a.pdf|http://www.cs.uni-potsdam.de/wv/pdfformat/gescthve10a.pdf]].
-Line 14:
+Line 20:
-Author:
+Author: Martin Gebser
-Line 16:
+Line 22:
-Affiliation:
+Affiliation: University of Potsdam