elps software on GitHub

Software OPEN SOURCE
  • Subject:
    acm: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES | Hardware_LOGICDESIGN | Data_FILES | Data_CODINGANDINFORMATIONTHEORY | ComputingMethodologies_ARTIFICIALINTELLIGENCE

ELPS: epistemic logic programs with sorts
Share - Bookmark