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
Journal of Applied Non-Classsical Logics, 24(1--2):61-85, 2014

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@article{DHW2014,
  author  = {Emmanuelle-Anna Dietz and Steffen H{\"{o}}lldobler and Christoph
             Wernhard},
  title   = {Modeling the Suppression Task under Weak Completion and
             Well-Founded Semantics},
  journal = {Journal of Applied Non-Classsical Logics},
  volume  = {24},
  number  = {1--2},
  year    = {2014},
  pages   = {61-85}
}