A SURVEY OF CONTROL FACILITIES IN LOGIC PROGRAMMING

被引：0
|
作者：
VASAK, T [1 ]
机构：
[1] UNIV NEW S WALES,DEPT COMP SCI,KENSINGTON,NSW 2033,AUSTRALIA
来源：
AUSTRALIAN COMPUTER JOURNAL | 1986年 / 18卷 / 03期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：136 / 145
页数：10
相关论文
共 50 条
  • [41] LOGIC APPLIED TO INTEGER PROGRAMMING AND INTEGER PROGRAMMING APPLIED TO LOGIC
    WILLIAMS, HP
    EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 1995, 81 (03) : 605 - 616
  • [42] Abductive logic programming and disjunctive logic programming: their relationship and transferability
    Sakama, C
    Inoue, K
    JOURNAL OF LOGIC PROGRAMMING, 2000, 44 (1-3): : 75 - 100
  • [43] Co-logic programming: Extending logic programming with coinduction
    Simon, Luke
    Bansal, Ajay
    Mallya, Ajay
    Gupta, Gopal
    AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2007, 4596 : 472 - +
  • [44] Formal Specification and Verification of Components for Industrial Logic Control Programming
    Ljungkrantz, Oscar
    Akesson, Knut
    Fabian, Martin
    2008 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING, VOLS 1 AND 2, 2008, : 935 - 940
  • [45] Control allocation of ASV based on linear programming and fuzzy logic
    Chi Pei
    Chen Zongji
    Zhou Rui
    SENSORS, AUTOMATIC MEASUREMENT, CONTROL, AND COMPUTER SIMULATION, PTS 1 AND 2, 2006, 6358
  • [46] Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems
    Haesaert, Sofie
    Soudjani, Sadegh
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2021, 66 (06) : 2496 - 2511
  • [47] A study of industrial logic control programming using library components
    Ljungkrantz, Oscar
    Akesson, Knut
    2007 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING, VOLS 1-3, 2007, : 697 - 702
  • [48] A logic programming based approach for on-line traffic control
    Felici, Giovanni
    Rinaldi, Giovanni
    Sforza, Antonio
    Truemper, Klaus
    TRANSPORTATION RESEARCH PART C-EMERGING TECHNOLOGIES, 2006, 14 (03) : 175 - 189
  • [49] A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics
    Riguzzi, Fabrizio
    Bellodi, Elena
    Zese, Riccardo
    Cota, Giuseppe
    Lamma, Evelina
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2017, 80 : 313 - 333
  • [50] Embedding defeasible logic into logic programming
    Antoniou, Grigoris
    Billington, David
    Governatori, Guido
    Maher, Michael J.
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2006, 6 : 703 - 735
12345