16 citations · 28 across the 15 of their papers we have counts for
18 papers
Efficient Decision Procedures for RNmatrix Semantics
Renato R. Leme, Carlos Olarte, Elaine Pimentel
Logical matrices provide a semantic framework in which connectives are interpreted by deterministic truth-functions. While elegant, this approach is often too restrictive to captur…
Collusion Relations and their Applications to Balance Theory
Jean-Baptiste Joinet, Carlos Olarte
We study quadrangular properties of binary relations on a set X -i.e., properties defined on configurations of four elements -- within an agonistic interpretation, where xRy is int…
Multi-modalities and non-commutativity/associativity in functorial linear logic: a case study
Carlos Olarte, Elaine Pimentel
Similar to modal connectives, the exponential ! in intuitionistic linear logic (ILL) is not canonical, in the sense that if then . Intuitively, th…
Optimal Scheduling of Agents in ADTrees: Specialised Algorithm and Declarative Models
Jaime Arias, Carlos Olarte, Laure Petrucci +3
Expressing attack-defence trees in a multi-agent setting allows for studying a new aspect of security scenarios, namely how the number of agents and their task assignment impact th…
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving
Jaime Arias, Kyungmin Bae, Carlos Olarte +3
Parametric time Petri nets with inhibitor arcs (PITPNs) support flexibility for timed systems by allowing parameters in firing bounds. In this paper we present and prove correct a…
A Rewriting Logic Semantics and Statistical Analysis for Probabilistic Event-B
Carlos Olarte, Camilo Rocha, Daniel Osorio
Probabilistic specifications are fast gaining ground as a tool for statistical modeling of probabilistic systems. One of the main goals of formal methods in this domain is to ensur…
A Subexponential View of Domains in Session Types
Daniele Nantes, Carlos Olarte, Daniel Ventura
Linear logic (LL) has inspired the design of many computational systems, offering reasoning techniques built on top of its meta-theory. Since its inception, several connections bet…
A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems
Carlos Olarte, Elaine Pimentel, Camilo Rocha
This paper develops an algorithmic-based approach for proving inductive properties of propositional sequent systems such as admissibility, invertibility, cut-elimination, and ident…
A Semantic Framework for PEGs
Sérgio Medeiros, Carlos Olarte
Parsing Expression Grammars (PEGs) are a recognition-based formalism which allows to describe the syntactical and the lexical elements of a language. The main difference between Co…
Computational Logic for Biomedicine and Neurosciences
Elisabetta de Maria, Joelle Despeyroux, Amy Felty +3
We advocate here the use of computational logic for systems biology, as a \emph{unified and safe} framework well suited for both modeling the dynamic behaviour of biological system…
A Game Model for Proofs with Costs
Timo Lang, Carlos Olarte, Elaine Pimentel +1
We look at substructural calculi from a game semantic point of view, guided by certain intuitions about resource conscious and, more specifically, cost conscious reasoning. To this…
The ILLTP Library for Intuitionistic Linear Logic
Carlos Olarte, Valeria de Paiva, Elaine Pimentel +1
Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such…
An Assertion language for slicing Constraint Logic Languages
Moreno Falaschi, Carlos Olarte
Constraint Logic Programming (CLP) is a language scheme for combining two declarative paradigms: constraint solving and logic programming. Concurrent Constraint Programming (CCP) i…
A Concurrent Constraint Programming Interpretation of Access Permissions
Carlos Olarte, Elaine Pimentel, Camilo Rueda
A recent trend in object oriented (OO) programming languages is the use of Access Permissions (APs) as an abstraction for controlling concurrent executions of programs. The use of…
Hybrid and Subexponential Linear Logics Technical Report
Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel
HyLL (Hybrid Linear Logic) and SELL (Subexponential Linear Logic) are logical frameworks that have been extensively used for specifying systems that exhibit modalities such as temp…
Slicing Concurrent Constraint Programs
Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte +1
Concurrent Constraint Programming (CCP) is a declarative model for concurrency where agents interact by telling and asking constraints (pieces of information) in a shared store. So…
A Proof Theoretic Study of Soft Concurrent Constraint Programming
Elaine Pimentel, Carlos Olarte, Vivek Nigam
Concurrent Constraint Programming (CCP) is a simple and powerful model for concurrency where agents interact by telling and asking constraints. Since their inception, CCP-languages…
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…