Вы здесь

Главная

Satoh K.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Computing Prioritized Circumscription by Logic Programming 1995 Wakaki T., Satoh K. Logic Programming: Proc. of the Twelfth Intern. Conf. 08.05.1996
СТ A Query Evaluation Method for Abductive Logic Programming 1992 Satoh K., Iwayama N. Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming 19.12.1994
СТ Computing Abduction by Using the TMS 1991 Satoh K., Iwayama N. Logic Programming: Proc./Eight Intern. Conf. 23.09.1994
СТ A Correct Goal-directed Proof Procedure for a General Logic Program with Integrity Constraints 1992 Satoh K., Iwayama N. Lecture Notes in Artificial Intelligence 06.04.1993

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ New Frontiers in Artificial Intelligence: Revised Selected Papers/JSAI-isAI Workshops, JURISIN, SKL, Al-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, Japan, November 2017 2018 Lecture Notes in Computer Science
  1. Arai S.
  2. Kojima K.
  3. Mineshima K.
  4. Bekki D.
  5. Satoh K.
  6. Ohta Y.
 31.07.2018
СБ New Frontiers in Artificial Intelligence: Revised Selected Papers/JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 2013 2014 Lecture Notes in Artificial Intelligence
  1. Nakano Yu.
  2. Satoh K.
  3. Bekki D.
 11.12.2014
СБ New Frontiers in Artificial Intelligence: Revised Selected Papers/JSAI-isAI 2011 Workshops, LENLS, JURISIN, ALSIP, MiMI, Takamatsu, Japan, December 2011 2012 Lecture Notes in Artificial Intelligence
  1. Okumura M.
  2. Bekki D.
  3. Satoh K.
 01.10.2012
СБ Computational Logic in Multi-Agent Systems: Revised Selected & Invited Papers/8th International Workshop, CLIMA VIII. Porto, Portugal, September 2007 2008 Lecture Notes in Artificial Intelligence
  1. Sadri F.
  2. Satoh K.
 03.03.2009
СБ New Frontiers in Artificial Intelligence: Revised Selected Papers/JSAI 2007 Conference and Workshops. Miyazaki, Japan, June 2007 2008 Lecture Notes in Artificial Intelligence
  1. Satoh K.
  2. Inokuchi A.
  3. Nagao K.
  4. Kawamura T.
 15.04.2008
СБ Computational Logic in Multi-Agent Systems: Revised Selected and Invited Papers/ 7th International Workshop,CLIMA VII Hokodate,Japan,May 2006 2007 Lecture Notes in Artificial Intelligence
  1. Inoue K.
  2. Satoh K.
  3. Toni F.
 23.02.2007
СБ Discovery Science: Proc./5th Intern. Conf., DS 2002, Lubeck, Germany, November 2002 2002 Lecture Notes in Computer Science
  1. Lange S.
  2. Satoh K.
  3. Smith C. H.
 19.12.2002