Answer set programming:: A declarative approach to solving search problems

被引：4
|
作者：
Niemela, Ilkka [1 ]
机构：
[1] Lab Theoret Comp Sci, FI-02015 Helsinki, Finland
来源：
LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS | 2006年 / 4160卷
关键词：
D O I：
10.1007/11853886_2
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：15 / 18
页数：4
相关论文
共 50 条
  • [41] Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning
    Schaub, Torsten
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2013, 2013, 8124 : 3 - 4
  • [42] APPROACH TO SOLVING DISCRETE PROGRAMMING PROBLEMS
    OVSIEVICH, BL
    POKIDOVA, BI
    ENGINEERING CYBERNETICS, 1971, 9 (06): : 1001 - +
  • [43] An approach for solving nonlinear programming problems
    Basirzadeh H.
    Kamyad A.V.
    Effati S.
    Journal of Applied Mathematics and Computing, 2002, 9 (2) : 547 - 560
  • [44] On an approach to solving nonlinear programming problems
    Bereshinskiy, T.A.
    Ostrovskiy, G.M.
    Ostrovskiy, M.G.
    Avtomatika i Telemekhanika, 1989, (01): : 78 - 86
  • [45] Large-Neighbourhood Search for Optimisation in Answer-Set Solving
    Eiter, Thomas
    Geibinger, Tobias
    Ruiz, Nelson Higuera
    Musliu, Nysret
    Oetsch, Johannes
    Stepanova, Daria
    THIRTY-SIXTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FOURTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE / THE TWELVETH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2022, : 5616 - 5625
  • [46] First-order Answer Set Programming as Constructive Proof Search
    Schubert, Aleksy
    Urzyczyn, Pawel
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2018, 18 (3-4) : 673 - 690
  • [47] A tabu search based approach for solving a class of bilevel programming problems in chemical engineering
    J, R
    Gupta, K
    Kusumakar, HS
    Jayaraman, VK
    Kulkarni, BD
    JOURNAL OF HEURISTICS, 2003, 9 (04) : 307 - 319
  • [48] A Tabu Search Based Approach for Solving a Class of Bilevel Programming Problems in Chemical Engineering
    J. Rajesh
    Kapil Gupta
    Hari Shankar Kusumakar
    V. K. Jayaraman
    B. D. Kulkarni
    Journal of Heuristics, 2003, 9 : 307 - 319
  • [49] An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems
    Dovier, Agostino
    Formisano, Andrea
    Pontelli, Enrico
    JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 2009, 21 (02) : 79 - 121
  • [50] A multi-engine approach to answer-set programming
    Maratea, Marco
    Pulina, Luca
    Ricca, Francesco
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2014, 14 : 841 - 868
12345