Simulating Dynamic Systems Using Linear Time Calculus Theories

DOI10.1017/S1471068414000155zbMath1307.68013arXiv1405.1523OpenAlexW3102290089MaRDI QIDQ2931258

Joost Vennekens, Joachim Jansen, Marc Denecker, Maurice Bruynooghe, Bart Bogaerts, Broes de Cat

Publication date: 25 November 2014

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1405.1523

zbMATH Keywords

simulationdynamic systemsprogressioninferencesknowledge base systemlinear time calculus

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)

Related Items

Stable-unstable semantics: Beyond NP with normal logic programs ⋮ The KB paradigm and its application to interactive configuration

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic-based calculus of events
• A unifying action calculus
• Querying logical databases
• How to progress a database
• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
• Principles of Constraint Programming

This page was built for publication: Simulating Dynamic Systems Using Linear Time Calculus Theories