Differences between revisions 1 and 4 (spanning 3 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 4 as of 2011-01-05 13:57:51 → ⇥
  Size: 712
  Editor: FrancescoCalimeri
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 7:
+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 8:
+Line 12:
+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