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 条
  • [21] teaspoon: solving the curriculum-based course timetabling problems with answer set programming
    Banbara, Mutsunori
    Inoue, Katsumi
    Kaufmann, Benjamin
    Okimoto, Tenda
    Schaub, Torsten
    Soh, Takehide
    Tamura, Naoyuki
    Wanko, Philipp
    ANNALS OF OPERATIONS RESEARCH, 2019, 275 (01) : 3 - 37
  • [22] Solving the Travelling Umpire Problem with Answer Set Programming
    Vennekens, Joost
    BNAIC 2016: ARTIFICIAL INTELLIGENCE, 2017, 765 : 106 - 118
  • [23] Declarative Programming of Search Problems with Built-in Arithmetic
    Ternovska, Eugenia
    Mitchell, David G.
    21ST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-09), PROCEEDINGS, 2009, : 942 - 947
  • [24] Answer Set Programming: Related with Other Solving Paradigms
    Janhunen T.
    KI - Künstliche Intelligenz, 2018, 32 (2-3) : 125 - 131
  • [25] Using Answer Set Programming for Solving Boolean Games
    De Clercq, Sofie
    De Cock, Martine
    Banters, Kim
    Schockaert, Steven
    Nowe, Ann
    FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2014, : 602 - 605
  • [26] Using Answer Set Programming for HPC Dependency Solving
    Gamblin, Todd
    Culpo, Massimiliano
    Becker, Gregory
    Shudler, Sergei
    SC22: INTERNATIONAL CONFERENCE FOR HIGH PERFORMANCE COMPUTING, NETWORKING, STORAGE AND ANALYSIS, 2022,
  • [27] Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)
    Dodaro, Carmine
    Gasteiger, Philip
    Leone, Nicola
    Musitsch, Benjamin
    Ricca, Francesco
    Shchekotykhin, Kostyantyn
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2016, 16 : 653 - 669
  • [28] A translational approach to constraint answer set solving
    Drescher, Christian
    Walsh, Toby
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2010, 10 : 465 - 480
  • [29] A Hybrid Approach to Optimization in Answer Set Programming
    Saikko, Paul
    Dodaro, Carmine
    Alviano, Mario
    Jarvisalo, Matti
    SIXTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2018, : 32 - 41
  • [30] Solving alternating Boolean equation systems in answer set programming
    Keinänen, M
    Niemelä, I
    APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, 2005, 3392 : 134 - 148
12345