CHENG JINGDE 程京徳

… Alternative Names

CHENG Jingde 程京徳

Less

Researcher Number	30217228
External Links
Affiliation (based on the past Project Information) *help	2007 – 2009: Saitama University, 大学院・理工学研究科, 教授 2006: 埼玉大学, 大学院理工学研究科, 教授 1999 – 2002: 埼玉大学, 大学院・理工学研究科, 教授 1999: Dept. of Information and Computer Sci., Faculty of Eng., Kyushu University, Professor, 大学院・数理工学研究科, 教授 1998: 九州大学, 大学院システム情報科学研究科, 教授 … More 1996 – 1997: Kyushu University, Graduate School of Information Science & Electrical Engineering Professor, 大学院・システム情報科学研究科, 教授 1990 – 1995: Kyushu University, Faculty of Engineering Associate Professor, 工学部, 助教授 1989: 九州大学, 工学部, 助手 Less
Review Section/Research Field	Principal Investigator 計算機科学 / Intelligent informatics / 情報工学 / Software / Humanities and Social Sciences Except Principal Investigator 計算機科学 / Informatics / 計算機工学 / 情報工学
Keywords	Principal Investigator プログラム従属性 / 保守 / プログラム解析 / Debug / 複雑さ評価 / デバッグ / 自律進化 / スライシング / プログラム理解 / 拡充的推論 … More / 相関的推論 / 強相関論理 / 認識的プログラミング / 認識プロセス / 科学的発見 / ソフトウェア発展 / ソフトウェア従属性 / 帰結論理 / 相関論理 / automated theorem finding / autonomous evolution / ampliative reasoning / relevant reasoning / strong relevant logic / epistemic programming / epistemic processes / scientific discovery / 自己計測 / 自動定理発見 / Complexity metrics / Program understanding / Slicing / Program analysis / Program dependencies / Declarative concurrent programs / Imperative concurrent programs / 並行プログラムの系統的開発法 / プロセス相互作用 / 関数型並行プログラム / 論理型並行プログラム / 宣言型並行プログラム / 命令型並行プログラム / Maintenance / Complexity Metrics / Test / Program Analysis / Program Dependencies / Concurrent Programs / プロセス支配ネット / プロセス従属ネット / 通信従属性 / 同期従属性 / 非決定的並列定義使用ネット / 非決定的並列制御流れネット / テスト / 並行プログラム / 時間規範相関論理 / 汎用先行推論エンジン / 規範相関論理 / 行動推論 / 時間相関論理 / 先行推論 / 永続計算システム / 反応的システム / ソフトウェア工学 / 創造力教育 / 論理パズル / 哲学論理 / 古典数理論理 / 証明 / 推論 / 論理学 / 並行システム / 認識プログラミング / 認識プロセスの強相関論理モデル / 発見的・進化的知識処理 / ソフトウェア保守 / 並行プログラム従属性解析理論 / 自己革新的知識処理 / 発見的知識処理 / 演繹等価性 / 選言-含意パラドックス / 連言-含意パラドックス / 必然的な帰結関係 / 進化的知識処理 / 発現的知識処理 … More Except Principal Investigator ASIS / Ada95 / Integrated support environment / プログラム従属性 / テストケース自動生成 / スライシング / 並行型プログラム開発支援環境 / プログラム従属性理論 / 統一的プログラム抽象表現 / 検証 / デバッグ / テスト / 並行動作システム / SSL (Secure Socket Layer) Protocol / Authentication / Man in the Middle / Behavior Description / Concurrent Systems / Verification / Formal Specification / Security Protocol / Secure Socket Laver (SSL)プロトコル / Secure Socket Layer (SSL)プロトコル / Secure Socket Layer(SSL)プロトコル / 認証 / なりすまし / 振舞い記述 / 形式仕様記述 / セキュリティプロトコル / Program dependence theory / Concurrent Programming / テスト充分性 / プロセス従属ネット / システム従属ネット / 定義使用ネット / 統合開発環境 / Ada 95 / ソフトウェア開発支援 / 従属性理論 / 並行型プログラム / OSC / Testing adequacy / Automatic test case generation / Slicing / Program dependencies / CFN / Unified Program representations / Ada / 開発環境 / 並行プログラム / 順序列テスト基準 / テスト十分性 / テスケース自動生成 / 非決定的定義使用ネット / Deductive Object-Oriented Database / Object-Oriented Database / Genome Database / Next Generation Database / CAD Database / Deductive Database / 非正規関係 / 線形再帰 / 間接的接続関係 / ユ-ザ-インタ-フェ-ス / マジックセット法 / 再帰質問処理 / CADデ-タベ-ス / 演繹デ-タベ-ス / DNA2次構造 / ゲノム情報処理 / CADデータベース / 質問処理 / 演繹オブジェクト指向データベース / ゲノムデータ / CADデータ / オブジェクト指向データベース / 演繹データベース / 高機能データベース / Distributed RunーTime Environment / Distributed Cooperative Processing / Deadlock / Debugging / Testing / Validation / Specification / Concurrent Programs / プログラム変換 / 実時間処理 / 分散実行環境 / 分散協調処理 / デッドロック / 仕様記述 / 並列型プログラム / Miranda / 関数型プログラミング言語 / ストリーム / 並行動作プログラム / 分散処理システム / 並列オペレーティングシステム / 仕様スライス / 仕様記述言語Z / 実行可能仕様 / 形式的仕様 / ストリーム並列 / UNIXワークステーションの価格性能比 / 組み込み型ソフトウェアの生産性 / 並列計算機用プログラムの性能評価 / 並行プログラムの複雑さ評価 / 並行プログラムの従属性モデル / 著作過程の詳細分析 / ヒューマンインタフェースの評価 / ソフトウェア文書の評価 Less

