Omission-based Abstraction for Answer Set Programs (vol 21, pg 145, 2021)

被引：0
|
作者：
Saribatur, Zeynep G.
Eiter, Thomas
机构：
来源：
THEORY AND PRACTICE OF LOGIC PROGRAMMING | 2021年 / 21卷 / 02期
关键词：
D O I：
10.1017/S1471068420000125
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：292 / 292
页数：1
相关论文
共 50 条
  • [1] Omission-Based Abstraction for Answer Set Programs
    Saribatur, Zeynep G.
    Eiter, Thomas
    SIXTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2018, : 42 - 51
  • [2] Abstraction for Non-ground Answer Set Programs
    Saribatur, Zeynep G.
    Schueller, Peter
    Eiter, Thomas
    LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2019, 2019, 11468 : 576 - 592
  • [3] Abstraction for non-ground answer set programs
    Saribatur, Zeynep G.
    Eiter, Thomas
    Schuller, Peter
    ARTIFICIAL INTELLIGENCE, 2021, 300
  • [4] Announcements (vol 21, pg 481, 2021)
    Rossier, Jerome
    INTERNATIONAL JOURNAL FOR EDUCATIONAL AND VOCATIONAL GUIDANCE, 2021,
  • [5] A Semantical Approach to Abstraction in Answer Set Programming and Assumption-Based Argumentation
    Apostolakis, Iosif
    Saribatur, Zeynep G.
    Wallner, Johannes P.
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2024, 2025, 15245 : 228 - 234
  • [6] Towards Causality-Based Conflict Resolution in Answer Set Programs
    Thevapalan, Andre
    Haupt, Konstantin
    Kern-Isberner, Gabriele
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2022, 2022, 13416 : 350 - 362
  • [7] Foundations of a DPLL-Based Solver for Fuzzy Answer Set Programs
    Uhliarik, Ivor
    COMPUTATIONAL INTELLIGENCE, IJCCI 2017, 2019, 829 : 99 - 117
  • [8] NOBCChE 2021: Another virtual year (vol 99, pg 21, 2021)
    不详
    CHEMICAL & ENGINEERING NEWS, 2021, 99 (40) : 3 - 3
  • [9] Semisynthesis and cytotoxic activities of andrographolide analogues (vol 21, pg 145 2006)
    Jada, Srinivasa Rao
    Hamzah, Ahmad Sazali
    Lajis, Nordin Haji
    Saad, Mohammad Said
    Stevens, Malcolm F. G.
    Stanslas, Johnson
    JOURNAL OF ENZYME INHIBITION AND MEDICINAL CHEMISTRY, 2006, 21 (03) : 327 - 327
  • [10] A Complex Networked Method of Sorting Negotiation Demand Based on Answer Set Programs
    Wang, Hui
    Li, Liang
    Gao, Long-yun
    Chen, Wu
    INTELLIGENT AUTOMATION AND SOFT COMPUTING, 2018, 24 (01): : 35 - 40
12345