Information and Systems-Artificial Intelligence and Knowledge-Based Processing(Date:1997/11/13)

Presentation
表紙

,  

[Date]1997/11/13
[Paper #]
目次

,  

[Date]1997/11/13
[Paper #]
Semantic Model Elimination : Toward Efficient Equality Proving : Extended Abstract

Koji Iwanuma,  

[Date]1997/11/13
[Paper #]AI97-24
Communication with Facial Expressions for Flexible Knowledge Acquisition between Image and Voice

Ken'ichi KAMEI,  Jun KOMATSU,  Shuichi ARAI,  Yoshirou MIIDA,  

[Date]1997/11/13
[Paper #]AI97-25
A Method for Constraint Optimization Problem Using Linear Programming

Dongfeng Cai,  Mitsuru Ishizuka,  

[Date]1997/11/13
[Paper #]AI97-26
Generation of Default Rules Based on AIC

Kazunori MATSUMOTO,  Kazuo HASHIMOTO,  

[Date]1997/11/13
[Paper #]AI97-27
Imperfect Information Flow of Agents Communication in Arrow Logic

Yoshihiko MURAKAWA,  Satoshi TOJO,  Susumu KUNIFUJI,  

[Date]1997/11/13
[Paper #]AI97-28
Estimation of Other Agents' Knowledge and Its Update

Hideki Isozaki,  

[Date]1997/11/13
[Paper #]AI97-29
A Situated Inference System with Class-Hierarchy and Two Properties of Predicate

Ken KANEIWA,  Satoshi TOJO,  

[Date]1997/11/13
[Paper #]AI97-30
The Extension of Axiomatic System of Frame-structure Logic by Introducing an Object Operator and Instances

Kouji KOMATSU,  Noritaka NISHIHARA,  Shouichi YOKOYAMA,  

[Date]1997/11/13
[Paper #]AI97-31
Formalization of human deductive reasoning with respect to relevance of connectives

Noriaki Yoshiura,  Naoki Yonezaki,  

[Date]1997/11/13
[Paper #]AI97-32
A Symbolic-Statistical Modeling Language PRISM

Yoshitaka KAMEYA,  Taisuke SATO,  

[Date]1997/11/13
[Paper #]AI97-33
[OTHERS]

,  

[Date]1997/11/13
[Paper #]