Implementation and Applications of Anticipatory Reasoning-Reacting SystemsPrincipal Investigator
- Principal Investigator
  
  CHENG Jingde (CHENG JINGDE)
- Project Period (FY)
  2006 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Saitama University
利用者に自律的に助言する論理学学習システムの開発Principal Investigator
- Principal Investigator
  
  程京徳
- Project Period (FY)
  2002
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Humanities and Social Sciences
- Research Institution
  Saitama University
Epistemic Programming System Based on Strong Relevant LogicPrincipal Investigator
- Principal Investigator
  
  CHENG Jingde
- Project Period (FY)
  1999 – 2002
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Intelligent informatics
- Research Institution
  Saitama University
ソフトウェア従属性解析理論に基づく既存ソフトウェアの適応的発展方法論Principal Investigator
- Principal Investigator
  
  程京徳
- Project Period (FY)
  1998
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas (A)
- Research Institution
  Kyushu University
Elementary Studies on Formal Description and Verification of Security Protocols
- Principal Investigator
  
  ARAKI Keijiro
- Project Period (FY)
  1998 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  KYUSHU UNIVERSITY
ソフトウェア従属性理論に基づく既存ソフトウェアの適応的発展方法論に関する研究Principal Investigator
- Principal Investigator
  
  程京徳
- Project Period (FY)
  1997
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Kyushu University
科学的発見を支援する認識的プログラミングパラダイムの創立Principal Investigator
- Principal Investigator
  
  程京徳
- Project Period (FY)
  1997 – 1999
- Research Category
  
  Grant-in-Aid for Exploratory Research
- Research Field
  
  計算機科学
- Research Institution
  Saitama University
  Kyushu University
Integrated Environment to Support Development of Concurrent Programs Based on Software Dependence Theory
- Principal Investigator
  
  USHIJIMA Kazuo
- Project Period (FY)
  1997 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  Kyushu University
Integrated Environment to Support Software Development of Concurrent Programs.
- Principal Investigator
  
  USHIJIMA Kazuo
- Project Period (FY)
  1995 – 1996
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  KYUSHU UNIVERSITY
A General Theory of Program Dependencies in Imperative and Declarative Concurrent Programs and Its ApplicationsPrincipal Investigator
- Principal Investigator
  
  CHENG Jingde
- Project Period (FY)
  1994 – 1996
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  Kyushu University
発見的・自己革新的知識処理を基礎付ける論理体系の構築Principal Investigator
- Principal Investigator
  
  程京徳
- Project Period (FY)
  1993
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Kyushu University
高機能高品質ソフトウェアの評価法の研究
- Principal Investigator
  
  USHIJIMA Kazuo
- Project Period (FY)
  1992
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Kyushu University
発現的・自己革新的知識処理を基礎付ける論理体系に関する研究Principal Investigator
- Principal Investigator
  
  程京徳
- Project Period (FY)
  1992
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Kyushu University
ストリーム並列実行モデルに基づく並行動作プログラムの形式的開発法
- Principal Investigator
  
  ARAKI Keijiro
- Project Period (FY)
  1992 – 1993
- Research Category
  
  Grant-in-Aid for General Scientific Research (B)
- Research Field
  
  情報工学
- Research Institution
  Nara Institute of Science and Technology
  Kyushu University
Program Dependence Theory of Concurrent Programs and Its ApplicationsPrincipal Investigator
- Principal Investigator
  
  CHENG Jingde
- Project Period (FY)
  1992 – 1993
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  情報工学
- Research Institution
  KYUSHU UNIVERSITY
A study on the application of a deductive database to a CAD system
- Principal Investigator
  
  USHIJIMA Kazuo
- Project Period (FY)
  1991 – 1993
