• English
  • Deutsch
  • Log In
    or
  • Research Outputs
  • Projects
  • Researchers
  • Institutes
  • Statistics
Repository logo
Fraunhofer-Gesellschaft
  1. Home
  2. Fraunhofer-Gesellschaft
  3. Buch
  4. Computing the extensions of autoepistemic and default logics with a truth mainetenance system
 
  • Details
  • Full
Options
1990
Report
Titel

Computing the extensions of autoepistemic and default logics with a truth mainetenance system

Author(s)
Junker, U.
Konolige, K.
Organisation
TH Darmstadt
Verlag
GMD
Verlagsort
Sankt Augustin
Thumbnail Image
Language
English
google-scholar
GMD
Tags
  • non-monotonic reasoni...

  • reason maintenance sy...

  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Send Feedback
© 2022