STeLP swMATH ID: 9772 Software Authors: Cabalar, Pedro; Diéguez, Martín Description: STeLP – A tool for temporal answer set programming. In this paper we present STeLP, a solver for Answer Set Programming with temporal operators. Taking as an input a particular kind of logic program with modal operators (called Splitable Temporal Logic Program), STeLP obtains its set of temporal equilibrium models (a generalisation of stable models for this extended syntax). The obtained set of models is represented in terms of a deterministic B”uchi automaton capturing the complete program behaviour. In small examples, this automaton can be graphically displayed in a direct and readable way. The input language provides a set of constructs which allow a simple definition of temporal logic programs, including a special syntax for action domains that can be exploited to simplify the graphical output. STeLP combines the use of a standard ASP solver with a linear temporal logic model checker in order to find all models of the input theory. Homepage: http://link.springer.com/chapter/10.1007%2F978-3-642-20895-9_43 Related Software: Coala; Gringo; CCalc; ASSAT Cited in: 9 Publications all top 5 Cited by 15 Authors 5 Cabalar, Pedro 4 Aguado, Felicidad 4 Pérez, Gilberto 4 Vidal, Concepción 3 Diéguez, Martín 1 Bozzelli, Laura 1 Cardenas-Viedma, M. Antonia 1 Demri, Stéphane P. 1 Denecker, Marc 1 Eiter, Thomas 1 Feier, Cristina 1 Fink, Michael 1 Lierler, Yuliya 1 Truszczyński, Mirosław 1 Vennekens, Joost Cited in 3 Serials 2 Journal of Applied Non-Classical Logics 1 Fuzzy Sets and Systems 1 Theory and Practice of Logic Programming Cited in 2 Fields 9 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) Citations by Year