English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Artikel
Non-monotonic proof procedures for autoepistemic logic
Details
Full
Export
Statistics
Options
1990
Book Article
Titel
Non-monotonic proof procedures for autoepistemic logic
Author(s)
Junker, U.
Hauptwerk
Aspects of non-monotonic reasoning
Language
English
google-scholar
View Details
GMD
