Information and Systems-Artificial Intelligence and Knowledge-Based Processing(Date:2002/05/17)

Presentation
表紙

,  

[Date]2002/5/17
[Paper #]
目次

,  

[Date]2002/5/17
[Paper #]
Introducing Speculative Computation into Competitive Environments

Kazunari FUKAI,  Katsumi INOUE,  Hiromasa HANEDA,  

[Date]2002/5/17
[Paper #]AI2002-1
Human Motion Recognition Based on Association Rules from Motion Data

Takaki MORI,  Kuniaki UEHARA,  

[Date]2002/5/17
[Paper #]AI2002-2
Rearrangement of Floor Layouts Based on Case-Based Reasoning and Constraint Satisfaction

Satoshi ONO,  Yoshinobu HAMADA,  Mamoru MIZUTANI,  Kazunori MIZUNO,  Yukio FUKUI,  Seiichi NISHIHARA,  

[Date]2002/5/17
[Paper #]AI2002-3
A Survey of Dynamic Epistemic Logics and Dynamic Doxastic Logics from the point of view of Kripke Systems

Norihiro OGATA,  

[Date]2002/5/17
[Paper #]AI2002-4
Effective SAT Planning by Speculative Computation

Hidetomo NABESHIMA,  Koji IWANUMA,  

[Date]2002/5/17
[Paper #]AI2002-5
Pruning Model Generation Tree by a Boolean Constraint Solver

Miyuki KOSHIMURA,  Ryuzo HASEGAWA,  

[Date]2002/5/17
[Paper #]AI2002-6
Linear Logic and Logic Programming

Naoyuki TAMURA,  

[Date]2002/5/17
[Paper #]AI2002-7
A new trend in belief propagation

Taisuke SATO,  

[Date]2002/5/17
[Paper #]AI2002-8
Logical Verifications for Security Protocols Based on Linear Logic

Mitsuhiro OKADA,  Koji HASEBE,  

[Date]2002/5/17
[Paper #]AI2002-9
A Proof Asistant System xpe

Motohiko MOURI,  

[Date]2002/5/17
[Paper #]AI2002-10
Signal Transduction and Hypothetical Reasoning application in bioinformatics

Ken-ichiro FUKUDA,  

[Date]2002/5/17
[Paper #]AI2002-11
Consideration about Learning from Interpretations in General Clausal Theory

Noriaki YAMASAKI,  Katumi INOUE,  Hiromasa HANEDA,  

[Date]2002/5/17
[Paper #]AI2002-12
[OTHERS]

,  

[Date]2002/5/17
[Paper #]