 | | |
| |
| | 佐藤健Last updated: 09/12/21 19:58 | e-mail | ksatoh nii.ac.jp |
|---|
| | |
PapersSpeculative Constraint Processing for Hierarchical Agents Hiroshi Hosobe, Ken Satoh, Jiefei Ma, Alessandra Russo, and Krysia Broda Proc. of European Workshop on Multi-Agent Systems 2009 Dec 2009 [Refereed] Translating the Japanese Presupposed Ultimate Fact Theory into Logic Programming Ken Satoh, Masahiro Kubota, Yoshiaki Nishigai, and Chiaki Takano Proc. of 22nd Annual Conference on Legal Knowledge and Information Systems (JURIX 2009) 162-171 Dec 2009 [Refereed] A Formalization for Burden of Production in Logic Programming Ken Satoh Proc. of the 3rd International Workshop on Juris-Informatics 107-117 Nov 2009 [Refereed] On the Implementation of Speculative Constraint Processing Jiefei Ma, Alessandra Russo, Krysia Broda, Hiroshi Hosobe and Ken Satoh Proceedings of the 10th International Workshop on Computational Logic in Multi-Agent Systems 105-120 Sep 2009 [Refereed] Computing Minimal Models by Minimal DNF formula Ken Satoh Proc. of Sixth Workshop on Learning with Logics and Logics for Learning 72-79 Jul 2009 [Refereed] Biblio Handbook of Software Engineering and Knowledge Engineering, Vol. 2 Shi-Kuo Chang (ed.) World Scientific Jan 2002 |
Machine Learning, Meta-Reasoning and Logics P. Brazdil and K. Konolige (eds.) Kluwer Academic Publishers Jan 1990 |
Methodologies for Intelligent Systems Z. W. Ras (ed.) North-Holland Jan 1989 |
|
|
|
|
| |
