Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/inap/declare2019.bht:"
download as .bib file
@proceedings{DBLP:conf/inap/2019,
editor = {Petra Hofstedt and
Salvador Abreu and
Ulrich John and
Herbert Kuchen and
Dietmar Seipel},
title = {Declarative Programming and Knowledge Management - Conference on Declarative
Programming, {DECLARE} 2019, Unifying INAP, WLP, and WFLP, Cottbus,
Germany, September 9-12, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12057},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-46714-2},
doi = {10.1007/978-3-030-46714-2},
isbn = {978-3-030-46713-5},
timestamp = {Tue, 05 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/0006LH19,
author = {Ke Liu and
Sven L{\"{o}}ffler and
Petra Hofstedt},
editor = {Petra Hofstedt and
Salvador Abreu and
Ulrich John and
Herbert Kuchen and
Dietmar Seipel},
title = {Exploring Properties of Icosoku by Constraint Satisfaction Approach},
booktitle = {Declarative Programming and Knowledge Management - Conference on Declarative
Programming, {DECLARE} 2019, Unifying INAP, WLP, and WFLP, Cottbus,
Germany, September 9-12, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12057},
pages = {99--105},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46714-2\_7},
doi = {10.1007/978-3-030-46714-2\_7},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/0006LH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/AntoyHJL19,
author = {Sergio Antoy and
Michael Hanus and
Andy Jost and
Steven Libby},
editor = {Petra Hofstedt and
Salvador Abreu and
Ulrich John and
Herbert Kuchen and
Dietmar Seipel},
title = {ICurry},
booktitle = {Declarative Programming and Knowledge Management - Conference on Declarative
Programming, {DECLARE} 2019, Unifying INAP, WLP, and WFLP, Cottbus,
Germany, September 9-12, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12057},
pages = {286--307},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46714-2\_18},
doi = {10.1007/978-3-030-46714-2\_18},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/AntoyHJL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/DagefordeT19,
author = {Jan C. Dagef{\"{o}}rde and
Finn Teegen},
editor = {Petra Hofstedt and
Salvador Abreu and
Ulrich John and
Herbert Kuchen and
Dietmar Seipel},
title = {Structured Traversal of Search Trees in Constraint-Logic Object-Oriented
Programming},
booktitle = {Declarative Programming and Knowledge Management - Conference on Declarative
Programming, {DECLARE} 2019, Unifying INAP, WLP, and WFLP, Cottbus,
Germany, September 9-12, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12057},
pages = {199--214},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46714-2\_13},
doi = {10.1007/978-3-030-46714-2\_13},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/DagefordeT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/DovierFV19,
author = {Agostino Dovier and
Andrea Formisano and
Flavio Vella},
editor = {Petra Hofstedt and
Salvador Abreu and
Ulrich John and
Herbert Kuchen and
Dietmar Seipel},
title = {GPU-Based Parallelism for ASP-Solving},
booktitle = {Declarative Programming and Knowledge Management - Conference on Declarative
Programming, {DECLARE} 2019, Unifying INAP, WLP, and WFLP, Cottbus,
Germany, September 9-12, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12057},
pages = {3--23},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46714-2\_1},
doi = {10.1007/978-3-030-46714-2\_1},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/DovierFV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/HanusT19,
author = {Michael Hanus and
Finn Teegen},
editor = {Petra Hofstedt and
Salvador Abreu and
Ulrich John and
Herbert Kuchen and
Dietmar Seipel},
title = {Adding Data to Curry},
booktitle = {Declarative Programming and Knowledge Management - Conference on Declarative
Programming, {DECLARE} 2019, Unifying INAP, WLP, and WFLP, Cottbus,
Germany, September 9-12, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12057},
pages = {230--246},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46714-2\_15},
doi = {10.1007/978-3-030-46714-2\_15},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/HanusT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/JanhunenS19,
author = {Tomi Janhunen and
Michael Sioutis},
editor = {Petra Hofstedt and
Salvador Abreu and
Ulrich John and
Herbert Kuchen and
Dietmar Seipel},
title = {Allen's Interval Algebra Makes the Difference},
booktitle = {Declarative Programming and Knowledge Management - Conference on Declarative
Programming, {DECLARE} 2019, Unifying INAP, WLP, and WFLP, Cottbus,
Germany, September 9-12, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12057},
pages = {89--98},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46714-2\_6},
doi = {10.1007/978-3-030-46714-2\_6},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/JanhunenS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/Jeltsch19,
author = {Wolfgang Jeltsch},
editor = {Petra Hofstedt and
Salvador Abreu and
Ulrich John and
Herbert Kuchen and
Dietmar Seipel},
title = {A Process Calculus for Formally Verifying Blockchain Consensus Protocols},
booktitle = {Declarative Programming and Knowledge Management - Conference on Declarative
Programming, {DECLARE} 2019, Unifying INAP, WLP, and WFLP, Cottbus,
Germany, September 9-12, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12057},
pages = {24--39},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46714-2\_2},
doi = {10.1007/978-3-030-46714-2\_2},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/Jeltsch19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/KittelmannW19,
author = {Jana Kittelmann and
Christoph Wernhard},
editor = {Petra Hofstedt and
Salvador Abreu and
Ulrich John and
Herbert Kuchen and
Dietmar Seipel},
title = {{KBSET} - Knowledge-Based Support for Scholarly Editing and Text Processing
with Declarative [inline-graphic not available: see fulltext] Markup
and a Core Written in SWI-Prolog},
booktitle = {Declarative Programming and Knowledge Management - Conference on Declarative
Programming, {DECLARE} 2019, Unifying INAP, WLP, and WFLP, Cottbus,
Germany, September 9-12, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12057},
pages = {178--196},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46714-2\_12},
doi = {10.1007/978-3-030-46714-2\_12},
timestamp = {Tue, 05 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/KittelmannW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/KringsSSDE19,
author = {Sebastian Krings and
Joshua Schmidt and
Patrick Skowronek and
Jannik Dunkelau and
Dierk Ehmke},
editor = {Petra Hofstedt and
Salvador Abreu and
Ulrich John and
Herbert Kuchen and
Dietmar Seipel},
title = {Towards Constraint Logic Programming over Strings for Test Data Generation},
booktitle = {Declarative Programming and Knowledge Management - Conference on Declarative
Programming, {DECLARE} 2019, Unifying INAP, WLP, and WFLP, Cottbus,
Germany, September 9-12, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12057},
pages = {139--159},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46714-2\_10},
doi = {10.1007/978-3-030-46714-2\_10},
timestamp = {Tue, 05 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/KringsSSDE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/Loffler0H19,
author = {Sven L{\"{o}}ffler and
Ke Liu and
Petra Hofstedt},
editor = {Petra Hofstedt and
Salvador Abreu and
Ulrich John and
Herbert Kuchen and
Dietmar Seipel},
title = {The Regularization of Small Sub-Constraint Satisfaction Problems},
booktitle = {Declarative Programming and Knowledge Management - Conference on Declarative
Programming, {DECLARE} 2019, Unifying INAP, WLP, and WFLP, Cottbus,
Germany, September 9-12, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12057},
pages = {106--115},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46714-2\_8},
doi = {10.1007/978-3-030-46714-2\_8},
timestamp = {Tue, 05 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/Loffler0H19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/QuaresmaNRB019,
author = {Paulo Quaresma and
V{\'{\i}}tor Beires Nogueira and
Kashyap Raiyani and
Roy Khristopher Bayot and
Teresa Gon{\c{c}}alves},
editor = {Petra Hofstedt and
Salvador Abreu and
Ulrich John and
Herbert Kuchen and
Dietmar Seipel},
title = {From Textual Information Sources to Linked Data in the Agatha Project},
booktitle = {Declarative Programming and Knowledge Management - Conference on Declarative
Programming, {DECLARE} 2019, Unifying INAP, WLP, and WFLP, Cottbus,
Germany, September 9-12, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12057},
pages = {79--88},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46714-2\_5},
doi = {10.1007/978-3-030-46714-2\_5},
timestamp = {Fri, 16 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/QuaresmaNRB019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/Sefl19,
author = {V{\'{\i}}t Sefl},
editor = {Petra Hofstedt and
Salvador Abreu and
Ulrich John and
Herbert Kuchen and
Dietmar Seipel},
title = {Performance Analysis of Zippers},
booktitle = {Declarative Programming and Knowledge Management - Conference on Declarative
Programming, {DECLARE} 2019, Unifying INAP, WLP, and WFLP, Cottbus,
Germany, September 9-12, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12057},
pages = {215--229},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46714-2\_14},
doi = {10.1007/978-3-030-46714-2\_14},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/Sefl19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/Voigtlander19,
author = {Janis Voigtl{\"{a}}nder},
editor = {Petra Hofstedt and
Salvador Abreu and
Ulrich John and
Herbert Kuchen and
Dietmar Seipel},
title = {Free Theorems Simply, via Dinaturality},
booktitle = {Declarative Programming and Knowledge Management - Conference on Declarative
Programming, {DECLARE} 2019, Unifying INAP, WLP, and WFLP, Cottbus,
Germany, September 9-12, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12057},
pages = {247--267},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46714-2\_16},
doi = {10.1007/978-3-030-46714-2\_16},
timestamp = {Tue, 05 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/Voigtlander19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/WeidnerAS19,
author = {Daniel Weidner and
Martin Atzmueller and
Dietmar Seipel},
editor = {Petra Hofstedt and
Salvador Abreu and
Ulrich John and
Herbert Kuchen and
Dietmar Seipel},
title = {Finding Maximal Non-redundant Association Rules in Tennis Data},
booktitle = {Declarative Programming and Knowledge Management - Conference on Declarative
Programming, {DECLARE} 2019, Unifying INAP, WLP, and WFLP, Cottbus,
Germany, September 9-12, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12057},
pages = {59--78},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46714-2\_4},
doi = {10.1007/978-3-030-46714-2\_4},
timestamp = {Tue, 05 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/WeidnerAS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/WenzelB19,
author = {Mario Wenzel and
Stefan Brass},
editor = {Petra Hofstedt and
Salvador Abreu and
Ulrich John and
Herbert Kuchen and
Dietmar Seipel},
title = {Declarative Programming for Microcontrollers - Datalog on Arduino},
booktitle = {Declarative Programming and Knowledge Management - Conference on Declarative
Programming, {DECLARE} 2019, Unifying INAP, WLP, and WFLP, Cottbus,
Germany, September 9-12, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12057},
pages = {119--138},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46714-2\_9},
doi = {10.1007/978-3-030-46714-2\_9},
timestamp = {Tue, 05 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/WenzelB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/Wernhard19,
author = {Christoph Wernhard},
editor = {Petra Hofstedt and
Salvador Abreu and
Ulrich John and
Herbert Kuchen and
Dietmar Seipel},
title = {Facets of the {PIE} Environment for Proving, Interpolating and Eliminating
on the Basis of First-Order Logic},
booktitle = {Declarative Programming and Knowledge Management - Conference on Declarative
Programming, {DECLARE} 2019, Unifying INAP, WLP, and WFLP, Cottbus,
Germany, September 9-12, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12057},
pages = {160--177},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46714-2\_11},
doi = {10.1007/978-3-030-46714-2\_11},
timestamp = {Tue, 05 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/Wernhard19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/WidemannL19,
author = {Baltasar Tranc{\'{o}}n y Widemann and
Markus Lepper},
editor = {Petra Hofstedt and
Salvador Abreu and
Ulrich John and
Herbert Kuchen and
Dietmar Seipel},
title = {Improving the Performance of the Paisley Pattern-Matching {EDSL} by
Staged Combinatorial Compilation},
booktitle = {Declarative Programming and Knowledge Management - Conference on Declarative
Programming, {DECLARE} 2019, Unifying INAP, WLP, and WFLP, Cottbus,
Germany, September 9-12, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12057},
pages = {268--285},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46714-2\_17},
doi = {10.1007/978-3-030-46714-2\_17},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/WidemannL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/Wolf19,
author = {Armin Wolf},
editor = {Petra Hofstedt and
Salvador Abreu and
Ulrich John and
Herbert Kuchen and
Dietmar Seipel},
title = {Modular Modeling and Optimized Scheduling of Building Energy Systems
Based on Mixed Integer Programming},
booktitle = {Declarative Programming and Knowledge Management - Conference on Declarative
Programming, {DECLARE} 2019, Unifying INAP, WLP, and WFLP, Cottbus,
Germany, September 9-12, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12057},
pages = {43--58},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46714-2\_3},
doi = {10.1007/978-3-030-46714-2\_3},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/Wolf19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-05-28 11:48 CEST from data curated 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:
