research
∙
05/08/2023
Optimal Scheduling of Agents in ADTrees: Specialised Algorithm and Declarative Models
Expressing attack-defence trees in a multi-agent setting allows for stud...
share
research
∙
03/15/2023
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving
Parametric time Petri nets with inhibitor arcs (PITPNs) support flexibil...
research
∙
06/12/2022
A Rewriting Logic Semantics and Statistical Analysis for Probabilistic Event-B
Probabilistic specifications are fast gaining ground as a tool for stati...
research
∙
10/08/2021
A subexponential view of domains in session types
Linear logic (LL) has inspired the design of many computational systems,...
research
∙
01/08/2021
A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems
This paper develops an algorithmic-based approach for proving inductive ...
research
∙
11/09/2020
A Semantic Framework for PEGs
Parsing Expression Grammars (PEGs) are a recognition-based formalism whi...
research
∙
07/15/2020
Computational Logic for Biomedicine and Neurosciences
We advocate here the use of computational logic for systems biology, as ...
research
∙
06/27/2019
A Game Model for Proofs with Costs
We look at substructural calculi from a game semantic point of view, gui...
research
∙
04/15/2019
The ILLTP Library for Intuitionistic Linear Logic
Benchmarking automated theorem proving (ATP) systems using standardized ...
research
∙
08/14/2018
An Assertion language for slicing Constraint Logic Languages
Constraint Logic Programming (CLP) is a language scheme for combining tw...
research
∙
02/13/2018