- Research Category
  
  Grant-in-Aid for General Scientific Research (B)
- Research Field
  
  Informatics
- Research Institution
  KYUSHU UNIVERSITY
Study in Validation Support Methods for Concurrent Programs
- Principal Investigator
  
  USHIJIMA Kazuo
- Project Period (FY)
  1989 – 1990
- Research Category
  
  Grant-in-Aid for General Scientific Research (B)
- Research Field
  
  計算機工学
- Research Institution
  Kyushu University

All 2010 2009 2008 2007 2006

All Journal Article Presentation

[Journal Article] A Fast Algorithm for Derivation Process in Forward Reasoning Engines2010
- Author(s)
  Takahiro Koh, Yuichi GOTO, Jingde CHENG
- Journal Title
  
  International Journal of Computational Science (印刷中)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] A Fast Algorithm for Derivation Process in Forward Reasoning Engines2010
- Author(s)
  Takahiro Koh, Yuichi GOTO, Jingde CHENG
- Journal Title
  
  International Journal of Computational Science Vol. 4, No. 3
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] Hybrid Artificial Intelligence Systems, 4th International Conference, HAIS09, Salamanca, Spain, June 10-12, Proceedings,Lecture Notes in Artificial Intelligence(Subseries of Lecture Notes in Computer Science)2009
- Author(s)
  Natsumi KITAJIMA, Yuichi GOTO, and Jingde CHENG
- Journal Title
  
  Vol.5572(Springer-Verla)
  
  Pages: 68-76
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control2009
- Author(s)
  Natsumi KITAJIMA, Yuichi GOTO, and Jingde CHENG
- Journal Title
  
  LectureNotesinArtificialIntelligence 5572
  
  Pages: 68-72
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] 先行推論に基づく永続的反応システム(招待論文)2009
- Author(s)
  程京徳
- Journal Title
  
  Telecom Frontier, SCAT Technical Journal 65
  
  Pages: 34-41
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control2009
- Author(s)
  Natsumi KITAJIMA, Yuichi GOTO, Jingde CHENG
- Journal Title
  
  Lecture Notes in Artificial Intelligence 5572
  
  Pages: 68-76
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] 先行推論に基づく永続的反応システム2009
- Author(s)
  程京徳
- Journal Title
  
  Telecom Frontier, SCAT Technical Journal No. 65
  
  Pages: 34-41
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] Semantics for a Basic Relevant Logic with Intensional Conjunction and Disjunction(and some of its Extensions)2008
- Author(s)
  Ying GAO and Jingde CHENG
- Journal Title
  
  Mathematical Structures in Computer Science 18
  
  Pages: 145-164
- NAID
  120006385753
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning-Reacting Systems2008
- Author(s)
  Jingde CHENG, Yuichi GOTO, and Natsumi KITAJIMA
- Journal Title
  
  AIP Conference Proceedings 1051
  
  Pages: 244-254
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] Qualitative Spatio-Temporal Reasoning about Moving Objects in Three-dimensional Space2008
- Author(s)
  Jingde CHENG
- Journal Title
  
  Lecture Notes in Computer Science 5370
  
  Pages: 637-648
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] Continuous Reactability of Persistent Computing Systems2008
- Author(s)
  Yuichi GOTO, Takumi ENDO, Jingde CHENG
- Journal Title
  
  International Journal of Computing Anticipatory Systems Vol. 20
  
  Pages: 219-229
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems2008
- Author(s)
  Natsumi KITAJIMA, Shinsuke NARA, Yuichi GOTO, Jingde CHENG
- Journal Title
  
  International Journal of Computing Anticipatory Systems Vol. 20
  
  Pages: 177-190
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems2008
- Author(s)
  Natsumi KITAJIMA, Shinsuke NARA, Yuichi GOTO, and Jingde CHENG
- Journal Title
  
  International Journal of Computing Anticipatory Systems 20
  
  Pages: 177-190
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] Qualitative Spatio-temporal Reasoning about Moving Objects in Three-dimensional Space(L. Kang, et al. (Eds.))2008
- Author(s)
  Jingde CHENG
- Journal Title
  
  Advances in Computation and Intelligence : Third International Symposium, ISICA 2008, Wuhan, China, December 2008, Proceedings Vol. 5370(Lecture Notes in Computer Science)(Springer-Verlag)
  
  Pages: 637-648
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] A Fast Duplication Checking Algorithm for Forward RAsoning Engines2008
- Author(s)
  Takahiro KOH, Yuichi GOTO, and Jingde CHENG
- Journal Title
  
  Lecture Notes in Artificial Intelligence 5178
  
  Pages: 499-507
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] A Low Cost and Resilient Message Queuing Middleware2008
- Author(s)
  Mohammad Reza SELIM, Yuichi GOTO, Jingde CHENG
