Application of Paraconsistent Annotated Logic Program EVALPSN to Intelligent Control/Safety Verification

被引：0
|
作者：
Nakamatsu, Kazumi [1 ]
机构：
[1] Univ Hyogo, Sch Human Sci & Environm, Kobe, Hyogo, Japan
来源：
2017 6TH INTERNATIONAL CONFERENCE ON RELIABILITY, INFOCOM TECHNOLOGIES AND OPTIMIZATION (TRENDS AND FUTURE DIRECTIONS) (ICRITO) | 2017年
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：113 / 113
页数：1
相关论文
共 50 条
  • [1] Application of Paraconsistent Annotated Logic Program EVALPSN to Intelligent Control/Safety Verification
    Nakamatsu, Kazumi
    SOFA 2009: 3RD INTERNATIONAL WORKSHOP ON SOFT COMPUTING APPLICATIONS, PROCEEDINGS, 2009, : 21 - 21
  • [2] Extension of Paraconsistent Annotated Logic Program and its Application to Intelligent Control/Safety Verification
    Nakamatsu, Kazumi
    ADVANCED BIO-INSPIRED COMPUTATIONAL METHODS, 2008, : 114 - 114
  • [3] \ Real-time Intelligent Process Order Control Based on a Paraconsistent Annotated Logic Program EVALPSN
    Nakamatsu, Kazumi
    Akama, Seiki
    Abe, Jair M.
    2008 5TH INTERNATIONAL MULTI-CONFERENCE ON SYSTEMS, SIGNALS AND DEVICES, VOLS 1 AND 2, 2008, : 166 - +
  • [4] A Safety Verification for e-Business Model Based on Paraconsistent Annotated Logic Program bf-EVALPSN
    Alasuutari, Aapo
    Nakamatsu, Kazumi
    Abe, Jair Minoro
    SMART DIGITAL FUTURES 2014, 2014, 262 : 248 - 257
  • [5] An intelligent safety verification based on a paraconsistent logic program
    Nakamatsu, K
    Akama, S
    Abe, JM
    KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS, 2005, 3682 : 708 - 715
  • [6] Application of paraconsistent annotated logic in intelligent systems
    Encheva, Sylvia
    Tumin, Sharil
    Kondratenko, Yuriy
    ADVANCED INTELLIGENT COMPUTING THEORIES AND APPLICATIONS: WITH ASPECTS OF THEORETICAL AND METHODOLOGICAL ISSUES, 2007, 4681 : 702 - +
  • [7] Intelligent real-time traffic signal control based on a paraconsistent logic program EVALPSN
    Nakamatsu, K
    Seno, T
    Abe, JM
    Suzuki, A
    ROUGH SETS, FUZZY SETS, DATA MINING, AND GRANULAR COMPUTING, 2003, 2639 : 719 - 723
  • [8] A Paraconsistent Logic Program bf-EVALPSN and its Application to Process Order Control
    Nakamatsu, Kazumi
    Akama, Seiki
    Abe, Jair Minoro
    2008 4TH INTERNATIONAL CONFERENCE ON INFORMATION AND AUTOMATION FOR SUSTAINABILITY (ICIAFS), 2008, : 24 - +
  • [9] Basic ideas of defeasible deontic traffic signal control based on a paraconsistent logic program EVALPSN
    Nakamatsu, K
    Kato, T
    Suzuki, A
    ADVANCES IN INTELLIGENT SYSTEMS AND ROBOTICS, 2003, 101 : 26 - 34
  • [10] A logical reasoning system of process before-after relation based on a paraconsistent annotated logic program bf-EVALPSN
    Nakamatsu, Kazumi
    Abe, Jair Minoro
    Akama, Seiki
    INTERNATIONAL JOURNAL OF KNOWLEDGE-BASED AND INTELLIGENT ENGINEERING SYSTEMS, 2011, 15 (03) : 145 - 163
12345