English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

Recently, researchers in answer set programming and constraint programmingspent significant efforts in the development of hybrid languages and solvingalgorithms combining the strengths of these traditionally separate fields.These efforts resulted in a new research area: constraint answer setprogramming (CASP). CASP languages and systems proved to be largely successfulat providing efficient solutions to problems involving hybrid reasoning tasks,such as scheduling problems with elements of planning. Yet, the development ofCASP systems is difficult, requiring non-trivial expertise in multiple areas.This suggests a need for a study identifying general development principles ofhybrid systems. Once these principles and their implications are wellunderstood, the development of hybrid languages and systems may become awell-established and well-understood routine process. As a step in thisdirection, in this paper we conduct a case study aimed at evaluating variousintegration schemas of CASP methods.

Hybrid Automated Reasoning Tools: from Black-box to Clear-box Integration