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/

Zendy Plus

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

Zendy Tools

Zendy Open

In answer-set programming (ASP), the solutions of a problem are encoded indedicated models, called answer sets, of a logical theory. These answer setsare computed from the program that represents the theory by means of an ASPsolver and returned to the user as sets of ground first-order literals. As thistype of representation is often cumbersome for the user to interpret, toolslike ASPVIZ and IDPDraw were developed that allow for visualising answer sets.The tool Kara, introduced in this paper, follows these approaches, using ASPitself as a language for defining visualisations of interpretations. Unlikeexisting tools that position graphic primitives according to static coordinatesonly, Kara allows for more high-level specifications, supporting graphstructures, grids, and relative positioning of graphical elements. Moreover,generalising the functionality of previous tools, Kara provides modifiablevisualisations such that interpretations can be manipulated by graphicallyediting their visualisations. This is realised by resorting to abductivereasoning techniques. Kara is part of SeaLion, a forthcoming integrateddevelopment environment (IDE) for ASP.

Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs