Title: Simulating dynamic systems using linear time calculus theories
Authors: Bogaerts, Bart ×
Jansen, Joachim
Bruynooghe, Maurice
De Cat, Broes
Vennekens, Joost
Denecker, Marc #
Issue Date: Jul-2014
Publisher: Cambridge University Press
Series Title: Theory and Practice of Logic Programming vol:14 issue:4-5 pages:477-492
Conference: International Conference on Logic Programming edition:30 location:Vienna date:July 19-22, 2014
Abstract: Dynamic 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. In this paper we study whether it is possible to perform a broad set of well-studied
inference tasks on one specification. More concretely, we extend IDP3 with several inferences
from fields concerned with dynamic specifications.
ISSN: 1471-0684
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
Computer Science Technology TC, Technology Campus De Nayer Sint-Katelijne-Waver
Technologiecluster Computerwetenschappen
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
SimulatingDynamicSystemsUsingLTC.pdf Published 393KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science