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

被引:0
|
作者
Saribatur, Zeynep G.
Eiter, Thomas
机构
关键词
D O I
10.1017/S1471068420000125
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
引用
收藏
页码:292 / 292
页数:1
相关论文
共 50 条
  • [21] Technologic Evolution of Navigation and Robotics in Spine Surgery: A Historical Perspective (vol 145, pg 159, 2021)
    Mao, Jennifer Z.
    AgyeiI, Justice O.
    Khan, Asham
    Hess, Ryan M.
    Jowdy, Patrick K.
    Mullin, Jeffrey P.
    Pollina, John
    WORLD NEUROSURGERY, 2022, 164 : 349 - 349
  • [23] Technologic Evolution of Navigation and Robotics in Spine Surgery: A Historical Perspective (vol 145, pg 159, 2021)
    Mao, Jennifer Z.
    Agyei, Justice O.
    Khan, Asham
    Hess, Ryan M.
    Jowdy, Patrick K.
    Mullin, Jeffrey P.
    Pollina, John
    WORLD NEUROSURGERY, 2022, 164 : 349 - 349
  • [24] Root anatomy and soil resource capture (vol 466, pg 21, 2021)
    Lynch, Jonathan P.
    Strock, Christopher F.
    Schneider, Hannah M.
    Sidhu, Jagdeep Singh
    Ajmera, Ishan
    Galindo-Castaneda, Tania
    Klein, Stephanie P.
    Hanlon, Meredith T.
    PLANT AND SOIL, 2022, 475 (1-2) : 669 - 669
  • [25] Silent Witnesses: Doris Salcedo and Blanchot (vol 21, pg 192, 2021)
    Juliff, Toby
    Tierney, Tricia
    AUSTRALIAN AND NEW ZEALAND JOURNAL OF ART, 2022, 22 (01) : 146 - 146
  • [26] Confronting the diversity problem at Mitsubishi Chemical (vol 99, pg 21, 2021)
    McGuane, Robert J., Jr.
    CHEMICAL & ENGINEERING NEWS, 2021, 99 (34) : 5 - 5
  • [27] Daily fantasy sports and the law in the USA (vol 21, pg 121, 2021)
    Weston, Maureen A.
    INTERNATIONAL SPORTS LAW JOURNAL, 2022, 22 (02): : 194 - 194
  • [28] Regional anaesthesia in patients at risk of bleeding (vol 21, pg 84, 2021)
    Ashken, T.
    West, S.
    BJA EDUCATION, 2021, 21 (07) : 278 - 278
  • [29] Japan Rearmed: The Politics of Military Power (vol 21, pg 157, 2021)
    Oros, Andrew L.
    INTERNATIONAL RELATIONS OF THE ASIA-PACIFIC, 2021, 21 (01) : 165 - 165
  • [30] Adaptation of the Charlson Comorbidity Index for Register-Based Research in Sweden (vol 13, pg 21, 2021)
    Ludvigsson, J. F.
    Appelros, P.
    Askling, J.
    CLINICAL EPIDEMIOLOGY, 2023, 15 : 753 - 753