default search action

combined dblp search
author search
venue search
publication search

ask others

21st PADL 2019: Lisbon, Portugal

> Home > Conferences and Workshops > PADL

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/padl/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/2019
José Júlio Alferes, Moa Johansson:
Practical Aspects of Declarative Languages - 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings. Lecture Notes in Computer Science 11372, Springer 2019, ISBN 978-3-030-05997-2
- view
  authority control:
- export record
  dblp key:
  - conf/padl/Lierler19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Lierler19
Yuliya Lierler:
Strong Equivalence and Program's Structure in Arguing Essential Equivalence Between First-Order Logic Programs. 1-18
- view
  authority control:
- export record
  dblp key:
  - conf/padl/HippenL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/HippenL19
Nicholas Hippen, Yuliya Lierler:
Automatic Program Rewriting in Non-Ground Answer Set Programs. 19-36
- view
  authority control:
- export record
  dblp key:
  - conf/padl/KahramanE19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/KahramanE19
Muhammed Kerem Kahraman, Esra Erdem:
Personalized Course Schedule Planning Using Answer Set Programming. 37-45
- view
  authority control:
- export record
  dblp key:
  - conf/padl/PendharkarG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/PendharkarG19
Dhruva Pendharkar, Gopal Gupta:
An ASP Based Approach to Answering Questions for Natural Language Text. 46-63
- view
  authority control:
- export record
  dblp key:
  - conf/padl/NguyenSP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/NguyenSP19
Van Nguyen, Tran Cao Son, Enrico Pontelli:
Natural Language Generation from Ontologies. 64-81
- view
  authority control:
- export record
  dblp key:
  - conf/padl/Hanus19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Hanus19
Michael Hanus:
Improving Residuation in Declarative Programs. 82-97
- view
  authority control:
- export record
  dblp key:
  - conf/padl/AriasC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/AriasC19
Joaquín Arias, Manuel Carro:
Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP. 98-114
- view
  authority control:
- export record
  dblp key:
  - conf/padl/Tarau19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Tarau19
Paul Tarau:
A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers. 115-132
- view
  authority control:
- export record
  dblp key:
  - conf/padl/PietersS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/PietersS19
Ruben P. Pieters, Tom Schrijvers:
Faster Coroutine Pipelines: A Reconstruction. 133-149
- view
  authority control:
- export record
  dblp key:
  - conf/padl/SerranoM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/SerranoM19
Alejandro Serrano, Victor Cacciari Miraldo:
Classes of Arbitrary Kind. 150-168
- view
  authority control:
- export record
  dblp key:
  - conf/padl/AndersenS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/AndersenS19
Kristoffer Just Arndal Andersen, Ilya Sergey:
Distributed Protocol Combinators. 169-186
- view
  authority control:
- export record
  dblp key:
  - conf/padl/PalmkvistB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/PalmkvistB19
Viktor Palmkvist, David Broman:
Creating Domain-Specific Languages by Composing Syntactical Constructs. 187-203
- view
  authority control:
- export record
  dblp key:
  - conf/padl/SchwaabKHFPWH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/SchwaabKHFPWH19
Christopher Schwaab, Ekaterina Komendantskaya, Alasdair Hill, Frantisek Farka, Ronald P. A. Petrick, Joe B. Wells, Kevin Hammond:
Proof-Carrying Plans. 204-220
- view
  authority control:
- export record
  dblp key:
  - conf/padl/Bock19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Bock19
Alexander Asp Bock:
Static Partitioning of Spreadsheets for Parallel Execution. 221-237

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.