Loop Formulas for Splitable Temporal Logic Programs

DOI10.1007/978-3-642-20895-9_9zbMath1327.68058OpenAlexW1509545351MaRDI QIDQ3003245

Pedro Cabalar, Gilberto Pérez, Felicidad Aguado, 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)

Related Items (6)

Stable Models for Temporal Theories ⋮ Simulating Production Rules Using ACTHEX ⋮ Temporal Equilibrium Logic with past operators ⋮ Temporal logic programs with variables ⋮ Temporal Logic Modeling of Biological Systems ⋮ Metabolic Pathways as Temporal Logic Programs

Uses Software

• ASSAT
• STeLP

This page was built for publication: Loop Formulas for Splitable Temporal Logic Programs