Gilberto Pérez

Learn More
This paper analyses the idea of strong equivalence for transition systems represented as logic programs under the Answer Set Programming (ASP) paradigm. To check strong equivalence, we use a linear temporal extension of Equilibrium Logic (a logical characterisation of ASP) and its monotonic basis, the intermediate logic of Here-and-There (HT). Trivially,(More)
In this paper, we study a method for computing temporal equilibrium models, a generalisation of stable models for logic programs with temporal operators, as in Linear Temporal Logic (LTL). To this aim, we focus on a syntactic subclass of these temporal logic programs called splitable and whose main property is satisfying a kind of “future projected”(More)
In this paper we study the relation between the two main extensions of Answer Set Programming with temporal modal operators: Temporal Equilibrium Logic (TEL) and Temporal Answer Sets (TAS). On the one hand, TEL is a complete non-monotonic logic that results from the combination of Linear-time Temporal Logic (LTL) with Equilibrium Logic. On the other hand,(More)
Genetic algorithm theory and theorem proving are two different domains of theoretical computer science. Each has its own scientific community and until now little interaction seemed to exist between the two. The so-called evolutive computation is inspired by natural evolution. Among the evolutive techniques we find genetic algorithms (GA). Basically, they(More)
The objective of control theory is to calculate a proper action from the controller that will result in stability for the system The software implementation of a control law can be inspected by analysis tools However these tools are often challenged by issues for which solutions are already available from control theory. The objective of control theory is(More)
After three decades of research in Nonmonotonic Reasoning (NMR), the paradigm of Answer Set Programming (ASP) [33, 30, 3] has been consolidated as one of the most prominent and successful approaches for practical knowledge representation. Great part of this success is due to the impressive advances in implementation of efficient solvers and development of(More)
In this paper we consider the problem of introducing variables in temporal logic programs under the formalism of Temporal Equilibrium Logic (TEL), an extension of Answer Set Programming (ASP) for dealing with linear-time modal operators. We provide several fundamental contributions that pave the way for the implementation of a grounding process, that is, a(More)
The advancement of technologies and Information Systems (IS) associated with the search for success in the competitive market leads organizations to seek strategies that assist in acquisition, retention, storage, and dissemination of knowledge in the organization in order to be reused in time, preserving its Organizational Memory (OM). Organizational Memory(More)
In this paper we provide an alternative semantics for Equilibrium Logic and its monotonic basis, the logic of Here-and-There (also known as Gödel’s G3 logic) that relies on the idea of denotation of a formula, that is, a function that collects the set of models of that formula. Using the three-valued logic G3 as a starting point and an ordering relation(More)