- Journal Title
  
  International Journal of Computer Science and Network Security Vol. 8, No. 8
  
  Pages: 225-237
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] Semantics for a Basic Relevant Logic with Intensional Conjunction and Disjunction (and some of its Extensions)2008
- Author(s)
  Ying GAO, Jingde CHENG
- Journal Title
  
  Mathematical Structures in Computer Science Vol. 18, No. 1
  
  Pages: 145-164
- NAID
  120006385753
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations2008
- Author(s)
  Yuichi GOTO, Takahiro KOH, and Jingde CHENG
- Journal Title
  
  Lecture Notes in Artificial Intelligence 5178
  
  Pages: 526-535
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] "Computing Anticipatory Systems : CASYS 2007-Eighth International Conference,Liege, Belgium, 6-11 August 2007,"AIP Conference Proceedings2008
- Author(s)
  Jingde CHENG, Yuichi GOTO, and Natsumi KITAJIMA
- Journal Title
  
  Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning-Reacting Systems(in D. M. Dubois(Ed.))(Best Paper Award awarded at the Eighth International Conference on Computing Anticipatory Systems)(The American Institute of Physics) Vol.1051
  
  Pages: 244-254
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] A Low Cost and Resilient Message Queuing Middleware2008
- Author(s)
  Mohammad Reza SELIM, Yuichi GOTO, and Jingde CHENG
- Journal Title
  
  International Journal of Computer Science and Network Security 8
  
  Pages: 225-237
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] Continuous Reactability of Persistent Computing Systems2008
- Author(s)
  Yuichi GOTO, Takumi ENDO, and Jingde CHENG
- Journal Title
  
  International Journal of Computing Anticipatory Systems 20
  
  Pages: 219-229
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] Operational Semantics for Positive Relevant Logics without Distribution2007
- Author(s)
  Ying GAO and Jingde CHENG
- Journal Title
  
  Lecture Notes in Computer Science 4497
  
  Pages: 325-335
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] Persistent Computing Systems Based on Soft System Buses as an Infrastructure of Ubiquitous Computing and Intelligence (Invited Paper)2007
- Author(s)
  Jingde CHENG
- Journal Title
  
  Journal of Ubiquitous Computing and Intelligence Vol. 1, No. 1
  
  Pages: 35-41
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] Persistent Computing Systems Based on Soft System Buses as all Infrastructure of Ubiquitous Computing and Intelligence2007
- Author(s)
  Jingde CHENG
- Journal Title
  
  Journal of Ubiquitous Computing and Intelligence 1
  
  Pages: 35-41
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] Persistent Computing Systems Based on Soft System Buses as an Infrastructure of Ubiquitous Computing and Intelligence2007
- Author(s)
  Jingde CHENG
- Journal Title
  
  Journal of Ubiquitous Computing and Intelligence(American Scientific Publishers) Vol.1, No.1(Invited Paper)
  
  Pages: 35-41
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic2007
- Author(s)
  Yuichi GOTO, Jingde CHENG
- Journal Title
  
  Electronic Notes in Theoretical Computer Science Vol. 169
  
  Pages: 87-97
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing2007
- Author(s)
  Jingde CHENG, Yuichi GOTO, Shinsuke NARA, and Takahiro KOH
- Journal Title
  
  Lecture Notes in Computer Science 4693
  
  Pages: 845-851
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] "Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007,XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy,September 12-14, 2007, Proceedings, Part II," Lecture Notes in Artificial Intelligence(Subseries of Lecture Notes in Computer Science)2007
- Author(s)
  Jingde CHENG, Shinsuke NARA, and Yuichi GOTO
- Journal Title
  
  FreeEnCal : A Forward Reasoning Engine with General-Purpose(in B. Apolloni, R.J. Howlett, and L.C. Jain(Eds.)) Vol.4693(Springer-Verlag)
  
  Pages: 444-452
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] Semantics for a Basic Relevant Logic with Intensional Conjunction and Disjunction2007
- Author(s)
  Ying GAO, Jingde CHENG
- Journal Title
  
  Electronic Notes in Theoretical Computer Science Vol. 169
  
  Pages: 61-71
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] FreeEnCal:A Forward Reasoning Engine with General-Purpose2007
- Author(s)
  Jingde CHENG, Shinsuke NARA, and Yuichi GOTO
- Journal Title
  
  Lecture Notes in Computer Science 4693
  
  Pages: 444-452
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] Measuring Reactability of Persistent Computing Systems2007
- Author(s)
  Takumi ENDO, Yuichi GOTO, and Jingde CHENG
- Journal Title
  
  Lecture Notes in Computer Science 4829
  
  Pages: 144-151
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] An Anticipatory Reasoning Engine for Computing Anticipatory Systems2006
- Author(s)
  Shinsuke NARA, Feng SHANG, Takashi OMI, Yuichi GOTO, Jingde CHENG
