welcome: please sign in
location: Diff for "ProblemsDescription/MinimalDiagnosis"
Differences between revisions 2 and 5 (spanning 3 versions)
⇤ ← Revision 2 as of 2011-01-05 13:56:16 →
Size: 710
Editor: FrancescoCalimeri
Comment:
← Revision 5 as of 2011-01-05 13:58:35 → ⇥
Size: 715
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.
Line 13: Line 13:
See paper at [[http://www.cs.uni-potsdam.de/wv/pdfformat/gescthve10a.pdf|http://www.cs.uni-potsdam.de/wv/pdfformat/gescthve10a.pdf]. See paper at [[http://www.cs.uni-potsdam.de/wv/pdfformat/gescthve10a.pdf|http://www.cs.uni-potsdam.de/wv/pdfformat/gescthve10a.pdf]].

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:

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)