Search dblp for Publications

export results for "toc:db/conf/padl/padl2018.bht:"

 download as .bib file

@inproceedings{DBLP:conf/padl/AdrianM18,
  author       = {Weronika T. Adrian and
                  Marco Manna},
  editor       = {Francesco Calimeri and
                  Kevin W. Hamlen and
                  Nicola Leone},
  title        = {Navigating Online Semantic Resources for Entity Set Expansion},
  booktitle    = {Practical Aspects of Declarative Languages - 20th International Symposium,
                  {PADL} 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10702},
  pages        = {170--185},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-73305-0\_12},
  doi          = {10.1007/978-3-319-73305-0\_12},
  timestamp    = {Fri, 27 Mar 2020 08:57:16 +0100},
  biburl       = {https://dblp.org/rec/conf/padl/AdrianM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/AnandCN18,
  author       = {Kritika Anand and
                  Pavan Kumar Chittimalli and
                  Ravindra Naik},
  editor       = {Francesco Calimeri and
                  Kevin W. Hamlen and
                  Nicola Leone},
  title        = {An Automated Detection of Inconsistencies in SBVR-based Business Rules
                  Using Many-sorted Logic},
  booktitle    = {Practical Aspects of Declarative Languages - 20th International Symposium,
                  {PADL} 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10702},
  pages        = {80--96},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-73305-0\_6},
  doi          = {10.1007/978-3-319-73305-0\_6},
  timestamp    = {Fri, 12 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/padl/AnandCN18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/BiermannDS18,
  author       = {Florian Biermann and
                  Wensheng Dou and
                  Peter Sestoft},
  editor       = {Francesco Calimeri and
                  Kevin W. Hamlen and
                  Nicola Leone},
  title        = {Rewriting High-Level Spreadsheet Structures into Higher-Order Functional
                  Programs},
  booktitle    = {Practical Aspects of Declarative Languages - 20th International Symposium,
                  {PADL} 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10702},
  pages        = {20--35},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-73305-0\_2},
  doi          = {10.1007/978-3-319-73305-0\_2},
  timestamp    = {Fri, 12 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/padl/BiermannDS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/CalimeriFPZ18,
  author       = {Francesco Calimeri and
                  Davide Fusc{\`{a}} and
                  Simona Perri and
                  Jessica Zangari},
  editor       = {Francesco Calimeri and
                  Kevin W. Hamlen and
                  Nicola Leone},
  title        = {Optimizing Answer Set Computation via Heuristic-Based Decomposition},
  booktitle    = {Practical Aspects of Declarative Languages - 20th International Symposium,
                  {PADL} 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10702},
  pages        = {135--151},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-73305-0\_9},
  doi          = {10.1007/978-3-319-73305-0\_9},
  timestamp    = {Fri, 12 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/padl/CalimeriFPZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/CatalanoLRRV18,
  author       = {Gelsomina Catalano and
                  Giovanni Laboccetta and
                  Kristian Reale and
                  Francesco Ricca and
                  Pierfrancesco Veltri},
  editor       = {Francesco Calimeri and
                  Kevin W. Hamlen and
                  Nicola Leone},
  title        = {A REST-Based Development Framework for {ASP:} Tools and Application},
  booktitle    = {Practical Aspects of Declarative Languages - 20th International Symposium,
                  {PADL} 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10702},
  pages        = {161--169},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-73305-0\_11},
  doi          = {10.1007/978-3-319-73305-0\_11},
  timestamp    = {Fri, 12 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/padl/CatalanoLRRV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/Crary18,
  author       = {Karl Crary},
  editor       = {Francesco Calimeri and
                  Kevin W. Hamlen and
                  Nicola Leone},
  title        = {Hygienic Source-Code Generation Using Functors - (Extended Abstract)},
  booktitle    = {Practical Aspects of Declarative Languages - 20th International Symposium,
                  {PADL} 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10702},
  pages        = {53--60},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-73305-0\_4},
  doi          = {10.1007/978-3-319-73305-0\_4},
  timestamp    = {Fri, 12 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/padl/Crary18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/DylusCT18,
  author       = {Sandra Dylus and
                  Jan Christiansen and
                  Finn Teegen},
  editor       = {Francesco Calimeri and
                  Kevin W. Hamlen and
                  Nicola Leone},
  title        = {Probabilistic Functional Logic Programming},
  booktitle    = {Practical Aspects of Declarative Languages - 20th International Symposium,
                  {PADL} 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10702},
  pages        = {3--19},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-73305-0\_1},
  doi          = {10.1007/978-3-319-73305-0\_1},
  timestamp    = {Fri, 12 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/padl/DylusCT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/GermanoCP18,
  author       = {Stefano Germano and
                  Francesco Calimeri and
                  Eliana Palermiti},
  editor       = {Francesco Calimeri and
                  Kevin W. Hamlen and
                  Nicola Leone},
  title        = {LoIDE: {A} Web-Based {IDE} for Logic Programming Preliminary Report},
  booktitle    = {Practical Aspects of Declarative Languages - 20th International Symposium,
                  {PADL} 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10702},
  pages        = {152--160},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-73305-0\_10},
  doi          = {10.1007/978-3-319-73305-0\_10},
  timestamp    = {Fri, 12 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/padl/GermanoCP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/KringsLKHH18,
  author       = {Sebastian Krings and
                  Michael Leuschel and
                  Philipp K{\"{o}}rner and
                  Stefan Hallerstede and
                  Miran Hasanagic},
  editor       = {Francesco Calimeri and
                  Kevin W. Hamlen and
                  Nicola Leone},
  title        = {Three Is a Crowd: SAT, {SMT} and {CLP} on a Chessboard},
  booktitle    = {Practical Aspects of Declarative Languages - 20th International Symposium,
                  {PADL} 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10702},
  pages        = {63--79},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-73305-0\_5},
  doi          = {10.1007/978-3-319-73305-0\_5},
  timestamp    = {Fri, 12 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/padl/KringsLKHH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/NguyenSP18,
  author       = {Thanh Hai Nguyen and
                  Tran Cao Son and
                  Enrico Pontelli},
  editor       = {Francesco Calimeri and
                  Kevin W. Hamlen and
                  Nicola Leone},
  title        = {Automatic Web Services Composition for Phylotastic},
  booktitle    = {Practical Aspects of Declarative Languages - 20th International Symposium,
                  {PADL} 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10702},
  pages        = {186--202},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-73305-0\_13},
  doi          = {10.1007/978-3-319-73305-0\_13},
  timestamp    = {Thu, 05 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/NguyenSP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/StewartML18,
  author       = {Gordon Stewart and
                  Samuel Merten and
                  Logan Leland},
  editor       = {Francesco Calimeri and
                  Kevin W. Hamlen and
                  Nicola Leone},
  title        = {Sn{\aa}rkl: Somewhat Practical, Pretty Much Declarative Verifiable
                  Computing in Haskell},
  booktitle    = {Practical Aspects of Declarative Languages - 20th International Symposium,
                  {PADL} 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10702},
  pages        = {36--52},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-73305-0\_3},
  doi          = {10.1007/978-3-319-73305-0\_3},
  timestamp    = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/StewartML18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/StulovaMH18,
  author       = {Nataliia Stulova and
                  Jos{\'{e}} F. Morales and
                  Manuel V. Hermenegildo},
  editor       = {Francesco Calimeri and
                  Kevin W. Hamlen and
                  Nicola Leone},
  title        = {Exploiting Term Hiding to Reduce Run-Time Checking Overhead},
  booktitle    = {Practical Aspects of Declarative Languages - 20th International Symposium,
                  {PADL} 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10702},
  pages        = {99--115},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-73305-0\_7},
  doi          = {10.1007/978-3-319-73305-0\_7},
  timestamp    = {Fri, 23 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/StulovaMH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/Tarau18,
  author       = {Paul Tarau},
  editor       = {Francesco Calimeri and
                  Kevin W. Hamlen and
                  Nicola Leone},
  title        = {On k-colored Lambda Terms and Their Skeletons},
  booktitle    = {Practical Aspects of Declarative Languages - 20th International Symposium,
                  {PADL} 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10702},
  pages        = {116--131},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-73305-0\_8},
  doi          = {10.1007/978-3-319-73305-0\_8},
  timestamp    = {Fri, 12 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/padl/Tarau18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/padl/2018,
  editor       = {Francesco Calimeri and
                  Kevin W. Hamlen and
                  Nicola Leone},
  title        = {Practical Aspects of Declarative Languages - 20th International Symposium,
                  {PADL} 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10702},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-73305-0},
  doi          = {10.1007/978-3-319-73305-0},
  isbn         = {978-3-319-73304-3},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/padl/2018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.