English
Deutsch
Log In
Log in with Fraunhofer Smartcard
Password Login
Research Outputs
Fundings & Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Konferenzschrift
Nicht-monotone Beweiser für Autoepistemische Logik und Defaultlogik
Details
Full
Export
Statistics
Options
Show all metadata (technical view)
1989
Conference Paper
Title
Nicht-monotone Beweiser für Autoepistemische Logik und Defaultlogik
Author(s)
Junker, U.
Mainwork
GWAI-89, 13th German Workshop on Artificial Intelligence. Proceedings
Conference
German Workshop on Artificial Intelligence (GWAI) 1989
Language
German
GMD
Keyword(s)
nicht-monotone Logik
Default-Schließen
Autoepistmische
