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

被引：0
|
作者：
Nakamatsu, Kazumi [1 ]
机构：
[1] Univ Hyogo, Sch Human Sci & Environm, Himeji, Hyogo 6700092, Japan
来源：
SOFA 2009: 3RD INTERNATIONAL WORKSHOP ON SOFT COMPUTING APPLICATIONS, PROCEEDINGS | 2009年
关键词：
D O I：
10.1109/SOFA.2009.5254885
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：21 / 21
页数：1
相关论文
共 49 条
  • [1] Application of Paraconsistent Annotated Logic Program EVALPSN to Intelligent Control/Safety Verification
    Nakamatsu, Kazumi
    [J]. 2017 6TH INTERNATIONAL CONFERENCE ON RELIABILITY, INFOCOM TECHNOLOGIES AND OPTIMIZATION (TRENDS AND FUTURE DIRECTIONS) (ICRITO), 2017, : 113 - 113
  • [2] Extension of Paraconsistent Annotated Logic Program and its Application to Intelligent Control/Safety Verification
    Nakamatsu, Kazumi
    [J]. 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.
    [J]. 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
    [J]. 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
    [J]. 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
    [J]. 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
    [J]. 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
    [J]. 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
    [J]. 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
    [J]. INTERNATIONAL JOURNAL OF KNOWLEDGE-BASED AND INTELLIGENT ENGINEERING SYSTEMS, 2011, 15 (03) : 145 - 163
12345