高松 忍

プロセス代数と様相論理を融合した並行システムの仕様記述 

電子情報通信学会論文誌・D-I J80-D-I(4) 411-414 1997年  

A Specification Description of Concurrent Systems Unifying Process Algebra and Modal Logic(共著) 

Trans. of IEICE J80-D-I(4) 411-414 1997年  

プロセス代数と様相論理を融合した並行システムの仕様記述 

電子情報通信学会論文誌D-I J80-D-I(4) 411-414 1997年  

A Specification Description of Concurrent Systems Unifying Process Algebra and Modal Logic(共著) 

Trans. of IEICE J80-D-I(4) 411-414 1997年  

A First - Order Theory of Agent Models with Layerd Architeture 

Proc. oj. the 2end Int. Conf. on Multi - Agent Systems, p.444 1996年  

解釈の暖味性を考慮した図と説明テキストの総合理解 

電気学会論文誌 C 116-C(11) 1202-1210 1996年  

A Personal Agent Dealing with Situation-Dependent Tasks 

Proc.of the IASTRD Int.Conf.on Aitificial Intelligence,Expert Systems and Neural Networks 33-35 1996年  

Understanding of Diagrams and Expository Text by Resolving Ambiguities of Interpretation(共著) 

Trans. IEE of Japan 116-C(11) 1202-1210 1996年  

A First－Order Logical Formalization of Multi－Agent Models with Process Algebraic Formulation 

Proc.of the IASTRD Int.Conf.on Aitificial Intelligence,Expert Systems and Neural Networks 116-119 1996年  

A First - Order Theory of Agent Models with Layerd Architeture 

Proc. oj. the 2end Int. Conf. on Multi - Agent Systems, p.444 1996年  

A Personal Agent Dealing with Situation-Dependent Tasks 

Proc.of the IASTRD Int.Conf.on Aitificial Intelligence,Expert Systems and Neural Networks 33-35 1996年  

Understanding of Diagrams and Expository Text by Resolving Ambiguities of Interpretation(共著) 

Trans. IEE of Japan 116-C(11) 1202-1210 1996年  

A First－Order Logical Formalization of Multi－Agent Models with Process Algebraic Formulation 

Proc.of the IASTRD Int.Conf.on Aitificial Intelligence,Expert Systems and Neural Networks 116-119 1996年  

First-Order Logic Based Situational and Dynamic Interpretation of Natural Language Descriptions in Hardware Design Specifications (共著) 

Journal of Japanese Society for Artificial Intelligence 10(5) 720-730 1995年  

ハードウェア設計仕様における自然言語記述の一階論理に基づく状況的・動的解釈 

人工知能学会誌 10(5) 720-730 1995年  

First-Order Logic Based Situational and Dynamic Interpretation of Natural Language Descriptions in Hardware Design Specifications (共著) 

Journal of Japanese Society for Artificial Intelligence 10(5) 720-730 1995年  

A Method of Post-Processing for Character Recognition Based on Syntactic and Semantic Analysis of Sentences (共著) 

Trans. of IEICE J77-D-II(11) 2199-2209 1994年  

Integrated Understanding of Sentences and Diagrams for Understanding and Solution of Geometry Problems (共著) 

Trans. IEE of Japan 114-C(11) 1201-1207 1994年  

構文・意味解析を用いた文字認識後処理法 

電子情報通信学会論文誌 J77-D-II(11) 2199-2209 1994年