Search dblp for Publications

export results for "toc:db/conf/inap/declare2017.bht:"

 download as .bib file

@proceedings{DBLP:conf/inap/2017,
  editor       = {Dietmar Seipel and
                  Michael Hanus and
                  Salvador Abreu},
  title        = {Declarative Programming and Knowledge Management - Conference on Declarative
                  Programming, {DECLARE} 2017, Unifying INAP, WFLP, and WLP, W{\"{u}}rzburg,
                  Germany, September 19-22, 2017, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10997},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00801-7},
  doi          = {10.1007/978-3-030-00801-7},
  isbn         = {978-3-030-00800-0},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/inap/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/inap/Atzmueller17,
  author       = {Martin Atzmueller},
  editor       = {Dietmar Seipel and
                  Michael Hanus and
                  Salvador Abreu},
  title        = {Declarative Aspects in Explicative Data Mining for Computational Sensemaking},
  booktitle    = {Declarative Programming and Knowledge Management - Conference on Declarative
                  Programming, {DECLARE} 2017, Unifying INAP, WFLP, and WLP, W{\"{u}}rzburg,
                  Germany, September 19-22, 2017, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10997},
  pages        = {97--114},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-030-00801-7\_7},
  doi          = {10.1007/978-3-030-00801-7\_7},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/inap/Atzmueller17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/inap/DagefordeK17,
  author       = {Jan C. Dagef{\"{o}}rde and
                  Herbert Kuchen},
  editor       = {Dietmar Seipel and
                  Michael Hanus and
                  Salvador Abreu},
  title        = {An Operational Semantics for Constraint-Logic Imperative Programming},
  booktitle    = {Declarative Programming and Knowledge Management - Conference on Declarative
                  Programming, {DECLARE} 2017, Unifying INAP, WFLP, and WLP, W{\"{u}}rzburg,
                  Germany, September 19-22, 2017, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10997},
  pages        = {64--80},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-030-00801-7\_5},
  doi          = {10.1007/978-3-030-00801-7\_5},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/inap/DagefordeK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/inap/FangT17,
  author       = {Min Fang and
                  Hans Tompits},
  editor       = {Dietmar Seipel and
                  Michael Hanus and
                  Salvador Abreu},
  title        = {An Approach for Representing Answer Sets in Natural Language},
  booktitle    = {Declarative Programming and Knowledge Management - Conference on Declarative
                  Programming, {DECLARE} 2017, Unifying INAP, WFLP, and WLP, W{\"{u}}rzburg,
                  Germany, September 19-22, 2017, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10997},
  pages        = {115--131},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-030-00801-7\_8},
  doi          = {10.1007/978-3-030-00801-7\_8},
  timestamp    = {Tue, 09 Oct 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/inap/FangT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/inap/Fruhwirth17,
  author       = {Thom W. Fr{\"{u}}hwirth},
  editor       = {Dietmar Seipel and
                  Michael Hanus and
                  Salvador Abreu},
  title        = {Implementation of Logical Retraction in Constraint Handling Rules
                  with Justifications},
  booktitle    = {Declarative Programming and Knowledge Management - Conference on Declarative
                  Programming, {DECLARE} 2017, Unifying INAP, WFLP, and WLP, W{\"{u}}rzburg,
                  Germany, September 19-22, 2017, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10997},
  pages        = {37--52},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-030-00801-7\_3},
  doi          = {10.1007/978-3-030-00801-7\_3},
  timestamp    = {Tue, 09 Oct 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/inap/Fruhwirth17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/inap/KannimoolaJA17,
  author       = {Jinesh M. Kannimoola and
                  Bharat Jayaraman and
                  Krishnashree Achuthan},
  editor       = {Dietmar Seipel and
                  Michael Hanus and
                  Salvador Abreu},
  title        = {Run-Time Analysis of Temporal Constrained Objects},
  booktitle    = {Declarative Programming and Knowledge Management - Conference on Declarative
                  Programming, {DECLARE} 2017, Unifying INAP, WFLP, and WLP, W{\"{u}}rzburg,
                  Germany, September 19-22, 2017, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10997},
  pages        = {20--36},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-030-00801-7\_2},
  doi          = {10.1007/978-3-030-00801-7\_2},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/inap/KannimoolaJA17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/inap/KornerK17,
  author       = {Philipp K{\"{o}}rner and
                  Sebastian Krings},
  editor       = {Dietmar Seipel and
                  Michael Hanus and
                  Salvador Abreu},
  title        = {plspec - {A} Specification Language for Prolog Data},
  booktitle    = {Declarative Programming and Knowledge Management - Conference on Declarative
                  Programming, {DECLARE} 2017, Unifying INAP, WFLP, and WLP, W{\"{u}}rzburg,
                  Germany, September 19-22, 2017, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10997},
  pages        = {198--213},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-030-00801-7\_13},
  doi          = {10.1007/978-3-030-00801-7\_13},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/inap/KornerK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/inap/LeutgebW17,
  author       = {Lorenz Leutgeb and
                  Antonius Weinzierl},
  editor       = {Dietmar Seipel and
                  Michael Hanus and
                  Salvador Abreu},
  title        = {Techniques for Efficient Lazy-Grounding {ASP} Solving},
  booktitle    = {Declarative Programming and Knowledge Management - Conference on Declarative
                  Programming, {DECLARE} 2017, Unifying INAP, WFLP, and WLP, W{\"{u}}rzburg,
                  Germany, September 19-22, 2017, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10997},
  pages        = {132--148},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-030-00801-7\_9},
  doi          = {10.1007/978-3-030-00801-7\_9},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/inap/LeutgebW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/inap/LiuLH17,
  author       = {Ke Liu and
                  Sven L{\"{o}}ffler and
                  Petra Hofstedt},
  editor       = {Dietmar Seipel and
                  Michael Hanus and
                  Salvador Abreu},
  title        = {Hypertree Decomposition: The First Step Towards Parallel Constraint
                  Solving},
  booktitle    = {Declarative Programming and Knowledge Management - Conference on Declarative
                  Programming, {DECLARE} 2017, Unifying INAP, WFLP, and WLP, W{\"{u}}rzburg,
                  Germany, September 19-22, 2017, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10997},
  pages        = {81--94},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-030-00801-7\_6},
  doi          = {10.1007/978-3-030-00801-7\_6},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/inap/LiuLH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/inap/NogatzK17,
  author       = {Falco Nogatz and
                  Jona Kalkus},
  editor       = {Dietmar Seipel and
                  Michael Hanus and
                  Salvador Abreu},
  title        = {Declarative {XML} Schema Validation with SWI-Prolog - System Description},
  booktitle    = {Declarative Programming and Knowledge Management - Conference on Declarative
                  Programming, {DECLARE} 2017, Unifying INAP, WFLP, and WLP, W{\"{u}}rzburg,
                  Germany, September 19-22, 2017, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10997},
  pages        = {187--197},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-030-00801-7\_12},
  doi          = {10.1007/978-3-030-00801-7\_12},
  timestamp    = {Tue, 09 Oct 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/inap/NogatzK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/inap/RoqueP17,
  author       = {Pedro Roque and
                  Vasco Pedro},
  editor       = {Dietmar Seipel and
                  Michael Hanus and
                  Salvador Abreu},
  title        = {Constraint Solving on Hybrid Systems},
  booktitle    = {Declarative Programming and Knowledge Management - Conference on Declarative
                  Programming, {DECLARE} 2017, Unifying INAP, WFLP, and WLP, W{\"{u}}rzburg,
                  Germany, September 19-22, 2017, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10997},
  pages        = {3--19},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-030-00801-7\_1},
  doi          = {10.1007/978-3-030-00801-7\_1},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/inap/RoqueP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/inap/SaldanhaHM17,
  author       = {Emmanuelle{-}Anna Dietz Saldanha and
                  Steffen H{\"{o}}lldobler and
                  Richard M{\"{o}}rbitz},
  editor       = {Dietmar Seipel and
                  Michael Hanus and
                  Salvador Abreu},
  title        = {The Syllogistic Reasoning Task: Reasoning Principles and Heuristic
                  Strategies in Modeling Human Clusters},
  booktitle    = {Declarative Programming and Knowledge Management - Conference on Declarative
                  Programming, {DECLARE} 2017, Unifying INAP, WFLP, and WLP, W{\"{u}}rzburg,
                  Germany, September 19-22, 2017, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10997},
  pages        = {149--165},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-030-00801-7\_10},
  doi          = {10.1007/978-3-030-00801-7\_10},
  timestamp    = {Tue, 09 Oct 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/inap/SaldanhaHM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/inap/Tikovsky17,
  author       = {Jan Rasmus Tikovsky},
  editor       = {Dietmar Seipel and
                  Michael Hanus and
                  Salvador Abreu},
  title        = {Concolic Testing of Functional Logic Programs},
  booktitle    = {Declarative Programming and Knowledge Management - Conference on Declarative
                  Programming, {DECLARE} 2017, Unifying INAP, WFLP, and WLP, W{\"{u}}rzburg,
                  Germany, September 19-22, 2017, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10997},
  pages        = {169--186},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-030-00801-7\_11},
  doi          = {10.1007/978-3-030-00801-7\_11},
  timestamp    = {Tue, 09 Oct 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/inap/Tikovsky17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/inap/Wolf17,
  author       = {Armin Wolf},
  editor       = {Dietmar Seipel and
                  Michael Hanus and
                  Salvador Abreu},
  title        = {The Proportional Constraint and Its Pruning},
  booktitle    = {Declarative Programming and Knowledge Management - Conference on Declarative
                  Programming, {DECLARE} 2017, Unifying INAP, WFLP, and WLP, W{\"{u}}rzburg,
                  Germany, September 19-22, 2017, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10997},
  pages        = {53--63},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-030-00801-7\_4},
  doi          = {10.1007/978-3-030-00801-7\_4},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/inap/Wolf17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.