MICAI 2006: Advances in Artificial Intelligence
Springer Berlin Heidelberg
Chapter title |
Inference Scheme for Order-Sorted Logic Using Noun Phrases with Variables as Sorts
|
---|---|
Chapter number | 5 |
Book title |
MICAI 2006: Advances in Artificial Intelligence
|
Published by |
Springer, Berlin, Heidelberg, November 2006
|
DOI | 10.1007/11925231_5 |
Book ISBNs |
978-3-54-049026-5, 978-3-54-049058-6
|
Authors |
Masaki Kitano, Seikoh Nishita, Tsutomu Ishikawa, Kitano, Masaki, Nishita, Seikoh, Ishikawa, Tsutomu |