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

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

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)

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

Describes a project that uses

Uses Software

• STeLP
• ASSAT

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)