Modular answer set programming

被引：2
|
作者：
Oikarinen, Emilia [1 ]
机构：
[1] Aalto Univ, FI-02015 Helsinki, Finland
来源：
LOGIC PROGRAMMING, PROCEEDINGS | 2007年 / 4670卷
关键词：
D O I：
10.1007/978-3-540-74610-2_46
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：462 / 463
页数：2
相关论文
共 50 条
  • [1] Forgetting in Modular Answer Set Programming
    Goncalves, Ricardo
    Janhunen, Tomi
    Knorr, Matthias
    Leite, Joao
    Woltran, Stefan
    [J]. THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2019, : 2843 - 2850
  • [2] Modular Answer Set Programming as a Formal Specification Language
    Cabalar, Pedro
    Fandinno, Jorge
    Lierler, Yuliya
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2020, 20 (05) : 767 - 782
  • [3] Macros, macro calls and use of ensembles in modular answer set programming
    Baral, Chitta
    Dzifcak, Juraj
    Takahashi, Hiro
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 376 - 390
  • [4] Answer Set Programming for Modeling and Reasoning on Modular and Reconfigurable Transportation Systems
    Terkaj, Walter
    Urgo, Marcello
    Andolfatto, Daniela
    [J]. PROCEEDINGS OF THE 2017 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), 2017, : 587 - 596
  • [5] Answer Set Programming
    Marek, Victor W.
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2020, 20 (03) : 432 - 434
  • [6] Answer Set Programming
    Janhunen, Tomi
    [J]. KUNSTLICHE INTELLIGENZ, 2018, 32 (2-3): : 125 - 131
  • [7] Answer Set Programming
    Schaub, Torsten
    [J]. Proceedings of the 12th Conference on Formal Methods in Computer-Aided Design (FMCAD 2012), 2012, : 2 - 2
  • [8] Answer Sets and the Language of Answer Set Programming
    Lifschitz, Vladimir
    [J]. AI MAGAZINE, 2016, 37 (03) : 7 - 11
  • [9] Fuzzy answer set programming
    Van Nieuwenborgh, Davy
    De Cock, Martine
    Vermeir, Dirk
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4160 : 359 - 372
  • [10] Hybrid Answer Set Programming
    Brik, Alex
    Remmel, Jeffrey
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 2014, 165 (01) : 134 - 163
12345