沢村 一
サワムラ ハジメ (Hajime Sawamura)
更新日: 2022/09/18
基本情報
研究分野
2経歴
2-
1980年 - 1996年
学歴
4-
- 1978年
-
- 1978年
-
- 1972年
-
- 1972年
MISC
38-
Electronic Commerce Research, Vol. 3 pp. 297-313 2003年
-
7th International Conference on Knowledge-Based Intelligent Information & Engineering Systems (KES2003), 3, 4 & 5 September, 2003, Oxford, United Kingdom, Lecture Notes in Artificial Intelligence, Vol. 2773, Springer-Verlag pp. 28-38 2003年
-
AI2002 Workshop Proceedings of the Sixth Australia-Japan Joint Workshop on Intelligent and Evolutionary Systems pp. 33-40 2003年
-
情報処理学会論文誌，第43巻，第5号 pp. 1518-1527 2002年
-
Working Notes of the IJCAI2001 Workshop on Inconsistency in Data and Knowledge pp. 50-59 2001年
-
Kangassalo H., Jaakkola H., Kawaguchi E. (editors): Information Modelling and Knowledge Bases XII. IOS Press, Amsterdam pp. 137-150 2001年
-
Proc. of the 2001 International Conference on Artificial Intelligence (AI-2001), CSREA Press pp. 1164-1170 2000年
-
Proc. of International ICSC Symposium on Multi-Agents and Mobile Agents in Virtual Organizations and E-Commerce (MAMA2000), ICSC Academic Press pp. 354-360 2000年
-
Proc. of an International Conference on the Theory and Application of Diagrams, Lecture Notes in Artificial Intelligence, Vol. 1889 pp. 271-285 2000年
-
Proc. of the Fourth International Conference on MultiAgents Systems (ICMAS2000), IEEE Computer Society pp. 271-278 2000年
-
C. Zhang and V. W. Soo (Eds.): Design and Applications of intelligent Agents, Lecture Notes in Artificial Intelligence, Vol.1881, Springer-Verlag pp. 46-60 2000年
-
人工知能学会誌 14(4) 646-656 1999年
-
14(4) 646-656 1999年
-
Int. Journal of Knowledge-Based Intelligent Engineering Systems 3(1) 27-36 1999年
-
情報処理学会論文誌 38(1) 9-22 1997年
-
FUJITSU Scientific and Technical Journal 32(2) 171-182 1996年
-
Proc. of International Conference on Computer Music and Music Science 68-83 1996年
-
Int. Workshop on Non-Standard Logics and Logical Aspects of Computer Science 1994年
書籍等出版物
17-
S. T. Yaun and M. Yokoo (Eds.): Intelligent Agents: Specificatipon, Modelling, and Applications, Lecture Notes in Artificial Intelligence, Vol. 2132, Springer-Verlag 2001年
-
Proc of 3rd Int. Conf. on Knowledge-Based Intelligent Information Engineering Systems, IEEE 1999年
-
Liu, J. and Zhong, N. (eds. ), Intelligent Agent Technology : Systems, Methodologies, and Tools, The World Scientific Publication 1999年
-
ソフトウェア工学の基礎V,近代科学社 1998年
-
Proc. of Pacific Rim Knowledge Acquisition Workshop 1998年
-
The 11th International Conference on Theorem Proving in Higher Order Logics, LNCS, Springer 1998年
-
ソフトウェア工学の基礎IV,近代科学社 1997年
-
Lecture Notes in Artificial Intelligence, Springer 1994年
-
ALT93, Lecture Notes in Artifical Intelligence 1993年
-
International Conference on Logic Programming and Automated Reasoning, Lecture Notes in Artificial Intelligence 1992年
-
I. Nakata and M. Hagiya(eds.) : Software Science and Engineering.World Scientific 1991年
-
Proc. of the Seventh International Conference on Logic Programming, edited by D. H. D. Warren and P. Szeredi, The MIT Press 1990年
-
Proc. of the Seventh International Conference on Logic Programming, The MIT Press 1990年
-
知的コンピュ-タシステム事典、産業調査会事典出版センタ 1988年
-
LNCS 383, Springer 1988年
-
1988年
-
Proc. of the 2nd Symposium on Logic Programming, IEEE Computer Society 1985年