International Symposium on Practical Aspects of Declarative Languages最新文献_第2页

Diagnosing Data Pipeline Failures Using Action Languages: A Progress Report 使用动作语言诊断数据管道故障:进度报告

International Symposium on Practical Aspects of Declarative Languages Pub Date : 2020-01-20 DOI: 10.1007/978-3-030-39197-3_5

A. Brik, Jeffrey Xu

引用次数: 1

AQuA: ASP-Based Visual Question Answering AQuA:基于asp的可视化问答

International Symposium on Practical Aspects of Declarative Languages Pub Date : 2020-01-20 DOI: 10.1007/978-3-030-39197-3_4

Kinjal Basu, Farhad Shakerin, G. Gupta

引用次数: 24

Explanations for Dynamic Programming 动态规划说明

International Symposium on Practical Aspects of Declarative Languages Pub Date : 2020-01-20 DOI: 10.1007/978-3-030-39197-3_12

Martin Erwig, Prashant Kumar, Alan Fern

引用次数: 3

A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams 整数范围推理的DSL:分区、区间和映射图

International Symposium on Practical Aspects of Declarative Languages Pub Date : 2020-01-20 DOI: 10.1007/978-3-030-39197-3_13

Johannes Eriksson, Masoumeh Parsa

引用次数: 1

Exploiting Database Management Systems and Treewidth for Counting 利用数据库管理系统和树宽度进行计数

International Symposium on Practical Aspects of Declarative Languages Pub Date : 2020-01-13 DOI: 10.1017/S147106842100003X

J. Fichte, Markus Hecher, Patrick Thier, S. Woltran

{"title":"Exploiting Database Management Systems and Treewidth for Counting","authors":"J. Fichte, Markus Hecher, Patrick Thier, S. Woltran","doi":"10.1017/S147106842100003X","DOIUrl":"https://doi.org/10.1017/S147106842100003X","url":null,"abstract":"\u0000 Bounded treewidth is one of the most cited combinatorial invariants in the literature. It was also applied for solving several counting problems efficiently. A canonical counting problem is #Sat, which asks to count the satisfying assignments of a Boolean formula. Recent work shows that benchmarking instances for #Sat often have reasonably small treewidth. This paper deals with counting problems for instances of small treewidth. We introduce a general framework to solve counting questions based on state-of-the-art database management systems (DBMSs). Our framework takes explicitly advantage of small treewidth by solving instances using dynamic programming (DP) on tree decompositions (TD). Therefore, we implement the concept of DP into a DBMS (PostgreSQL), since DP algorithms are already often given in terms of table manipulations in theory. This allows for elegant specifications of DP algorithms and the use of SQL to manipulate records and tables, which gives us a natural approach to bring DP algorithms into practice. To the best of our knowledge, we present the first approach to employ a DBMS for algorithms on TDs. A key advantage of our approach is that DBMSs naturally allow for dealing with huge tables with a limited amount of main memory (RAM).","PeriodicalId":293413,"journal":{"name":"International Symposium on Practical Aspects of Declarative Languages","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-01-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123026971","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 21

Personalized Course Schedule Planning Using Answer Set Programming 使用答案集编程的个性化课程计划

International Symposium on Practical Aspects of Declarative Languages Pub Date : 2019-01-14 DOI: 10.1007/978-3-030-05998-9_3

M. Kahraman, E. Erdem

引用次数: 1

Static Partitioning of Spreadsheets for Parallel Execution 并行执行的电子表格静态分区

International Symposium on Practical Aspects of Declarative Languages Pub Date : 2019-01-14 DOI: 10.1007/978-3-030-05998-9_14

A. Bock

引用次数: 3

A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers 直觉命题定理证明的组合检验框架

International Symposium on Practical Aspects of Declarative Languages Pub Date : 2019-01-14 DOI: 10.1007/978-3-030-05998-9_8

Paul Tarau

引用次数: 9

Classes of Arbitrary Kind 任意类

International Symposium on Practical Aspects of Declarative Languages Pub Date : 2019-01-14 DOI: 10.1007/978-3-030-05998-9_10

A. Serrano, Victor Cacciari Miraldo

引用次数: 1

Distributed Protocol Combinators 分布式协议组合器

International Symposium on Practical Aspects of Declarative Languages Pub Date : 2019-01-14 DOI: 10.1007/978-3-030-05998-9_11

K. Andersen, Ilya Sergey

引用次数: 4