Concepción Vidal

TL;DR: This paper contains a survey of the main definitions and results obtained to date related to Temporal Equilibrium Logic, a nonmonotonic hybrid approach that combines Equ equilibrium Logic with Linear-Time Temporal Logic.

TL;DR: A patient exposed to Malathion during agricultural work, who suffered a prolonged apnoea after the administration of suxamethonium, was reported, who had a normal phenotype, but an extremely low plasma cholinesterase activity.

TL;DR: A linear temporal extension of Equilibrium Logic and its monotonic basis, the intermediate logic of Here-and-There (HT), provides a sufficient condition for temporal strong equivalence and can be transformed into a provability test into the standard Linear Temporal Logic (LTL), something that can be automatically checked using any of the LTL available provers.

TL;DR: A conservative extension of Equilibrium Logic and its monotonic basis, the logic of Here-and-There, is introduced, in which a new connective ‘|’ the authors call fork is dealt with, to show that, in this extension, it is always possible to forget auxiliary atoms under strong persistence.

TL;DR: This paper shows that for this syntactic class, temporal equilibrium models can be captured by an LTL formula, that results from the combination of two well-known techniques in ASP: splitting and loop formulas, and can be used to obtain the temporalilibrium models of the program.