P. Lucio

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
One-pass Context-based Tableaux Systems for CTL and ECTL	2023-11-02	Paper
Tableaux for realizability of safety specifications Formal Methods	2023-08-17	Paper
Towards certified model checking for PLTL using one-pass tableaux	2023-02-03	Paper
Tableaux and sequent calculi for \textsf{CTL} and \textsf{ECTL}: satisfiability test with certifying proofs and models Journal of Logical and Algebraic Methods in Programming	2022-11-16	Paper
Extending fairness expressibility of ECTL\(^+\): a tree-style one-pass tableau approach	2022-05-28	Paper
Branching-time logic \(\mathsf{ECTL}^{\#}\) and its tree-style one-pass tableau: extending fairness expressibility of \(\mathsf{ECTL}^+\) Theoretical Computer Science	2020-04-21	Paper
Automatic white-box testing of first-order logic ontologies Journal Of Logic And Computation	2020-02-03	Paper
An assertional proof of the stability and correctness of Natural Mergesort ACM Transactions on Computational Logic	2017-07-12	Paper
Logical foundations for more expressive declarative temporal logic programming languages ACM Transactions on Computational Logic	2015-09-17	Paper
Systematic semantic tableaux for PLTL	2014-01-10	Paper
A new proposal of quasi-solved form for equality constraint solving	2014-01-10	Paper
Elimination of local variables from definite logic programs	2013-09-27	Paper
Invariant-free clausal temporal resolution Journal of Automated Reasoning	2013-07-05	Paper
Translating propositional extended conjunctions of Horn clauses into Boolean circuits Theoretical Computer Science	2010-04-15	Paper
Dual systems of tableaux and sequents for PLTL The Journal of Logic and Algebraic Programming	2009-11-04	Paper
A Cut-Free and Invariant-Free Sequent Calculus for PLTL Computer Science Logic	2009-03-05	Paper
An Algorithm for Local Variable Elimination in Normal Logic Programs Logic Based Program Synthesis and Transformation	2009-01-15	Paper
A functorial framework for constraint normal logic programming Applied Categorical Structures	2008-07-30	Paper
A Generalization of the Folding Rule for the Clark-Kunen Semantics Functional and Logic Programming	2008-04-11	Paper
A Functorial Framework for Constraint Normal Logic Programming Algebra, Meaning, and Computation	2007-09-07	Paper
Foundations of Information and Knowledge Systems Lecture Notes in Computer Science	2007-02-12	Paper
scientific article; zbMATH DE number 1538011 (Why is no real title available?)	2000-12-03	Paper
An algebraic framework for the definition of compositional semantics of normal logic programs The Journal of Logic Programming	1999-12-19	Paper

Research outcomes over time

This page was built for person: P. Lucio