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 条
  • [41] Enhanced Recovery Programs in an Ambulatory Surgical Oncology Center (vol 133, pg 1391, 2021)
    Afonso, A.
    McCormick, P.
    Assel, M.
    ANESTHESIA AND ANALGESIA, 2022, 134 (05): : E32 - E32
  • [42] SMT-Based Constraint Answer Set Solver EZSMT+ for Non-Tight Programs
    Shen, Da
    Lierler, Yuliya
    SIXTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2018, : 67 - 71
  • [43] VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering Technology
    Oetsch, Johannes
    Puehrer, Joerg
    Seidl, Martina
    Tompits, Hans
    Zwickl, Patrick
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 2011, 6645 : 382 - 387
  • [44] Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison
    Janhunen, Tomi
    Niemela, Ilkka
    Oetsch, Johannes
    Puehrer, Joerg
    Tompits, Hans
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 2011, 6645 : 242 - 247
  • [45] Geology, geochemistry, mineralogy of Phayaung Taung, Patheingyi Township, Mandalay Division, Myanmar (vol 25, pg 145, 2021)
    Khant, Naing Aung
    Piestrzynski, Adam
    Lim, Chungwan
    GEOSCIENCES JOURNAL, 2022, 26 (02) : 303 - 303
  • [46] Retrospective Study on Human Leukocyte Antigen Types and Haplotypes in a South African Population (vol 145, pg 441, 2021)
    Gandini, A.
    Mampeule, N.
    Jugwanth, S.
    Gededzha, M. P.
    Mayne, E. A.
    ARCHIVES OF PATHOLOGY & LABORATORY MEDICINE, 2021, 145 (08) : 918 - 918
  • [47] Trypanosoma spp. Neobats: Insights about those poorly known trypanosomatids (vol 16, pg 145, 2021)
    Alves, Fernanda Moreira
    Rangel, Diana Azeredo
    Vilar, Emmanuel Messias
    Pavan, Marcio Galva
    Moratelli, Ricardo
    Roque, Andre Luiz Rodrigues
    Jansen, Ana Maria
    INTERNATIONAL JOURNAL FOR PARASITOLOGY-PARASITES AND WILDLIFE, 2024, 23
  • [48] Mobility as a service and private car use: Evidence from the sydney MaaS trial (vol 145, pg 17, 2021)
    Hensher, David A.
    Ho, Chinh Q.
    Reck, Daniel J.
    TRANSPORTATION RESEARCH PART A-POLICY AND PRACTICE, 2021, 149 : 226 - 226
  • [49] Theory and Implementation of Coupled Port-Hamiltonian Continuum and Lumped Parameter Models (vol 145, pg 339, 2021)
    Argus, Finbar J.
    Bradley, Chris P.
    Hunter, Peter J.
    JOURNAL OF ELASTICITY, 2021, 146 (02) : 261 - 261
  • [50] A review of weight loss programs delivered via the internet (vol 21, pg 251, 2006)
    Weinstein, Patricia Kirbis
    JOURNAL OF CARDIOVASCULAR NURSING, 2007, 22 (02) : 137 - 137
12345