Solver Description of RISS 2.0 and PRISS 2.0

PublikationenPublications

• Nach AutorBy Author
  • Norbert MantheyNorbert Manthey
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

Solver Description of RISS 2.0 and PRISS 2.0

Norbert MantheyNorbert Manthey

• Download

Norbert Manthey
Solver Description of RISS 2.0 and PRISS 2.0
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2012

• Details
• Bibtex

• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@techreport{M2012,
  author      = {Norbert Manthey},
  title       = {Solver Description of {RISS} 2.0 and {PRISS} 2.0},
  institution = {TU Dresden, Knowledge Representation and Reasoning},
  year        = {2012}
}