Encoding repair_core.gringo

Name repair_core.gringo
Class Tree
Submitter Martin Gebser
Author Martin Gebser
Description
Created 2010-02-23 19:15
Modified 2010-02-23 20:02
Languages
Language Features
Compatible Instance Classes
Input Predicates
  • edge/2
  • exp/1
  • input/2
  • obs_elabel/3
  • obs_vlabel/3
  • repair_a/0
  • repair_e/0
  • repair_g/0
  • repair_i/0
  • repair_v/0
  • vertex/1
Output Predicates
  • complement/2
  • elabel/3
  • infl/3
  • pos/1
  • repair/1
  • sign/1
  • vlabel/3
Encoding Parameter
    Standalone Help No
    • Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming (Martin Gebser)
    Attributes
    Content