Filters








27,224 Hits in 5.3 sec

A Normal Form for Linear Temporal Equilibrium Logic [chapter]

Pedro Cabalar
2010 Lecture Notes in Computer Science  
That is, 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.  ... 
doi:10.1007/978-3-642-15675-5_8 fatcat:z326or3vo5h2bb67x4ymoui66i

Temporal Modalities in Answer Set Programming (Invited Talk)

Pedro Cabalar, Martin Theobald, Ana Ozaki, Emilio Muñoz-Velasco
2020 International Symposium/Workshop on Temporal Representation and Reasoning  
This formalism constitutes 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.  ... 
doi:10.4230/lipics.time.2020.2 dblp:conf/time/Cabalar20 fatcat:mg7snegse5cv5jgn3k3lnms7re

Temporal Answer Set Programming

Martín Diéguez, Marc Herbstritt
2012 International Conference on Logic Programming  
This extension constitutes, in fact, 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  ... 
doi:10.4230/lipics.iclp.2012.445 dblp:conf/iclp/Dieguez12 fatcat:cs6lq633inaq5pzrkxpl36uguq

Automata-Based Computation of Temporal Equilibrium Models [chapter]

Pedro Cabalar, Stéphane Demri
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  ... 
doi:10.1007/978-3-642-32211-2_5 fatcat:bl5lw6dbdjgndhlvd4od5cz4oy

Temporal equilibrium logic: a survey

Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal
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  ... 
doi:10.1080/11663081.2013.798985 fatcat:26tequadwrdzzfrbq42c2u4jbm

Temporal Logic Programs with Variables [article]

Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal
2016 arXiv   pre-print
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  ...  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  ... 
arXiv:1609.05811v1 fatcat:rx4ze4bnx5dxzowvca2dcjzya4

Paving the Way for Temporal Grounding

Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal, Marc Herbstritt
2012 International Conference on Logic Programming  
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.  ...  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  ... 
doi:10.4230/lipics.iclp.2012.290 dblp:conf/iclp/AguadoCDPV12 fatcat:o2pjv5ebvnaxzlw32qnq7latym

Loop Formulas for Splitable Temporal Logic Programs [chapter]

Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
2011 Lecture Notes in Computer Science  
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).  ...  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.  ... 
doi:10.1007/978-3-642-20895-9_9 fatcat:uoru2junizhx5nguko2nhwvode

Linear-Time Temporal Answer Set Programming

FELICIDAD AGUADO, PEDRO CABALAR, MARTÍN DIÉGUEZ, GILBERTO PÉREZ, TORSTEN SCHAUB, ANNA SCHUHMANN, CONCEPCIÓN VIDAL
2021 Theory and Practice of Logic Programming  
In the paper, we focus on the main recent results of the non-monotonic formalism called 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.  ... 
doi:10.1017/s1471068421000557 fatcat:iwqi332tnbdkdiydjq2cn5ci5a

Temporal Answer Set Programming [article]

Felicidad Aguado, Pedro Cabalar, Martin Dieguez, Gilberto Perez, Torsten Schaub, Anna Schuhmann, Concepcion Vidal
2021 arXiv   pre-print
We focus on recent results of the non-monotonic formalism called 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.  ... 
arXiv:2009.06544v3 fatcat:7oa2hbsndnfzzhpgyfm3movv3e

Automata Techniques for Temporal Answer Set Programming

Susana Hahn
2021 Electronic Proceedings in Theoretical Computer Science  
in 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).  ... 
doi:10.4204/eptcs.345.42 fatcat:3f37xiiesbda7hhrs74amnebla

Temporal Answer Set Programming on Finite Traces

PEDRO CABALAR, ROLAND KAMINSKI, TORSTEN SCHAUB, ANNA SCHUHMANN
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 .  ... 
doi:10.1017/s1471068418000297 fatcat:kj7muphaa5gdpo4iodkr3zxtdu

A Multi-Context System Computing Modalities

Tarek Richard Besold, Bernhard Schiemann
2010 International Workshop on Description Logics  
The system description presents the conception and 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.  ... 
dblp:conf/dlog/BesoldS10 fatcat:eqp4vjmwsfd4povwz3gp6uz74a

Implementing Dynamic Answer Set Programming [article]

Pedro Cabalar, Martín Diéguez, François Laferrière
2020 arXiv   pre-print
Starting from 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] .  ... 
arXiv:2002.06916v2 fatcat:2z32s646v5e5ll4ud3k2qcdlhm

Logical Implementation of Uncertain Agents [chapter]

Nivea de C. Ferreira, Michael Fisher, Wiebe van der Hoek
2005 Lecture Notes in Computer Science  
We provide 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] .  ... 
doi:10.1007/11595014_53 fatcat:5cdbeyyyqbeezmev42qjriohmm
« Previous Showing results 1 — 15 out of 27,224 results