Encoding repair_cardinality.gringo

Name repair_cardinality.gringo
Class Tree
Submitter Martin Gebser
Author Martin Gebser
Description
Created 2010-02-23 19:15
Modified 2010-02-23 19:47
Languages
Language Features
Compatible Instance Classes
Input Predicates
  • pos/1
  • repair/1
Output Predicates
    Encoding Parameter
      Standalone Help No
      • Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming (Martin Gebser)
      Attributes
      Content