- Journal Title
  
  International Journal of Computing Anticipatory Systems Vol. 18
  
  Pages: 225-234
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems2006
- Author(s)
  Jingde CHENG
- Journal Title
  
  Lecture Notes in Computer Science Vol.4006
  
  Pages: 167-178
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] Persistent Computing Systems as an Infrastructure of Computing Anticipatory Systems2006
- Author(s)
  Jingde CHENG, Feng SHANG
- Journal Title
  
  International Journal of Computing Anticipatory Systems Vol. 18
  
  Pages: 61-74
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] A Comparative Study between Soft System Bus and Traditional Middlewares2006
- Author(s)
  Mohammad REza SELIM, Takumi ENDO, Yuichi GOTO, Jingde CHENG
- Journal Title
  
  Lecture Notes in Computer Science Vol.4278
  
  Pages: 1264-1273
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] An Anticipatory Reasoning Engine for Computing Anticipatory Systems2006
- Author(s)
  Shinsuke NARA, Feng SHANG, Takashi OMI, Yuichi GOTO, Jingde CHENG
- Journal Title
  
  International Journal of Computing Anticipatory Systems Vol.18
  
  Pages: 225-234
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] Persistent Computing Systems as an Infrastructure of Computing Anticipatory Systems2006
- Author(s)
  Jingde CHENG, Feng SHANG
- Journal Title
  
  International Journal of Computing Anticipatory Systems Vol.18
  
  Pages: 61-74
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] 先行推論による予測とその論理基礎2006
- Author(s)
  程京徳
- Journal Title
  
  日本信頼性学会誌「信頼性」 Vol.28 No.7
  
  Pages: 451-460
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] Persistent Computing Systems as an Infrastructure of Computing Anticipatory Systems2006
- Author(s)
  Jingde CHENG and Feng SHANG
- Journal Title
  
  International Journal of Computing Anticipatory Systems(CHAOS) Vol.18
  
  Pages: 61-74
- Data Source
  KAKENHI-PROJECT-18300005
[Journal Article] 先行推論による予測とその論理基礎2006
- Author(s)
  程京徳
- Journal Title
  
  日本信頼性学会誌「信頼性」 Vol. 28, No. 7
  
  Pages: 451-460
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300005
[Presentation] An Improvement of REM : A Replication Oriented Event-based Middleware2009
- Author(s)
  Youcheng CHEN, Mohammad Reza SELIM, Yuichi GOTO, Jingde CHENG
- Organizer
  Proceedings of the 4th International Conference on Availability, Reliability and Security
- Place of Presentation
  Fukuoka, Japan, IEEE Computer Society Press
- Data Source
  KAKENHI-PROJECT-18300005
[Presentation] Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control2009
- Author(s)
  Natsumi KITAJIMA, Yuichi GOTO, Jingde CHENG
- Organizer
  Hybrid Artificial Intelligence Systems, 4th International Conference, HAIS09, Salamanca, Spain, June 10-12, Proceedings(E. Corchado, X. Wu, E. Oja (Eds.))
- Place of Presentation
  Springer-Verlag
- Data Source
  KAKENHI-PROJECT-18300005
[Presentation] Fast Anticipatory Reasoning for Computing Anticipatory Systems2009
- Author(s)
  Takahiro KOH, Yuichi GOTO, Jingde CHENG
- Organizer
  Ninth International Conference on Computing Anticipatory Systems
- Place of Presentation
  Liege, Belgium
- Data Source
  KAKENHI-PROJECT-18300005
[Presentation] Development and Maintenance Environment for Anticipatory Reasoning-Reacting Systems2009
- Author(s)
  Yuichi GOTO, Ryota KUBONIWA, Jingde CHENG
- Organizer
  Ninth International Conference on Computing Anticipatory Systems
- Place of Presentation
  Liege, Belgium
- Data Source
  KAKENHI-PROJECT-18300005
[Presentation] Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems2008
- Author(s)
  Natsumi KITAJIMA, Yuichi GOTO, Jingde CHENG
- Organizer
  Proceedings of the 3rd International Conference on Availability, Reliability and Security
- Place of Presentation
  Barcelona, Spain, IEEE Computer Society Press
- Data Source
  KAKENHI-PROJECT-18300005
[Presentation] An Improvement of REM: A Replication Oriented Event-based Middleware2008
- Author(s)
  Youcheng CHEN, Mohammad Reza SELIM, Yuichi GOTO, and Jingde CHENG
- Organizer
  4th International Conference on Availability, Reliability and Security
- Place of Presentation
  福岡工業大学
- Data Source
  KAKENHI-PROJECT-18300005
