A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is `application/pdf`

.

## Filters

##
###
A Normal Form for Linear Temporal Equilibrium Logic
[chapter]

2010
*
Lecture Notes in Computer Science
*

That is,

doi:10.1007/978-3-642-15675-5_8
fatcat:z326or3vo5h2bb67x4ymoui66i
*logic*programs constitute*a**normal**form**for*the non-*temporal*case. ... In previous work, the so-called*Temporal**Equilibrium**Logic*(TEL) was introduced. ... ), so that*logic*programs constitute*a**normal**form**for**Equilibrium**Logic*. ...##
###
Temporal Modalities in Answer Set Programming (Invited Talk)

2020
*
International Symposium/Workshop on Temporal Representation and Reasoning
*

This formalism constitutes

doi:10.4230/lipics.time.2020.2
dblp:conf/time/Cabalar20
fatcat:mg7snegse5cv5jgn3k3lnms7re
*a*modal,*linear*-time extension of*Equilibrium**Logic*which, in its turn, is*a*complete*logical*characterisation of (standard) ASP based on the intermediate*logic*of Here-and-There ... As*a*result, TEL is an expressive non-monotonic modal*logic*that shares the syntax of*Linear*-Time*Temporal**Logic*(LTL) but interprets*temporal*formulas under*a*non-monotonic semantics that properly extends ... Second, it can be reduced to*a**normal**form*which is close to*logic*programs and much simpler than the one obtained*for*TEL. ...##
###
Temporal Answer Set Programming

2012
*
International Conference on Logic Programming
*

This extension constitutes, in fact,

