English
Deutsch
Log In
Log in with Fraunhofer Smartcard
Password Login
Research Outputs
Fundings & Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Buch
Computing the extensions of autoepistemic and default logics with a truth mainetenance system
Details
Full
Export
Statistics
Options
Show all metadata (technical view)
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