[Presentation] Ensuring Reliability and Availability of Soft System Bus2008
- Author(s)
  Mohammad Reza SELIM, Yuichi GOTO, and Jingde CHENG
- Organizer
  2nd IEEE International Conference on Secure System Integration and Reliability Improvement
- Place of Presentation
  横浜市国際交流協会
- Data Source
  KAKENHI-PROJECT-18300005
[Presentation] A Fast Duplication Checking Algorithm for Forward Reasoning Engines2008
- Author(s)
  Takahiro KOH, Yuichi GOTO, Jingde CHENG
- Organizer
  Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings(I. Lovrek, R. J. Howlett, and L. C. Jain (Eds.))
- Place of Presentation
  Springer-Verlag
- Data Source
  KAKENHI-PROJECT-18300005
[Presentation] Qualitative Spatiotemporal Reasoning about Moving Objects in Three-dimensional Space2008
- Author(s)
  Jingde CHENG
- Organizer
  Advances in Computation and Intelligence : Third International Symposium, ISICA 2008, Wuhan, China, December 19-21, 2008, Proceedings(L. Kang, et al. (Eds.))
- Place of Presentation
  Springer-Verlag
- Data Source
  KAKENHI-PROJECT-18300005
[Presentation] Adaptive Prediction by Anticipatory Reasoning Based on Temporal Relevant Logic2008
- Author(s)
  Jingde CHENG
- Organizer
  8th International Conference on Hybrid Intelligent Systems
- Place of Presentation
  Barcelona, Spain
- Data Source
  KAKENHI-PROJECT-18300005
[Presentation] Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems2008
- Author(s)
  Natsumi KITAJIMA, Yuichi GOTO, and Jingde CHENG
- Organizer
  3rd Intemational Conference on Availability, Reliability and Security
- Place of Presentation
  Barcelona,Spain
- Data Source
  KAKENHI-PROJECT-18300005
[Presentation] Ensuring Reliability and Availability of Soft System Bus2008
- Author(s)
  Mohammad Reza SELIM, Yuichi GOTO, Jingde CHENG
- Organizer
  Proceedings of the 2nd IEEE International Conference on Secure System Integration and Reliability Improvement(The IEEE Reliability Society and The IEEE Systems, Man, and Cybernetics Society)
- Place of Presentation
  Yokohama, Japan
- Data Source
  KAKENHI-PROJECT-18300005
[Presentation] Qualitative Spatio-temporal Reasoning about Movement of Mobile Agents/Objects2008
- Author(s)
  Jingde CHENG
- Organizer
  7th International Conference on Machine Learning and Cybernetics
- Place of Presentation
  Kunming, China
- Data Source
  KAKENHI-PROJECT-18300005
[Presentation] Testing and Debugging Persistent Computing Systems: A New Chal lenge in Ubiquitous Computing2008
- Author(s)
  Jingde CHENG
- Organizer
  5th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing
- Place of Presentation
  Shanghai,China
- Data Source
  KAKENHI-PROJECT-18300005
[Presentation] Testing and Debugging Persistent Computing Systems : A New Challenge in Ubiquitous Computing2008
- Author(s)
  Jingde CHENG
- Organizer
  Proceedings of the 5th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing
- Place of Presentation
  Shanghai, China, IEEE Computer Society Press
- Data Source
  KAKENHI-PROJECT-18300005
[Presentation] Adaptive Prediction by Anticipatory Reasoning Based on Temporal Relevant Logic2008
- Author(s)
  Jingde CHENG
- Organizer
  Proceedings of the 8th International Conference on Hybrid Intelligent Systems, pp.410-416
- Place of Presentation
  Barcelona, Spain(IEEE Computer Society Press)
- Data Source
  KAKENHI-PROJECT-18300005
[Presentation] A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations2008
- Author(s)
  Yuichi GOTO, Takahiro KOH, Jingde CHENG
- Organizer
  Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings(I. Lovrek, R. J. Howlett, and L. C. Jain (Eds.))
- Place of Presentation
  Springer-Verlag
- Data Source
  KAKENHI-PROJECT-18300005
[Presentation] Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning-Reacting Systems (Invited Paper)2008
- Author(s)
  Jingde CHENG, Yuichi GOTO, Natsumi KITAJIMA
- Organizer
  Computing Anticipatory Systems : CASYS 2007-Eighth International Conference, Liege, Belgium, 6-11 August 2007, AIP Conference Proceedings (D. M. Dubois (Ed.))
- Place of Presentation
  The American Institute of Physics
- Data Source
  KAKENHI-PROJECT-18300005
[Presentation] Adaptive Prediction by Anticipatory Reasoning Based on Temporal Relevant Logic2008
- Author(s)
  Jingde CHENG
