Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22nd PADL 2020: New Orleans, LA, USA
- Ekaterina Komendantskaya, Yanhong Annie Liu:
Practical Aspects of Declarative Languages - 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings. Lecture Notes in Computer Science 12007, Springer 2020, ISBN 978-3-030-39196-6
Logical Engines and Applications
- Paul Tarau, Eduardo Blanco:
Interactive Text Graph Mining with a Prolog-based Dialog Engine. 3-19 - Sheung Chi Chan, James Cheney
:
Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming. 20-36 - Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son:
On Repairing Web Services Workflows. 37-53
Answer Set Programming Systems
- Kinjal Basu, Farhad Shakerin, Gopal Gupta:
AQuA: ASP-Based Visual Question Answering. 57-72 - Alex Brik, Jeffrey Xu:
Diagnosing Data Pipeline Failures Using Action Languages: A Progress Report. 73-81 - Vinh T. Nguyen, Yuanlin Zhang, Kwanghee Jung, Wanli Xing, Tommy Dang:
VRASP: A Virtual Reality Environment for Learning Answer Set Programming. 82-91
Memory and Real-Time in Functional Programming
- Martin Elsman, Niels Hallenberg:
On the Effects of Integrating Region-Based Memory Management and Generational Garbage Collection in ML. 95-112 - Bhargav Shivkumar, Jeffrey C. Murphy, Lukasz Ziarek:
RTMLton: An SML Runtime for Real-Time Systems. 113-130 - David Janin:
A Timed IO Monad. 131-147
Reasoning and Efficient Implementation
- Johannes Klaus Fichte, Markus Hecher, Patrick Thier, Stefan Woltran:
Exploiting Database Management Systems and Treewidth for Counting. 151-167 - Farhad Shakerin, Gopal Gupta:
Whitebox Induction of Default Rules Using High-Utility Itemset Mining. 168-176
Small Languages and Implementation
- Martin Erwig, Prashant Kumar, Alan Fern:
Explanations for Dynamic Programming. 179-195 - Johannes Eriksson, Masoumeh Parsa:
A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams. 196-212 - Ramy Shahin, Marsha Chechik:
Variability-Aware Datalog. 213-221
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