doi:10.4230/lipics.iclp.2012.445
dblp:conf/iclp/Dieguez12
fatcat:cs6lq633inaq5pzrkxpl36uguq
*a*formalism called*Temporal**Equilibrium**Logic*, which is based on*Equilibrium**Logic*(*a**logical*characterisation of ASP). ... Although recent contributions have shown promising results,*Temporal**Equilibrium**Logic*is still*a*novel paradigm and there are many gaps to fill. ...*A*first contribution [4] studies the computation of*temporal**equilibrium*models*for**a*subset of the already mentioned TEL*normal**form*, which receives the name of Splitable*Temporal**Logic*Programs (STLP's ...##
###
Automata-Based Computation of Temporal Equilibrium Models
[chapter]

2012
*
Lecture Notes in Computer Science
*

*Temporal*

*Equilibrium*

*Logic*(TEL) is

*a*formalism

*for*

*temporal*

*logic*programming that generalizes the paradigm of Answer Set Programming (ASP) introducing modal

*temporal*operators from standard

*Linear*-time ... We propose

*a*method

*for*the latter that consists in building

*a*Büchi automaton that accepts exactly the

*temporal*

*equilibrium*models of

*a*given theory, providing an automata-based decision procedure and ...

*Temporal*

*Equilibrium*

*Logic*(TEL) is the

*logic*induced by

*temporal*

*equilibrium*models and it is worth noting that any

*temporal*

*equilibrium*model of Γ is

*a*total THT model of the

*form*(T, T) (by definition ...

##
###
Temporal equilibrium logic: a survey

2013
*
Journal of Applied Non-Classical Logics
*

*logical*characterisation

*for*the stable models semantics of

*logic*programs) with

*Linear*-Time

*Temporal*

*Logic*. ... 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 ... The combination of

*Equilibrium*

*Logic*with

*temporal*

*logics*was somehow an inevitable task that the authors began to explore five years ago, as part of

*a*series of coordinated research projects under David's ...

##
###
Temporal Logic Programs with Variables
[article]

2016
*
arXiv
*
pre-print

In this note we consider the problem of introducing variables in

arXiv:1609.05811v1
fatcat:rx4ze4bnx5dxzowvca2dcjzya4
*temporal**logic*programs under the formalism of "*Temporal**Equilibrium**Logic*" (TEL), an extension of Answer Set Programming (ASP)*for*dealing ... Finally, we present*a*method*for*computing the derivable facts by constructing*a*non-*temporal**logic*program with variables that is fed to*a*standard ASP grounder. ...*Linear*-time*Temporal**Logic*(LTL) (Pnueli 1977) , but semantically relying on*a**temporal*extension of*Equilibrium**Logic*(Pearce 1996) , the most general and best studied*logical*characterisation of stable ...##
###
Paving the Way for Temporal Grounding

2012
*
International Conference on Logic Programming
*

In this paper we consider the problem of introducing variables in

doi:10.4230/lipics.iclp.2012.290
dblp:conf/iclp/AguadoCDPV12
fatcat:o2pjv5ebvnaxzlw32qnq7latym
*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. ... TEL is syntactically identical to propositional*Linear*-time*Temporal**Logic*(LTL) [18] , but semantically, it relies on*a**temporal*extension of*Equilibrium**Logic*[16] , the most general and best studied ...##
###
Loop Formulas for Splitable Temporal Logic Programs
[chapter]

2011
*
Lecture Notes in Computer Science
*

In this paper, we study

doi:10.1007/978-3-642-20895-9_9
fatcat:uoru2junizhx5nguko2nhwvode
*a*method*for*computing*temporal**equilibrium*models,*a*generalisation of stable models*for**logic*programs with*temporal*operators, as in*Linear**Temporal**Logic*(LTL). ... As*a*result, an LTL model checker can be used to obtain the*temporal**equilibrium*models of the program. ... This*normal**form*received the name of*Temporal**Logic*Programs (TLPs) -*for*instance, (5)- (8) are TLP rules. ...##
###
Linear-Time Temporal Answer Set Programming

2021
*
Theory and Practice of Logic Programming
*

In the paper, we focus on the main recent results of the non-monotonic formalism called

doi:10.1017/s1471068421000557
fatcat:iwqi332tnbdkdiydjq2cn5ci5a
*Temporal**Equilibrium**Logic*(TEL) that is defined*for*the full syntax of LTL but involves*a*model selection criterion ... The syntax of this extension of*logic*programs is the result of combining usual rules with*temporal*modal operators, as in*Linear*-time*Temporal**Logic*(LTL). ... We are especially grateful to David Pearce, whose help and collaboration on*Equilibrium**Logic*was the seed*for**a*great part of the current paper. ...##
###
Temporal Answer Set Programming
[article]

2021
*
arXiv
*
pre-print

We focus on recent results of the non-monotonic formalism called

arXiv:2009.06544v3
fatcat:7oa2hbsndnfzzhpgyfm3movv3e
*Temporal**Equilibrium**Logic*(TEL) that is defined*for*the full syntax of LTL, but performs*a*model selection criterion based on*Equilibrium*... Such programs are the result of combining usual rules with*temporal*modal operators, as in*Linear*-time*Temporal**Logic*(LTL). ... In the next section, we study*a**normal**form**for**temporal*theories under TEL semantics:*temporal**logic*programs. ...##
###
Automata Techniques for Temporal Answer Set Programming

2021
*
Electronic Proceedings in Theoretical Computer Science
*

in

doi:10.4204/eptcs.345.42
fatcat:3f37xiiesbda7hhrs74amnebla
*a*very effective way. ...*Temporal*and dynamic extensions of Answer Set Programming (ASP) have played an important role in addressing dynamic problems, as they allow the use of*temporal*operators to reason with dynamic scenarios ...*Linear*-time*Temporal**logic*(LTL). ...##
###
Temporal Answer Set Programming on Finite Traces

2018
*
Theory and Practice of Logic Programming
*

*For*computation, we identify the class of

*temporal*

*logic*programs and prove that it constitutes

*a*

*normal*

*form*

*for*our approach. ... AbstractIn 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. ... First, we define the class of

*temporal*

*logic*programs and show that they constitute

*a*

*normal*

*form*

*for*TEL f . ...

##
###
A Multi-Context System Computing Modalities

2010
*
International Workshop on Description Logics
*

The system description presents the conception and

dblp:conf/dlog/BesoldS10
fatcat:eqp4vjmwsfd4povwz3gp6uz74a
*a*prototypical implementation of*a*multi-context system, used*for*computing and implementing*temporal*modalities within given data without the use of ... Instead, an external constraint based rule system is used*for*computing the corresponding*temporal*relations, making use of the way*a*multi-context system works*for*transporting the needed information ... Scholz*for*their cooperation and*for*the valuable discussions concerning the topics adressed in this paper, as well as the anonymous reviewers*for*their helpful comments and advice. ...##
###
Implementing Dynamic Answer Set Programming
[article]

2020
*
arXiv
*
pre-print

Starting from

arXiv:2002.06916v2
fatcat:2z32s646v5e5ll4ud3k2qcdlhm
*logical*foundations, provided by dynamic and*temporal**equilibrium**logics*over finite*linear*traces, we develop*a*translation of dynamic formulas into*temporal**logic*programs. ... This provides us with*a**normal**form*result establishing the strong equivalence of formulas in different*logics*. ...*Linear*Dynamic*Equilibrium**Logic*We start from the syntax of*Linear*Dynamic*Logic*(LDL) defined in [11] . ...##
###
Logical Implementation of Uncertain Agents
[chapter]

2005
*
Lecture Notes in Computer Science
*

We provide

doi:10.1007/11595014_53
fatcat:5cdbeyyyqbeezmev42qjriohmm
*a*description of the extended*logic*, the translation procedure*for*formulae in this extended*logic*to an executable*normal**form*, and the execution algorithm*for*such formulae. ... In particular, we extend the basis of the METATEM*temporal*framework with*a*probabilistic belief dimension captured by the recently introduced PF KD45*logic*. ... This*normal**form*is an extension of that (called SNF) developed both*for**temporal**logics*and their modal extensions [13] . ...
« Previous

*Showing results 1 — 15 out of 27,224 results*