ANALYZING COMPUTER-NETWORKS WITH NONDETERMINISTIC PARAMETERS USING NONDETERMINISTIC LOGIC

被引：0
|
作者：
LEVIN, VI
机构：
来源：
AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA | 1991年 / 05期
关键词：
6;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：19 / 26
页数：8
相关论文
共 50 条
  • [1] A NONDETERMINISTIC PROGRAM LOGIC
    MUSIKAEV, IK
    [J]. SIBERIAN MATHEMATICAL JOURNAL, 1986, 27 (06) : 914 - 919
  • [2] Analyzing the Impact of Battery Electric Vehicles on Distribution Networks Using Nondeterministic Model
    Zdraveski, V.
    Krstevski, P.
    Vuletic, J.
    Angelov, J.
    Mateska, A. Krkoleva
    Todorovski, M.
    [J]. PROCEEDINGS OF 18TH INTERNATIONAL CONFERENCE ON SMART TECHNOLOGIES (IEEE EUROCON 2019), 2019,
  • [3] A LOGIC FOR NONDETERMINISTIC FUNCTIONAL PROGRAMS
    GILLUEZAS, A
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 380 : 197 - 208
  • [4] Nondeterministic, nonmonotonic logic databases
    Giannotti, F
    Manco, G
    Nanni, M
    Pedreschi, D
    [J]. IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2001, 13 (05) : 813 - 823
  • [5] A theory of nondeterministic networks
    Mishchenko, Alan
    Brayton, Robert K.
    [J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2006, 25 (06) : 977 - 999
  • [6] ONE METHOD OF ANALYZING COMPUTER-NETWORKS
    GORELOV, OI
    PLOTNIKOV, EV
    [J]. AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1986, (01): : 30 - 35
  • [7] Programming with communicating nondeterministic logic objects
    Tse, ML
    Wong, WH
    Leung, HF
    [J]. SECOND INTERNATIONAL SYMPOSIUM ON PARALLEL ARCHITECTURES, ALGORITHMS, AND NETWORKS (I-SPAN '96), PROCEEDINGS, 1996, : 556 - 558
  • [8] A LOGIC FOR THE DESCRIPTION OF NONDETERMINISTIC PROGRAMS AND THEIR PROPERTIES
    GRAF, S
    SIFAKIS, J
    [J]. INFORMATION AND CONTROL, 1986, 68 (1-3): : 254 - 270
  • [9] Nondeterministic Strategies and their Refinement in Strategy Logic
    De Giacomo, Giuseppe
    Maubert, Bastien
    Murano, Aniello
    [J]. KR2020: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2020, : 294 - 303
  • [10] Singular and plural nondeterministic parameters
    Walicki, M
    Meldal, S
    [J]. SIAM JOURNAL ON COMPUTING, 1997, 26 (04) : 991 - 1005
12345