Purpose Target-based strategy is a prevalent means of drug research and development
(R&D), since targets provide effector molecules of drug action and offer the foundation of …

In this survey, we present an overview on (Modal) Temporal Logic Programming in view of
its application to Knowledge Representation and Declarative Problem Solving. The syntax of …

We describe telingo, an extension of the ASP system clingo with temporal operators over
finite linear time and provide insights into its implementation. telingo takes temporal logic …

In this paper, we introduce an alternative approach to Temporal Answer Set Programming
that relies on a variation of Temporal Equilibrium Logic (TEL) for finite traces. This approach …

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 Equilibrium …

Temporal Equilibrium Logic (TEL)[1] is a promising framework that extends the knowledge
representation and reasoning capabilities of Answer Set Programming with temporal …

Abstract Temporal Equilibrium Logic (TEL) is a formalism for temporal logic programming
that generalizes the paradigm of Answer Set Programming (ASP) introducing modal …

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 …

We introduce an implementation of an extension of Answer Set Programming (ASP) with
language constructs from dynamic (and temporal) logic that provides an expressive …

Temporal logic plays a crucial role in specifying and reasoning about dynamic systems,
where temporal constraints and properties to be monitored are essential. Traditional …