Implementation einer musterorientierten Expertensystem-Shell und Kalküle für eine intuitionistische Modallogik als Basis des nicht- monotonen Schließens. (Implementation of a pattern-oriented expert system shell and calculi for an intuitionistic modal logic as basis of nonmonotonic reasoning) (Q3995696)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Implementation einer musterorientierten Expertensystem-Shell und Kalküle für eine intuitionistische Modallogik als Basis des nicht- monotonen Schließens. (Implementation of a pattern-oriented expert system shell and calculi for an intuitionistic modal |
scientific article; zbMATH DE number 45199
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Implementation einer musterorientierten Expertensystem-Shell und Kalküle für eine intuitionistische Modallogik als Basis des nicht- monotonen Schließens. (Implementation of a pattern-oriented expert system shell and calculi for an intuitionistic modal logic as basis of nonmonotonic reasoning) |
scientific article; zbMATH DE number 45199 |
Statements
17 September 1992
0 references
pattern-oriented expert system
0 references
intuitionistic modal logic
0 references
nonmonotonic reasoning
0 references
nonmonotonic logic
0 references
0.7297870516777039
0 references
0.7246423959732056
0 references
0.7217968702316284
0 references