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 Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

The MCAPL (Model-checking Agent Programming Languages) framework is a suite of tools for building interpreters for agent programming languages and verifying the correctness of programs running in these interpreters using the model checking technique. It consists of the Agent Infrastructure Layer (AIL) toolkit for building interpreters for rational agent programming languages (BDI languages) as introduced by (Rao and Georgeff 1992) and the Agent JavaPathFinder (AJPF) model checker (L. A. Dennis et al. 2012). AJPF extends the JavaPathfinder (JPF) model checker (Visser et al. 2003) to prove Linear Temporal Logic properties of BDI programs. The distribution also contains a number of programming languages implemented in the AIL. Chief among these are Gwendolen (Louise A. Dennis 2017), the EASS variant of Gwendolen that can be used to program hybrid autonomous systems and GOAL (Hindriks et al. 2001).

The MCAPL Framework including the Agent Infrastructure Layer an Agent Java Pathfinder