A Computational Logic Approach to the Suppression Task

Emmanuelle-Anna DietzEmmanuelle-Anna Dietz, Steffen HölldoblerSteffen Hölldobler, Marco RagniMarco Ragni

Download

Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni
A Computational Logic Approach to the Suppression Task
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2012

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@techreport{DHR2012,
  author      = {Emmanuelle-Anna Dietz and Steffen H{\"{o}}lldobler and Marco
                 Ragni},
  title       = {A Computational Logic Approach to the Suppression Task},
  institution = {TU Dresden, Knowledge Representation and Reasoning},
  year        = {2012}
}