21st International Symposium on Practical Aspects of Declarative Languages (PADL 2019) | www.gmachineinfo.com

会议文集

文集名	Practical Aspects of Declarative Languages
会议名	21st International Symposium on Practical Aspects of Declarative Languages (PADL 2019)
中译名	《第二十一届国际声明式语言的实用问题专题研讨会》
机构	Association for Logic Programming (ALP)
会议日期	January 14-15, 2019
会议地点	Lisbon, Portugal
出版年	2019
馆藏号	329516

题名	作者	出版年
Strong Equivalence and Program's Structure in Arguing Essential Equivalence Between First-Order Logic Programs	Yuliya Lierler	2019
Automatic Program Rewriting in Non-Ground Answer Set Programs	Nicholas Hippen; Yuliya Lierler	2019
Personalized Course Schedule Planning Using Answer Set Programming	Muhammed Kerem Kahraman; Esra Erdem	2019
An ASP Based Approach to Answering Questions for Natural Language Text	Dhruva Pendharkar; Gopal Gupta	2019
Natural Language Generation from Ontologies	Van Nguyen; Tran Cao Son; Enrico Pontelli	2019
Improving Residuation in Declarative Programs	Michael Hanus	2019
Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP	Joaquin Arias; Manuel Carro	2019
A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers	Paul Tarau	2019
Faster Coroutine Pipelines: A Reconstruction	Ruben P. Pieters; Tom Schrijvers	2019
Classes of Arbitrary Kind	Alejandro Serrano; Victor Cacciari Miraldo	2019
Distributed Protocol Combinators	Kristoffer Just Arndal Andersen; Ilya Sergey	2019
Creating Domain-Specific Languages by Composing Syntactical Constructs	Viktor Palmkvist; David Broman	2019
Proof-Carrying Plans	Christopher Schwaab; Ekaterina Komendantskaya; Alasdair Hill; Frantisek Farka; Ronald P. A. Petrick; Joe Wells; Kevin Hammond	2019
Static Partitioning of Spreadsheets for Parallel Execution	Alexander Asp Bock	2019