Zobrazeno 1 - 10
of 128
pro vyhledávání: '"Yamasaki, Susumu"'
Autor:
Yamasaki, Susumu
This paper treats logic programming with three kinds of negation: default, weak and strict negations. A 3-valued logic model theory is discussed for logic programs with three kinds of negation. The procedure is constructed for negations so that a sou
Externí odkaz:
http://arxiv.org/abs/cs/0511041
Autor:
Yamasaki, Susumu
Kyoto University (京都大学)
0048
乙第4190号
論工博第1303号
新制||工||481(附属図書館)
6696
UT51-55-F328
学位規則第5条第2項該当
0048
乙第4190号
論工博第1303号
新制||工||481(附属図書館)
6696
UT51-55-F328
学位規則第5条第2項該当
Externí odkaz:
http://hdl.handle.net/2433/222621
Autor:
Oikawa, Takuichi, Ojima, Hidenori, Yamasaki, Susumu, Takayama, Tadatoshi, Hirohashi, Setsuo, Sakamoto, Michiie *
Publikováno v:
In Journal of Hepatology 2005 42(2):225-229
Autor:
Yamasaki, Susumu *, Kurose, Yoshinori
Publikováno v:
In Theoretical Computer Science 2001 266(1):489-512
Autor:
Takigawa, Yutaka ∗, Sugawara, Yasuhiko ∗, *, Yamamoto, Junji ∗, Shimada, Kazuaki ∗, Yamasaki, Susumu ∗, Kosuge, Tomoo ∗, Makuuchi, Masatoshi
Publikováno v:
In Ultrasound in Medicine & Biology 2001 27(2):151-156
Autor:
Ohkubo, Takao, Yamamoto, Junji *, Sugawara, Yasuhiko, Shimada, Kazuaki, Yamasaki, Susumu, Makuuchi, Masatoshi, Kosuge, Tomoo
Publikováno v:
In Journal of the American College of Surgeons 2000 191(6):657-660
Autor:
Sugawara, Yasuhiko, Yamamoto, Junji *, Shimada, Kazuaki, Yamasaki, Susumu, Kosuge, Tomoo, Takayama, Tadatoshi, Makuuchi, Masatoshi
Publikováno v:
In Journal of the American College of Surgeons 2000 190(4):446-450
Autor:
Yamamoto, Junji *, Kosuge, Tomoo, Shimada, Kazuaki, Yamasaki, Susumu, Moriya, Yoshihiro, Sugihara, Kenichi
Publikováno v:
In The American Journal of Surgery 1999 178(4):275-281
Autor:
Yamasaki, Susumu, Kurose, Yoshinori
Publikováno v:
Memoirs of the Faculty of Engineering, Okayama University. 35(1-2):97-135
In this paper, we formulate a new integrity constraint in correlation with 3-valued stable models in an abduction framework based on general logic programs. Under the constraint, not every ground atom or its negation is a logical consequence of the t
Autor:
Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Labarta, Jesús, Joe, Kazuki, Sato, Toshinori, Yamasaki, Susumu, Sasakura, Mariko
Publikováno v:
High-Performance Computing; 2008, p287-294, 8p