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 条
  • [31] Answer Set Programming, the Solving Paradigm for Knowledge Representation and Reasoning
    Schaub, Torsten
    SCALABLE UNCERTAINTY MANAGEMENT, SUM 2010, 2010, 6379 : 2 - 2
  • [32] Evaluating search strategies and heuristics for efficient Answer set Programming
    Giunchiglia, E
    Maratea, M
    AI*IA2005: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2005, 3673 : 122 - 134
  • [33] Heuristics, Answer Set Programming and Markov Decision Process for Solving a Set of Spatial Puzzles*
    dos Santos, Thiago Freitas
    Santos, Paulo E.
    Ferreira, Leonardo Anjoletto
    Bianchi, Reinaldo A. C.
    Cabalar, Pedro
    APPLIED INTELLIGENCE, 2022, 52 (04) : 4488 - 4510
  • [34] The nomore plus plus approach to answer set solving
    Anger, C
    Gebser, M
    Linke, T
    Neumann, A
    Schaub, T
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2005, 3835 : 95 - 109
  • [35] Heuristics, Answer Set Programming and Markov Decision Process for Solving a Set of Spatial Puzzles*
    Thiago Freitas dos Santos
    Paulo E. Santos
    Leonardo Anjoletto Ferreira
    Reinaldo A. C. Bianchi
    Pedro Cabalar
    Applied Intelligence, 2022, 52 : 4488 - 4510
  • [36] Answer Set Programming
    Marek, Victor W.
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2020, 20 (03) : 432 - 434
  • [37] Foundations and Extensions of Answer Set Programming: The Logical Approach
    Pearce, David
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 2011, 6645 : 10 - 11
  • [38] Answer Set Programming
    Janhunen, Tomi
    KUNSTLICHE INTELLIGENZ, 2018, 32 (2-3): : 125 - 131
  • [39] Answer Set Programming
    Schaub, Torsten
    Proceedings of the 12th Conference on Formal Methods in Computer-Aided Design (FMCAD 2012), 2012, : 2 - 2
  • [40] A Formal Approach for Cautious Reasoning in Answer Set Programming
    Amendola, Giovanni
    Dodaro, Carmine
    Maratea, Marco
    PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, : 4716 - 4720
12345