default search action

combined dblp search
author search
venue search
publication search

ask others

DECLARE (INAP/WFLP/WLP) 2017: Würzburg, Germany

> Home > Conferences and Workshops > INAP
> Home > Conferences and Workshops > WFLP
> Home > Conferences and Workshops > WLP

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/inap/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/2017
Dietmar Seipel, Michael Hanus, Salvador Abreu:
Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10997, Springer 2018, ISBN 978-3-030-00800-0

Constraints

- view
  authority control:
- export record
  dblp key:
  - conf/inap/RoqueP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/RoqueP17
Pedro Roque, Vasco Pedro:
Constraint Solving on Hybrid Systems. 3-19
- view
  authority control:
- export record
  dblp key:
  - conf/inap/KannimoolaJA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/KannimoolaJA17
Jinesh M. Kannimoola, Bharat Jayaraman, Krishnashree Achuthan:
Run-Time Analysis of Temporal Constrained Objects. 20-36
- view
  authority control:
- export record
  dblp key:
  - conf/inap/Fruhwirth17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/Fruhwirth17
Thom W. Frühwirth:
Implementation of Logical Retraction in Constraint Handling Rules with Justifications. 37-52
- view
  authority control:
- export record
  dblp key:
  - conf/inap/Wolf17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/Wolf17
Armin Wolf:
The Proportional Constraint and Its Pruning. 53-63
- view
  authority control:
- export record
  dblp key:
  - conf/inap/DagefordeK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/DagefordeK17
Jan C. Dageförde, Herbert Kuchen:
An Operational Semantics for Constraint-Logic Imperative Programming. 64-80
- view
  authority control:
- export record
  dblp key:
  - conf/inap/LiuLH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/LiuLH17
Ke Liu, Sven Löffler, Petra Hofstedt:
Hypertree Decomposition: The First Step Towards Parallel Constraint Solving. 81-94

Declarative Systems

- view
  authority control:
- export record
  dblp key:
  - conf/inap/Atzmueller17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/Atzmueller17
Martin Atzmueller:
Declarative Aspects in Explicative Data Mining for Computational Sensemaking. 97-114
- view
  authority control:
- export record
  dblp key:
  - conf/inap/FangT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/FangT17
Min Fang, Hans Tompits:
An Approach for Representing Answer Sets in Natural Language. 115-131
- view
  authority control:
- export record
  dblp key:
  - conf/inap/LeutgebW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/LeutgebW17
Lorenz Leutgeb, Antonius Weinzierl:
Techniques for Efficient Lazy-Grounding ASP Solving. 132-148
- view
  authority control:
- export record
  dblp key:
  - conf/inap/SaldanhaHM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/SaldanhaHM17
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Richard Mörbitz:
The Syllogistic Reasoning Task: Reasoning Principles and Heuristic Strategies in Modeling Human Clusters. 149-165

Functional and Logic Programming

- view
  authority control:
- export record
  dblp key:
  - conf/inap/Tikovsky17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/Tikovsky17
Jan Rasmus Tikovsky:
Concolic Testing of Functional Logic Programs. 169-186
- view
  authority control:
- export record
  dblp key:
  - conf/inap/NogatzK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/NogatzK17
Falco Nogatz, Jona Kalkus:
Declarative XML Schema Validation with SWI-Prolog - System Description. 187-197
- view
  authority control:
- export record
  dblp key:
  - conf/inap/KornerK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/KornerK17
Philipp Körner, Sebastian Krings:
plspec - A Specification Language for Prolog Data. 198-213

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.