The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "PADL"( http://dblp.L3S.de/Venues/PADL )

URL (DBLP): http://dblp.uni-trier.de/db/conf/padl

Publication years (Num. hits)
1998-1999 (27) 2000 (24) 2001 (24) 2002 (22) 2003 (27) 2004 (18) 2005 (20) 2006 (16) 2007 (22) 2008 (22) 2009 (20) 2010 (25) 2011 (21) 2012 (22) 2013 (18) 2014 (16) 2015-2016 (23) 2017 (15) 2018-2019 (29)
Publication types (Num. hits)
inproceedings(390) proceedings(21)
Venues (Conferences, Journals, ...)
PADL(411)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 227 occurrences of 156 keywords

Results
Found 411 publication records. Showing 411 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Kristoffer Just Arndal Andersen, Ilya Sergey Distributed Protocol Combinators. Search on Bibsonomy PADL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1José Júlio Alferes, Moa Johansson (eds.) Practical Aspects of Declarative Languages - 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings Search on Bibsonomy PADL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Paul Tarau A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers. Search on Bibsonomy PADL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Van Nguyen, Tran Cao Son, Enrico Pontelli Natural Language Generation from Ontologies. Search on Bibsonomy PADL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alejandro Serrano 0001, Victor Cacciari Miraldo Classes of Arbitrary Kind. Search on Bibsonomy PADL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Joaquín Arias, Manuel Carro Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP. Search on Bibsonomy PADL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christopher Schwaab, Ekaterina Komendantskaya, Alasdair Hill, Frantisek Farka, Ronald P. A. Petrick, Joe B. Wells, Kevin Hammond Proof-Carrying Plans. Search on Bibsonomy PADL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michael Hanus Improving Residuation in Declarative Programs. Search on Bibsonomy PADL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nicholas Hippen, Yuliya Lierler Automatic Program Rewriting in Non-Ground Answer Set Programs. Search on Bibsonomy PADL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dhruva Pendharkar, Gopal Gupta An ASP Based Approach to Answering Questions for Natural Language Text. Search on Bibsonomy PADL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Muhammed Kerem Kahraman, Esra Erdem 0001 Personalized Course Schedule Planning Using Answer Set Programming. Search on Bibsonomy PADL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ruben P. Pieters, Tom Schrijvers Faster Coroutine Pipelines: A Reconstruction. Search on Bibsonomy PADL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler Strong Equivalence and Program's Structure in Arguing Essential Equivalence Between First-Order Logic Programs. Search on Bibsonomy PADL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Viktor Palmkvist, David Broman Creating Domain-Specific Languages by Composing Syntactical Constructs. Search on Bibsonomy PADL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alexander Asp Bock Static Partitioning of Spreadsheets for Parallel Execution. Search on Bibsonomy PADL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kritika Anand, Pavan Kumar Chittimalli, Ravindra Naik An Automated Detection of Inconsistencies in SBVR-based Business Rules Using Many-sorted Logic. Search on Bibsonomy PADL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paul Tarau On k-colored Lambda Terms and Their Skeletons. Search on Bibsonomy PADL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Karl Crary Hygienic Source-Code Generation Using Functors - (Extended Abstract). Search on Bibsonomy PADL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sebastian Krings, Michael Leuschel, Philipp Körner, Stefan Hallerstede, Miran Hasanagic Three Is a Crowd: SAT, SMT and CLP on a Chessboard. Search on Bibsonomy PADL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stefano Germano, Francesco Calimeri, Eliana Palermiti LoIDE: A Web-Based IDE for Logic Programming Preliminary Report. Search on Bibsonomy PADL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thanh Hai Nguyen, Tran Cao Son, Enrico Pontelli Automatic Web Services Composition for Phylotastic. Search on Bibsonomy PADL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Kevin W. Hamlen, Nicola Leone (eds.) Practical Aspects of Declarative Languages - 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings Search on Bibsonomy PADL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Weronika T. Adrian, Marco Manna Navigating Online Semantic Resources for Entity Set Expansion. Search on Bibsonomy PADL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gelsomina Catalano, Giovanni Laboccetta, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri A REST-Based Development Framework for ASP: Tools and Application. Search on Bibsonomy PADL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo Exploiting Term Hiding to Reduce Run-Time Checking Overhead. Search on Bibsonomy PADL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sandra Dylus, Jan Christiansen, Finn Teegen Probabilistic Functional Logic Programming. Search on Bibsonomy PADL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Florian Biermann, Wensheng Dou, Peter Sestoft Rewriting High-Level Spreadsheet Structures into Higher-Order Functional Programs. Search on Bibsonomy PADL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gordon Stewart 0001, Samuel Merten, Logan Leland Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell. Search on Bibsonomy PADL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari Optimizing Answer Set Computation via Heuristic-Based Decomposition. Search on Bibsonomy PADL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer An Overview of PρLog. Search on Bibsonomy PADL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Geoffrey Mainland A Domain-Specific Language for Software-Defined Radio. Search on Bibsonomy PADL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jakob Rath, Christoph Redl Integrating Answer Set Programming with Object-Oriented Languages. Search on Bibsonomy PADL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Neng-Fa Zhou, Jonathan Fruhman Canonicalizing High-Level Constructs in Picat. Search on Bibsonomy PADL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler, Walid Taha (eds.) Practical Aspects of Declarative Languages - 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings Search on Bibsonomy PADL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Felix S. Klock II A Declarative DSL for Customizing ASCII Art. Search on Bibsonomy PADL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Theofrastos Mantadelis, Ricardo Rocha 0001 Using Iterative Deepening for Probabilistic Logic Inference. Search on Bibsonomy PADL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christoph Redl Extending Answer Set Programs with Interpreted Functions as First-Class Citizens. Search on Bibsonomy PADL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jonathan Fowler, Graham Hutton Failing Faster: Overlapping Patterns for Property-Based Testing. Search on Bibsonomy PADL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Joost Vennekens Lowering the Learning Curve for Declarative Programming: A Python API for the IDP System. Search on Bibsonomy PADL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jules Hedges, Paulo Oliva, Evguenia Shprits, Viktor Winschel, Philipp Zahn Selection Equilibria of Higher-Order Games. Search on Bibsonomy PADL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau Boltzmann Samplers for Closed Simply-Typed Lambda Terms. Search on Bibsonomy PADL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stefania Costantini, Giovanni De Gasperis, Giulio Nazzicone DALI for Cognitive Robotics: Principles and Prototype Implementation. Search on Bibsonomy PADL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Michael Hanus Eliminating Irrelevant Non-determinism in Functional Logic Programs. Search on Bibsonomy PADL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Henrik Nilsson, Guerric Chupin Funky Grooves: Declarative Programming of Full-Fledged Musical Applications. Search on Bibsonomy PADL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella A GPU Implementation of the ASP Computation. Search on Bibsonomy PADL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Paul Tarau A Size-Proportionate Bijective Encoding of Lambda Terms as Catalan Objects Endowed with Arithmetic Operations. Search on Bibsonomy PADL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mark Grebe, Andy Gill Haskino: A Remote Monad for Programming the Arduino. Search on Bibsonomy PADL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jacques Carette, Chung-chieh Shan Simplifying Probabilistic Programs Using Computer Algebra. Search on Bibsonomy PADL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Niki Vazou, Daan Leijen From Monads to Effects and Back. Search on Bibsonomy PADL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Neng-Fa Zhou, Håkan Kjellerstrand The Picat-SAT Compiler. Search on Bibsonomy PADL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alejandro Serrano 0001, Jurriaan Hage Generic Matching of Tree Regular Expressions over Haskell Data Types. Search on Bibsonomy PADL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Paul Tarau Computing with Catalan Families, Generically. Search on Bibsonomy PADL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Michael Hanus Default Rules for Curry. Search on Bibsonomy PADL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jan Jelínek, Roman Barták Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station. Search on Bibsonomy PADL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker The KB Paradigm and Its Application to Interactive Configuration. Search on Bibsonomy PADL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marco Gavanelli, John H. Reppy (eds.) Practical Aspects of Declarative Languages - 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings Search on Bibsonomy PADL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Reza Basseda, Michael Kifer State Space Planning Using Transaction Logic. Search on Bibsonomy PADL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Salvador Tamarit, Guillermo Vigueras, Manuel Carro, Julio Mariño A Haskell Implementation of a Rule-Based Program Transformation for C Programs. Search on Bibsonomy PADL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael Hanus CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry. Search on Bibsonomy PADL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marcello Balduccini, Sarah Kushner, Jacquelin Speck Ontology-Driven Data Semantics Discovery for Cyber-Security. Search on Bibsonomy PADL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Paul Tarau On Logic Programming Representations of Lambda Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization. Search on Bibsonomy PADL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sergii Dymchenko, Mariia Mykhailova Declaratively Solving Google Code Jam Problems with Picat. Search on Bibsonomy PADL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Simon Fowler, Loïc Denuzière, Adam Granicz Reactive Single-Page Applications with Dynamic Dataflow. Search on Bibsonomy PADL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Benoît Vaugon, Philippe Wang, Emmanuel Chailloux Programming Microcontrollers in OCaml: The OCaPIC Project. Search on Bibsonomy PADL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Enrico Pontelli, Tran Cao Son (eds.) Practical Aspects of Declarative Languages - 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings Search on Bibsonomy PADL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Flávio Cruz, Ricardo Rocha 0001 On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities. Search on Bibsonomy PADL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dimitar Sht. Shterionov, Gerda Janssens Implementation and Performance of Probabilistic Inference Pipelines. Search on Bibsonomy PADL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan RCML: A Prescription for Safely Relaxing Synchrony. Search on Bibsonomy PADL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler, Miroslaw Truszczynski Abstract Modular Inference Systems and Solvers. Search on Bibsonomy PADL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1José Pedro Magalhães, Andres Löh Generic Generic Programming. Search on Bibsonomy PADL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Paul Tarau A Declarative Specification of Giant Number Arithmetic. Search on Bibsonomy PADL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jan Bracker, Andy Gill Sunroof: A Monadic DSL for Generating JavaScript. Search on Bibsonomy PADL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Robert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller Embedding Foreign Code. Search on Bibsonomy PADL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Winant, Dominique Devriese, Frank Piessens, Tom Schrijvers Partial Type Signatures for Haskell. Search on Bibsonomy PADL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tran Cao Son, Enrico Pontelli, Tiep Le Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems. Search on Bibsonomy PADL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Martin Elsman, Anders Schack-Nielsen Typelets - A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces. Search on Bibsonomy PADL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Matthew Flatt, Hai-Feng Guo (eds.) Practical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings Search on Bibsonomy PADL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Matthew R. Lakin, Andrew Phillips Compiling DNA Strand Displacement Reactions Using a Functional Programming Language. Search on Bibsonomy PADL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jacco Krijnen, S. Doaitse Swierstra, Marcos Viera Expand: Towards an Extensible Pandoc System. Search on Bibsonomy PADL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tomas Petricek 0001, Don Syme The F# Computation Expression Zoo. Search on Bibsonomy PADL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli Exploring the Use of GPUs in Constraint Solving. Search on Bibsonomy PADL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Miguel Areias, Ricardo Rocha 0001 On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs. Search on Bibsonomy PADL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ari Saptawijaya, Luís Moniz Pereira Towards Modeling Morality Computationally with Logic Programming. Search on Bibsonomy PADL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sander Canisius, Nicos Angelopoulos, Lodewyk Wessels proSQLite: Prolog File Based Databases via an SQLite Interface. Search on Bibsonomy PADL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck Implementing Equational Constraints in a Functional Language. Search on Bibsonomy PADL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo Supporting Pruning in Tabled LP. Search on Bibsonomy PADL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Paulo Moura A Portable and Efficient Implementation of Coinductive Logic Programming. Search on Bibsonomy PADL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nicos Angelopoulos, Vítor Santos Costa, João Azevedo, Jan Wielemaker, Rui Camacho, Lodewyk Wessels Integrative Functional Statistics in Logic Programming. Search on Bibsonomy PADL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Vitor Rodrigues, Benny Akesson, Simão Melo de Sousa, Mário Florido A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction. Search on Bibsonomy PADL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1George Giorgidze, Torsten Grust, Iassen Halatchliyski, Michael E. Kummer Analysing the Entire Wikipedia History with Database Supported Haskell. Search on Bibsonomy PADL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Benjamin Canou, Emmanuel Chailloux, Vincent Balat A Declarative-Friendly API for Web Document Manipulation. Search on Bibsonomy PADL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Sergio Castro, Kim Mens, Paulo Moura LogicObjects: Enabling Logic Programming in Java through Linguistic Symbiosis. Search on Bibsonomy PADL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Senlin Liang, Michael Kifer Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs. Search on Bibsonomy PADL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Rui Machado, Salvador Abreu, Daniel Diaz Parallel Performance of Declarative Programming Using a PGAS Model. Search on Bibsonomy PADL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Konstantinos Sagonas (eds.) Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings Search on Bibsonomy PADL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1João Santos 0004, Ricardo Rocha 0001 On the Efficient Implementation of Mode-Directed Tabling. Search on Bibsonomy PADL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández Formalizing a Broader Recursion Coverage in SQL. Search on Bibsonomy PADL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Georgios Fourtounis 0001, Nikolaos Papaspyrou, Panos Rondogiannis The Generalized Intensional Transformation for Implementing Lazy Functional Languages. Search on Bibsonomy PADL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Zoé Drey, José F. Morales, Manuel V. Hermenegildo, Manuel Carro Reversible Language Extensions and Their Application in Debugging. Search on Bibsonomy PADL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Paul Klint, Atze van der Ploeg A Library for Declarative Resolution-Independent 2D Graphics. Search on Bibsonomy PADL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 411 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license