A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Simulating Dynamic Systems Using Linear Time Calculus Theories
Theory and Practice of Logic Programming
AbstractDynamic systems play a central role in fields such as planning, verification, and databases. Fragmented throughout these fields, we find a multitude of languages to formally specify dynamic systems and a multitude of systems to reason on such specifications. Often, such systems are bound to one specific language and one specific inference task. It is troublesome that performing several inference tasks on the same knowledge requires translations of your specification to other languages.doi:10.1017/s1471068414000155 fatcat:6fr6x37nyjahxg5ttlpubtrb6m