Computing preferred semantics: Comparing two ASP approaches vs an approach based on 0-1 integer programming

被引：1
|
作者：
机构：
[1] Osorio, Mauricio
[2] Díaz, Juan
[3] Santoyo, Alejandro
来源：
Osorio, Mauricio (osoriomauri@gmail.com) | 1600年 / Springer Verlag卷 / 8856期
关键词：
21;
D O I：
10.1007/978-3-319-13647-9_38
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 47 条
  • [1] Computing Preferred Semantics: Comparing Two ASP Approaches vs an Approach Based on 0-1 Integer Programming
    Osorio, Mauricio
    Diaz, Juan
    Santoyo, Alejandro
    HUMAN-INSPIRED COMPUTING AND ITS APPLICATIONS, PT I, 2014, 8856 : 419 - 430
  • [2] Computing Stable Semantics of AF by 0-1 Integer Programming
    Osorio, Mauricio
    Diaz, Juan
    Santoyo, Alejandro
    25TH INTERNATIONAL CONFERENCE ON ELECTRONICS, COMMUNICATIONS AND COMPUTERS (CONIELECOMP 2015), 2015, : 204 - 211
  • [3] A procedure for computing 0-1 integer programming with DNA strands
    Atsuyama, K
    Fujiwara, A
    FCS '05: PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON FOUNDATIONS OF COMPUTER SCIENCE, 2005, : 125 - 131
  • [4] A 0-1 integer linear programming based approach for global locality optimizations
    Xia, Jun
    Luo, Li
    Yang, Xuejun
    ADVANCES IN COMPUTER SYSTEMS ARCHITECTURE, PROCEEDINGS, 2006, 4186 : 281 - 294
  • [5] A 0-1 INTEGER PROGRAMMING APPROACH TO A UNIVERSITY TIMETABLING PROBLEM
    Bakir, M. Akif
    Aksop, Cihan
    HACETTEPE JOURNAL OF MATHEMATICS AND STATISTICS, 2008, 37 (01): : 41 - 55
  • [6] GROUP THEORETIC APPROACH TO INTEGER PROGRAMMING AND 0-1 CASE
    BALAS, E
    OPERATIONS RESEARCH, 1973, 21 (01) : 321 - 322
  • [7] Heuristic approaches for biobjective mixed 0-1 integer linear programming problems
    Soylu, Banu
    EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2015, 245 (03) : 690 - 703
  • [8] An Integer 0-1 Linear Programming Approach for Computing Inconsistency Degree in Product-Based Possibilistic DL-Lite
    Benferhat, Salem
    Boutouhami, Khaoula
    Khellaf, Faiza
    Nouioua, Farid
    SCALABLE UNCERTAINTY MANAGEMENT (SUM 2017), 2017, 10564 : 319 - 333
  • [9] The Magnetic Bead Computing Model of the 0-1 Integer Programming Problem Based on DNA Cycle Hybridization
    Xu, Rujie
    Yin, Zhixiang
    Tang, Zhen
    Yang, Jing
    Cui, Jianzhong
    Wang, Xiyuan
    MATHEMATICAL PROBLEMS IN ENGINEERING, 2021, 2021
  • [10] The semi-roboticized DNA computing model of the 0-1 integer programming problem
    Yin Zhixiang
    Cui Jianzhong
    Shi Xiaolong
    Shi Xiaohong
    Pan Linqiang
    Xu Jin
    WCICA 2006: SIXTH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-12, CONFERENCE PROCEEDINGS, 2006, : 3805 - 3809
12345