welcome: please sign in
location: Diff for "ProblemsDescription/MinimalDiagnosis"
Differences between revisions 3 and 4
⇤ ← Revision 3 as of 2011-01-05 13:56:59 →
Size: 712
Editor: FrancescoCalimeri
Comment:
← 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 9: Line 9:
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. 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.

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. 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.

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)