Titlebook: GWAI-87 11th German Workshop on Artificial Intelligence; Geseke, September 28 Katharina Morik Conference proceedings 1987 Springer-Verlag B

忙碌

progestin

预定

exophthalmos

https://doi.org/10.1007/978-4-431-56454-6usion in a knowledge representation: they can be given a precise semantics, and allow a natural set of Inferences to be provided effectively. We specify the inference rules for the representation, and prove they are . and tractable.