1 citations · 2 across the 4 of their papers we have counts for
7 papers
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…