#### Filter Results:

#### Publication Year

2005

2017

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Heber Herencia-Zapana, Romain Jobredeaux, +4 authors Pablo Ascariz
- NASA Formal Methods
- 2012

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)

- Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
- JELIA
- 2008

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)

- Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
- LPNMR
- 2011

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)

- Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal
- Journal of Applied Non-Classical Logics
- 2013

This paper contains a survey of the main definitions and results obtained up to date related to Temporal Equilibrium Logic, a non-monotonic hybrid approach that combines Equilibrium Logic (the best-known logical characterisation for the stable models semantics of logic programs) with Linear-Time Temporal Logic.

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)

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)

- Concepción Vidal, Felicidad Aguado, José Luis Doncel, José María Molinelli, Gilberto Pérez
- J. Formalized Reasoning
- 2008

In this article we present the implementation and formal verification, using the Coq system [FHB + 98], of a generalized version of the crossover operator applied to genetic algorithms (GA) [Hol92]. The first part of this work defines the multiple crossover ⊗ (p, q) of two lists p, q in any finite number of points. This definition generalizes the one given… (More)

In this note 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. To this aim, we provide a definition of a first-order version of TEL that shares the syntax of first-order Linear-time… (More)