- Organizer
  Proceedings of the 8th International Conference on Hybrid Intelligent Systems
- Place of Presentation
  Barcelona, Spain, IEEE Computer Society Press
- Data Source
  KAKENHI-PROJECT-18300005
[Presentation] Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning Reacting Systems2007
- Author(s)
  Jingde CHENG, Yuichi GOTO, and Natsumi KITAJIMA
- Organizer
  Eighth International Conference on Computing Anticipatory Systems
- Place of Presentation
  Liege,Belgium
- Data Source
  KAKENHI-PROJECT-18300005
[Presentation] A Replication Oriented Approach to Event Based Middleware Over Structured Peer to Peer Networks2007
- Author(s)
  Mohammad Reza SELIM, Yuichi GOTO, Jingde CHENG
- Organizer
  Proceedings of the 5th International Workshop on Middleware for Pervasive and Ad-Hoc Computing : held at the ACM/IFIP/USENIX 8th International Middleware Conference
- Place of Presentation
  Newport Beach, USA, ACM Press
- Data Source
  KAKENHI-PROJECT-18300005
[Presentation] Measuring Reactability of Persistent Computing Systems2007
- Author(s)
  Takumi ENDO, Yuichi GOTO, Jingde CHENG
- Organizer
  Software Composition, 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers(M. Lumpe and W. Vanderperren (Eds.))
- Place of Presentation
  Springer-Verlag
- Data Source
  KAKENHI-PROJECT-18300005
[Presentation] FreeEnCal : A Forward Reasoning Engine with General-Purpose2007
- Author(s)
  Jingde CHENG, Shinsuke NARA, Yuichi GOTO
- Organizer
  Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, Vietri sul Mare, Italy, September 12-14, 2007, Proceedings, Part II(B. Apolloni, R. J. Howlett, and L. C. Jain (Eds.))
- Place of Presentation
  Springer-Verlag
- Data Source
  KAKENHI-PROJECT-18300005
[Presentation] A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems2007
- Author(s)
  Natsumi KITAJIMA, Shinsuke NARA, Yuichi GOTO, and Jingde CHENG
- Organizer
  Eighth International Conference on Computing Anticipatory Systems
- Place of Presentation
  Liege,Belgium
- Data Source
  KAKENHI-PROJECT-18300005
[Presentation] Distributed Hash Table based Implementation of Soft System Buses2007
- Author(s)
  Mohammad Reza SELIM, Takumi ENDO, Yuichi GOTO, and Jingde CHENG
- Organizer
  2nd International Conference on Scalable Information Systems
- Place of Presentation
  Suzhou,China
- Data Source
  KAKENHI-PROJECT-18300005
[Presentation] A Semilattice Model for the Theory Grid,Proceedings of the 3rd Intemational Conference on Semantics2007
- Author(s)
  Jingde CHENG
- Organizer
  3rd International Conference on Semantics, Knowledge and Grid
- Place of Presentation
  Xi'an,China
- Data Source
  KAKENHI-PROJECT-18300005
[Presentation] Operational Semantics for Positive Relevant Logics without Distribution2007
- Author(s)
  Ying GAO, Jingde CHENG
- Organizer
  Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings(S. B. Cooper, B. Loewe, and A. Sorbi (Eds.))
- Place of Presentation
  Springer-Verlag
- Data Source
  KAKENHI-PROJECT-18300005
[Presentation] A Rephcation Oriented Approach to Event Based Middleware Over Structured Peer to Peer Networks2007
- Author(s)
  Mohammad Reza SELIM, Yuichi GOTO, and Jingde CHENG
- Organizer
  5th Intemational Wbrkshop on Middleware fbr Pervasive and Ad-Hoc Computing
- Place of Presentation
  Newport Beach,USA
- Data Source
  KAKENHI-PROJECT-18300005
[Presentation] ENQUETE-BAISE:A General-Purpose E-Questionnaire Server fbr Ubiquitous Questiomaire2007
- Author(s)
  Jingde CHENG, Yuichi GOTO, Masato KOIDE, Keigo NAGAHAMA, Masami SOMEYA, Yusuke UTSUMI, and Ayaka SHIONOIRI
- Organizer
  2nd IEEE Asia-Pacific Services Computilg Conference
- Place of Presentation
  Tsukuba,Japan
- Data Source
  KAKENHI-PROJECT-18300005
[Presentation] Distributed Hash Table based Implementation of Soft System Buses2007
- Author(s)
  Mohammad Reza SELIM, Takumi ENDO, Yuichi GOTO, Jingde CHENG
- Organizer
  Proceedings of the 2nd International Conference on Scalable Information Systems, ACM International Conference Proceeding Series
- Place of Presentation
  Suzhou, China, ACM Press
