A Tower Architecture for Meta-Level Inference Systems Based on Omega-OrderedHorn Theories
Title | A Tower Architecture for Meta-Level Inference Systems Based on Omega-OrderedHorn Theories |
Publication Type | Technical Report |
Authors | Bonzon, P. E. |
Title | A Tower Architecture for Meta-Level Inference Systems Based on Omega-OrderedHorn Theories |
Publication Type | Technical Report |
Authors | Bonzon, P. E. |