Modeling the Suppression Task under Weak Completion and Well-Founded Semantics

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Modeling the Suppression Task under Weak Completion and Well-Founded Semantics

Emmanuelle-Anna DietzEmmanuelle-Anna Dietz,  Steffen HölldoblerSteffen Hölldobler,  Christoph WernhardChristoph Wernhard
Emmanuelle-Anna Dietz, Steffen Hölldobler, Christoph Wernhard
Modeling the Suppression Task under Weak Completion and Well-Founded Semantics
Technical Report, Technische Universität Dresden, volume 2, 2013
@techreport{DHW2013,
  author      = {Emmanuelle-Anna Dietz and Steffen H{\"{o}}lldobler and
                 Christoph Wernhard},
  title       = {Modeling the Suppression Task under Weak Completion and
                 Well-Founded Semantics},
  institution = {Technische Universit{\"{a}}t Dresden},
  year        = {2013}
}