- Data Source
  KAKENHI-PROJECT-18300005
[Presentation] Continuous Reactabiity of Persistent Computing Systems2007
- Author(s)
  Yuichi GOTO, Takumi ENDO, and Jingde CHENG
- Organizer
  Eighth International Conference on Computing Anticipatory Systems
- Place of Presentation
  Liege,Belgium
- Data Source
  KAKENHI-PROJECT-18300005
[Presentation] Persistent Computing Systems as an Infrastructure for Pervasive Services2006
- Author(s)
  Jingde CHENG, Yuichi GOTO, Masami SOMEYA, Takumi ENDO
- Organizer
  Proceedings of the 1st International Symposium on Pervasive Computing and Applications
- Place of Presentation
  Urumchi, China, IEEE
- Data Source
  KAKENHI-PROJECT-18300005
[Presentation] Persistent Computing Systems as Continuously Available, Reliable, and Secure Systems2006
- Author(s)
  Jingde CHENG
- Organizer
  Proceedings of the 1st International Conference on Availability, Reliability and Security
- Place of Presentation
  Vienna, Austria, IEEE Computer Society Press
- Data Source
  KAKENHI-PROJECT-18300005
[Presentation] A Prototype Implementation of an Anticipatory Reasoning-Reacting System (Invited Paper)2006
- Author(s)
  Feng SHANG, Shinsuke NARA, Takashi OMI, Yuichi GOTO, Jingde CHENG
- Organizer
  Computing Anticipatory Systems : CASYS 2005-Seventh International Conference, Liege, Belgium, 8-13 August 2005(D. M. Dubois (Ed.))
- Place of Presentation
  American Institute of Physics
- Data Source
  KAKENHI-PROJECT-18300005
[Presentation] Temporal Deontic Relevant Logic as the Logical Basis for Decision Making Based on Anticipatory Reasoning, Proceedings of the IEEE 2006 Annual International Conference on Systems2006
- Author(s)
  Jingde CHENG
- Organizer
  Man, and Cybernetics, pp. 1036-1041, Taipei
- Place of Presentation
  Taiwan(The IEEE Systems, Man, and Cybernetics Society)
- Data Source
  KAKENHI-PROJECT-18300005

1. USHIJIMA Kazuo (40037750)

# of Collaborated Projects: 10 results

# of Collaborated Products: 0 results
2. NOMURA Yoshinari (70274496)

# of Collaborated Projects: 6 results

# of Collaborated Products: 0 results
3. FURUKAWA Zengo (30190135)

# of Collaborated Projects: 5 results

# of Collaborated Products: 0 results
4. ARAKI Keijiro (40117057)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
5. OKAMURA Koji (70252830)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. FUKUDA Akira (80165282)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
7. GOTO Yuichi (70400801)

# of Collaborated Projects: 1 results

# of Collaborated Products: 47 results
8. YOSHIDA Norihiko (00182775)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. HIRABARU Masaki (10192717)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. TAKAGI Toshihisa (30110836)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. SAKAMOTO Norihiro (00253485)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. SATOU Kenji (10215783)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. TAGUCHI Kenji (30294903)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. GOTO Yukinori (40315130)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. 藤村直美 (40117239)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. 島崎眞昭 (60026242)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. 木村泉 (50015525)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. 最所圭三 (50170486)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. 木實新一 (70234804)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. 蒲池正幸 (90274498)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. 張漢明

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. CHANG Hang-myung

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

CHENG JINGDE 程 京徳

CHENG Jingde 程 京徳

Research Projects

Research Products

Co-Researchers

Implementation and Applications of Anticipatory Reasoning-Reacting SystemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

利用者に自律的に助言する論理学学習システムの開発Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Epistemic Programming System Based on Strong Relevant LogicPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

ソフトウェア従属性解析理論に基づく既存ソフトウェアの適応的発展方法論Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Institution

Elementary Studies on Formal Description and Verification of Security Protocols

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

ソフトウェア従属性理論に基づく既存ソフトウェアの適応的発展方法論に関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Institution

科学的発見を支援する認識的プログラミングパラダイムの創立Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Integrated Environment to Support Development of Concurrent Programs Based on Software Dependence Theory

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Integrated Environment to Support Software Development of Concurrent Programs.

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A General Theory of Program Dependencies in Imperative and Declarative Concurrent Programs and Its ApplicationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

発見的・自己革新的知識処理を基礎付ける論理体系の構築Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Institution

高機能高品質ソフトウェアの評価法の研究

Principal Investigator

Project Period (FY)

Research Category

Research Institution

発現的・自己革新的知識処理を基礎付ける論理体系に関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Institution

ストリーム並列実行モデルに基づく並行動作プログラムの形式的開発法

Principal Investigator

CHENG JINGDE 程京徳

CHENG Jingde 程京徳