Content deleted Content added
m cat |
m cat |
||
Line 3:
----
'''KRYPTON''' is a [[
"An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON", R.J. Brachman et al, Proc IJCAI-85, 1985.
|
m cat |
m cat |
||
Line 3:
----
'''KRYPTON''' is a [[
"An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON", R.J. Brachman et al, Proc IJCAI-85, 1985.
|