COMPLEXITY CONTROL IN LOGIC-BASED PROGRAMMING

被引：7
|
作者：
MARKUSZ, Z [1 ]
KAPOSI, AA [1 ]
机构：
[1] POLYTECH S BANK,DEPT ELECT & ELECTR ENGN,LONDON SE1 0AA,ENGLAND
来源：
COMPUTER JOURNAL | 1985年 / 28卷 / 05期
关键词：
D O I：
10.1093/comjnl/28.5.487
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：487 / 495
页数：9
相关论文
共 50 条
  • [1] THE COMPLEXITY OF LOGIC-BASED ABDUCTION
    EITER, T
    GOTTLOB, G
    [J]. JOURNAL OF THE ACM, 1995, 42 (01) : 3 - 42
  • [2] Logic and logic-based control
    Hongsheng QI
    [J]. Control Theory and Technology, 2008, (01) : 26 - 36
  • [3] Logic and logic-based control
    Qi H.
    Cheng D.
    [J]. Journal of Control Theory and Applications, 2008, 6 (01): : 26 - 36
  • [4] Hoare logic-based genetic programming
    Pei He
    LiShan Kang
    Colin G. Johnson
    Shi Ying
    [J]. Science China Information Sciences, 2011, 54 : 623 - 637
  • [5] Hoare logic-based genetic programming
    JOHNSON Colin G.
    [J]. Science China(Information Sciences), 2011, 54 (03) : 623 - 637
  • [6] Complexity Classifications for Logic-Based Argumentation
    Creignou, Nadia
    Egly, Uwe
    Schmidt, Johannes
    [J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2014, 15 (03)
  • [7] Integer Programming and Logic-Based Modeling
    Fabry, Jan
    Pelikan, Jan
    [J]. PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE MATHEMATICAL METHODS IN ECONOMICS 2003, 2003, : 54 - 60
  • [8] Hoare logic-based genetic programming
    He Pei
    Kang LiShan
    Johnson, Colin G.
    Ying Shi
    [J]. SCIENCE CHINA-INFORMATION SCIENCES, 2011, 54 (03) : 623 - 637
  • [9] On logic-based intelligent control
    Qi, Hongsheng
    Cheng, Daizhan
    [J]. Proceedings of the 24th Chinese Control Conference, Vols 1 and 2, 2005, : 1082 - 1088
  • [10] Complexity of logic-based argumentation in Schaefer's framework
    Creignou, Nadia
    Egly, Uwe
    Schmidt, Johannes
    [J]. COMPUTATIONAL MODELS OF ARGUMENT, 2012, 245 : 237 - +
12345