English
Deutsch
Log In
Email address
Password
Log in
or
Log in with Shibboleth
Research Outputs
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
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
Language
English
google-scholar
View Details
GMD
Tags
non-monotonic reasoni...
reason maintenance sy...