Answer Set Programming at a Glance

Gerhard Brewka

doi:10.1145/2043174.2043195

2011-12-01

582

PRE

Gerhard Brewka *

Thomas Eiter

Mirosław Truszczyński

DOI：10.1145/2043174.2043195

原文链接

原文求助

摘要

Keyword:

STABLE MODELS

LOGIC

SEMANTICS

LANGUAGE

AI总结

对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

Communications of the ACM

IF:

12.2

论文数:

1.2W

被引数:

3.7W

机构

Leipzig University

学者数:

2.0W

论文数: 1.6W

被引数: 17

Technische Universitat Wien

学者数:

1.3W

论文数: 1.1W

被引数: 21

University of Kentucky

学者数:

2.5W

论文数: 2.1W

被引数: 41

查看更多机构

引用论文

Safety and compatibility of smart device heart rhythm monitoring in patients with cardiovascular implantable electronic devices

Journal of Cardiovascular Electrophysiology

IF0

2019-06-25

PREAI

Anas A. Abudan; Ameesh Isath; James D. Ryan; Mark J. Henrich; Jennifer L. Dugan; Zachi I. Attia; Dorothy J. Ladewig; John J. Dillon; Paul A. Friedman

Delayed right ventricular defibrillation lead perforation presenting as cardiac tamponade and treated surgically

Clinical Case Reports

IF0

2017-03-02

OAAI

Masahiko Noguchi; Toshiko Nakai; Yuji Kawano; Kentaro Shibayama; Kotaro Obunai; Minoru Tabata; Hiroyuki Watanabe

Complications and prognosis of patients undergoing apical or septal right ventricular pacing

Open Heart

IF0

2019-02-09

OAAI

Nick B Spath; Kelvin Wang; Sowmya Venkatasumbramanian; Omar Fersia; David E Newby; Chris CE Lang; Neil R Grubb; Marc R Dweck

Frequency of Superior Vena Cava Obstruction in Pediatric Heart Transplant Recipients and Its Relation to Previous Superior Cavopulmonary Anastomosis

The American Journal of Cardiology

IF0

2013-07-01

OAAI

Osamah Aldoss; Nofil I. Arain; Jeffrey M. Vinocur; Jeremiah Menk; Rebecca K. Ameduri; Roosevelt Bryant; Lazaros K. Kochilas; Daniel H. Gruenstein

Short lookback periods causing exaggerated stroke risk estimates in atrial fibrillation may expose patients to unnecessary anticoagulant treatment

Pharmacoepidemiology and Drug Safety

IF0

2019-05-21

PREAI

Leif Friberg

Percutaneous Simple Lead Traction Is a Feasible and Effective Method for Right Ventricular Lead Perforations

International Heart Journal

IF0

2020-01-31

OAAI

Hitoshi Mori; Ritsushi Kato; Yoshifumi Ikeda; Kenta Tsutsui; Saki Hasegawa; Sayaka Tanaka; Shiro Iwanaga; Shintaro Nakano; Toshihiro Muramatsu; Naokata Sumitomo; Kazuo Matsumoto

Electrocardiographic abnormalities in the first year after heart transplantation

Journal of Electrocardiology

IF0

2014-03-01

OAAI

David Pickham; Kathleen Hickey; Lynn Doering; Belinda Chen; Carmen Castillo; Barbara J. Drew

Exception Handling for Repair in Service-Based Processes

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2010-03-01

PREAI

Friedrich, Gerhard; Fugini, Mariagrazia; Mussi, Enrico; Pernici, Barbara; Tagni, Gaston

IF0

PREAI

Imaging X-ray spectrophotometric observation of SN 1006

The Astrophysical Journal

IF0

1985-01-01

OAAI

M. H. Vartanian; K. S. K. Lum; W. H.-M. Ku

查看更多内容