• English
  • Deutsch
  • Log In
    Password Login
    Research Outputs
    Fundings & 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
Title

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

Author(s)
Junker, U.
Konolige, K.
Corporate Author
TH Darmstadt
Publisher
GMD  
Publishing Place
Sankt Augustin
Language
English
GMD  
Keyword(s)
  • non-monotonic reasoning

  • reason maintenance system

  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Contact
© 2024