P. Lucio

Available identifiers

List of research outcomes

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	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	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}^+\)	2020-04-21	Paper
Automatic white-box testing of first-order logic ontologies	2020-02-03	Paper
An Assertional Proof of the Stability and Correctness of Natural Mergesort	2017-07-12	Paper
Logical foundations for more expressive declarative temporal logic programming languages	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	2013-07-05	Paper
Translating propositional extended conjunctions of Horn clauses into Boolean circuits	2010-04-15	Paper
Dual systems of tableaux and sequents for PLTL	2009-11-04	Paper
A Cut-Free and Invariant-Free Sequent Calculus for PLTL	2009-03-05	Paper
An Algorithm for Local Variable Elimination in Normal Logic Programs	2009-01-15	Paper
A functorial framework for constraint normal logic programming	2008-07-30	Paper
A Generalization of the Folding Rule for the Clark-Kunen Semantics	2008-04-11	Paper
A Functorial Framework for Constraint Normal Logic Programming	2007-09-07	Paper
Foundations of Information and Knowledge Systems	2007-02-12	Paper
https://portal.mardi4nfdi.de/entity/Q4518866	2000-12-03	Paper
An algebraic framework for the definition of compositional semantics of normal logic programs	1999-12-19	Paper

Research outcomes over time

This page was built for person: P. Lucio