Loop formulas for splitable temporal logic programs

DOI10.1007/978-3-642-20895-9_9MaRDI QIDQ3003245zbMATH OpenOpenAlexFDO

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

Publication date 26 May 2011

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-20895-9_9

Mathematics Subject Classification ID

Temporal logic (03B44) Logic programming (68N17)

Recommendations

• Temporal logic programs with variables
• On the complexity of temporal equilibrium logic
• Stable Models for Temporal Theories
• Strongly Equivalent Temporal Logic Programs
• Temporal logic programs with temporal description logic axioms

Cited in

(8)

• Metabolic pathways as temporal logic programs
• Simulating production rules using ACTHEX
• Stable Models for Temporal Theories
• Temporal equilibrium logic with past operators
• Temporal logic programs with variables
• Temporal logic modeling of biological systems
• Past-present temporal programs over finite traces
• Gödel-Dummett linear temporal logic

Describes a project that uses

Uses Software

• ASSAT
• STeLP

This page was built for publication: Loop formulas for splitable temporal logic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3003245)