Loop Formulas for Splitable Temporal Logic Programs-Reference-Cited by-同舟云学术

Loop Formulas for Splitable Temporal Logic Programs

Published:2011 Issue: Volume: Page:80-92
ISSN:0302-9743
Container-title:Logic Programming and Nonmonotonic Reasoning
language:
Short-container-title:

Author:

Aguado Felicidad,Cabalar Pedro,Pérez Gilberto,Vidal Concepción

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-20895-9_9

Reference16 articles.

1. Niemelä, I.: Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence 25, 241–273 (1999)

2. Marek, V., Truszczyński, M.: Stable models and an alternative logic programming paradigm, pp. 169–181. Springer, Heidelberg (1999)

3. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R.A., Bowen, K.A. (eds.) Logic Programming: Proc. of the Fifth International Conference and Symposium, vol. 2, pp. 1070–1080. MIT Press, Cambridge (1988)

4. Lecture Notes in Computer Science;P. Cabalar,2007

5. LNAI;D. Pearce,1997

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Past-Present Temporal Programs over Finite Traces;Logics in Artificial Intelligence;2023

2. Temporal Equilibrium Logic with past operators;Journal of Applied Non-Classical Logics;2017-10-02

3. Metabolic Pathways as Temporal Logic Programs;Logics in Artificial Intelligence;2016

4. Temporal Logic Modeling of Biological Systems;Towards Paraconsistent Engineering;2016

5. Stable Models for Temporal Theories;Logic Programming and Nonmonotonic Reasoning;2015