16 citations · 23 across the 4 of their papers we have counts for
4 papers
Hybrid AI for Explainable and Accurate Conversational Agents in eGovernment
Ilias Chalkidis, Vlad Paul Cosma, Søren Debois +6
We present a so-called Conversational Hybrid AI (CHAI) architecture for building explainable and accurate conversational agents for eGovernment. We exemplify the architecture with…
A Theory of Available-by-Design Communicating Systems
Hugo A. López, Flemming Nielson, Hanne Riis Nielson
Choreographic programming is a programming-language design approach that drives error-safe protocol development in distributed systems. Starting from a global specification (choreo…
A Logic for Choreographies
Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt +1
We explore logical reasoning for the global calculus, a coordination model based on the notion of choreography, with the aim to provide a methodology for specification and verifica…
Towards a Unified Framework for Declarative Structured Communications
Hugo A. López, Carlos Olarte, Jorge A. Pérez
We present a unified framework for the declarative analysis of structured communications. By relying on a (timed) concurrent constraint programming language, we show that in additi…