Ken SATOH


Agent-Based Speculative Constraint Processing
Hiroshi HOSOBE Ken SATOH Philippe CODOGNET 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2007/09/01
Vol. E90-D  No. 9  pp. 1354-1362
Type of Manuscript:  Special Section PAPER (Special Section on Software Agent and Its Applications)
Category: 
Keyword: 
agentsspeculative computationconstraints
 Summary | Full Text:PDF

Speculative Computation and Abduction for an Autonomous Agent
Ken SATOH 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2005/09/01
Vol. E88-D  No. 9  pp. 2031-2038
Type of Manuscript:  Special Section PAPER (Special Section on Software Agent and Its Applications)
Category: 
Keyword: 
speculative computationabductionbelief revisionlogic programming
 Summary | Full Text:PDF

Finding Priorities of Circumscription Policy as a Skeptical Explanation in Abduction
Toshiko WAKAKI Ken SATOH Katsumi NITTA Seiichiro SAKURAI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1998/10/25
Vol. E81-D  No. 10  pp. 1111-1119
Type of Manuscript:  PAPER
Category: Artificial Intelligence and Cognitive Science
Keyword: 
skeptical explanationsabductive frameworkcircumscription policyparallel circumscriptionprioritized circumscriptionabductive logic programmingextended logic programsanswer set semantics
 Summary | Full Text:PDF