Loop Formulas for Splitable Temporal Logic Programs

DOI10.1007/978-3-642-20895-9_9zbMATH Open1327.68058OpenAlexW1509545351MaRDI QIDQ3003245FDOQ3003245

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)

Cited In (8)

• Stable Models for Temporal Theories
• Metabolic Pathways as Temporal Logic Programs
• Temporal Logic Modeling of Biological Systems
• Temporal Equilibrium Logic with past operators
• Temporal logic programs with variables
• Simulating Production Rules Using ACTHEX
• Gödel-Dummett linear temporal logic
• Past-present temporal programs over finite traces

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)