welcome: please sign in
location: Diff for "ProblemsDescription/MinimalDiagnosis"
Differences between revisions 1 and 2
⇤ ← Revision 1 as of 2011-01-05 13:49:15 →
Size: 191
Editor: FrancescoCalimeri
Comment: first draft
← Revision 2 as of 2011-01-05 13:56:16 → ⇥
Size: 710
Editor: FrancescoCalimeri
Comment:
Deletions are marked like this. Additions are marked like this.
Line 7: 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

Minimal Diagnosis

Contents

  1. Minimal Diagnosis
    1. Problem Description
    2. Example
    3. Input format
    4. Output format
    5. Author(s)

Problem Description

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.

Example

See paper at [[http://www.cs.uni-potsdam.de/wv/pdfformat/gescthve10a.pdf|http://www.cs.uni-potsdam.de/wv/pdfformat/gescthve10a.pdf].

Input format

Output format

Author(s)

Author: Martin Gebser
Affiliation: University of Potsdam

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