Encoding repair_config.gringo

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