{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T16:52:22Z","timestamp":1732035142090},"reference-count":45,"publisher":"Cambridge University Press (CUP)","issue":"4-5","license":[{"start":{"date-parts":[[2014,7,21]],"date-time":"2014-07-21T00:00:00Z","timestamp":1405900800000},"content-version":"unspecified","delay-in-days":20,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2014,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>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 IDP<jats:sup>3<\/jats:sup>with several inferences from fields concerned with dynamic specifications.<\/jats:p>","DOI":"10.1017\/s1471068414000155","type":"journal-article","created":{"date-parts":[[2014,7,21]],"date-time":"2014-07-21T11:52:50Z","timestamp":1405943570000},"page":"477-492","source":"Crossref","is-referenced-by-count":5,"title":["Simulating Dynamic Systems Using Linear Time Calculus Theories"],"prefix":"10.1017","volume":"14","author":[{"given":"BART","family":"BOGAERTS","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"JOACHIM","family":"JANSEN","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MAURICE","family":"BRUYNOOGHE","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"BROES","family":"DE CAT","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"JOOST","family":"VENNEKENS","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MARC","family":"DENECKER","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,7,21]]},"reference":[{"key":"S1471068414000155_ref45","unstructured":"Wittocx J. , Mari\u00ebn M. , and Denecker M. 2008. The idp system: a model expansion system for an extension of classical logic. In LaSh, M. Denecker, Ed. 153\u2013165."},{"key":"S1471068414000155_ref4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511615320"},{"key":"S1471068414000155_ref28","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0063-9"},{"key":"S1471068414000155_ref44","first-page":"140","volume-title":"CADE","author":"Weidenbach","year":"2009"},{"key":"S1471068414000155_ref35","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","author":"Reiter","year":"2001"},{"key":"S1471068414000155_ref40","first-page":"406","volume-title":"LPAR","author":"Sutcliffe","year":"2012"},{"key":"S1471068414000155_ref39","doi-asserted-by":"crossref","first-page":"211","DOI":"10.3233\/AIC-130550","article-title":"The 6th IJCAR Automated Theorem Proving System Competition - CASC-J6.","volume":"26","author":"Sutcliffe","year":"2013","journal-title":"AI Communications"},{"key":"S1471068414000155_ref42","unstructured":"van Ginkel N. 2013. Pddl2IDP: a PDDL parser for IDP. http:\/\/dtai.cs.kuleuven.be\/krr\/files\/software\/various\/pddl2idp.zip"},{"key":"S1471068414000155_ref33","first-page":"463","volume-title":"Machine Intelligence 4","author":"McCarthy","year":"1969"},{"key":"S1471068414000155_ref34","doi-asserted-by":"publisher","DOI":"10.1002\/9781118627372"},{"key":"S1471068414000155_ref11","unstructured":"De Pooter S. , Wittocx J. , and Denecker M. 2011. A prototype of a knowledge-based programming environment. CoRR abs\/1108.5667."},{"key":"S1471068414000155_ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1342991.1342998"},{"key":"S1471068414000155_ref14","first-page":"71","volume-title":"ICLP","author":"Denecker","year":"2008"},{"key":"S1471068414000155_ref36","first-page":"91","article-title":"The design and implementation of vampire.","volume":"15","author":"Riazanov","year":"2002","journal-title":"AI Communications"},{"key":"S1471068414000155_ref20","first-page":"1","volume-title":"Datalog","author":"Green","year":"2012"},{"key":"S1471068414000155_ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2012.04.003"},{"key":"S1471068414000155_ref3","first-page":"1","article-title":"A survey of the seventh international planning competition.","volume":"33","author":"Amanda","year":"2012","journal-title":"AI Magazine"},{"key":"S1471068414000155_ref29","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(96)00044-6"},{"key":"S1471068414000155_ref17","first-page":"613","volume-title":"KR","author":"Gebser","year":"2012"},{"key":"S1471068414000155_ref27","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037383"},{"key":"S1471068414000155_ref37","first-page":"94","volume-title":"ASE","author":"Shlyakhter","year":"2003"},{"key":"S1471068414000155_ref41","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2010.04.010"},{"key":"S1471068414000155_ref38","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-009-9143-8"},{"key":"S1471068414000155_ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2360-3"},{"key":"S1471068414000155_ref26","unstructured":"Kowalski R. A. and Sadri F. 2013. Towards a logic-based unifying framework for computing. CoRR abs\/1301.6905."},{"key":"S1471068414000155_ref32","unstructured":"The Coq development team. 2004. The Coq proof assistant reference manual. LogiCal Project. Version 8.0."},{"key":"S1471068414000155_ref10","first-page":"201","volume-title":"Proceedings of the 28th International Conference on Logic Programming \u2013 Technical Communications (ICLP'12)","author":"De Cat","year":"2012"},{"key":"S1471068414000155_ref22","unstructured":"IDP 2013. The IDP system. http:\/\/dtai.cs.kuleuven.be\/krr\/software"},{"key":"S1471068414000155_ref31","first-page":"135","article-title":"Rasprostranenie zakona bol'shih chisel na velichiny, zavisyaschie drug ot druga","volume":"15","author":"Markov","year":"1906","journal-title":"Izvestiya Fiziko-matematicheskogo obschestva pri Kazanskom universitete 2-ya seriya"},{"key":"S1471068414000155_ref5","unstructured":"Bogaerts B. 2014. PacManID: an implementation of Pac-Man using the simulation inference. http:\/\/dtai.cs.kuleuven.be\/krr\/files\/software\/various\/pacman.tar.gz"},{"key":"S1471068414000155_ref25","volume-title":"Computer-Aided Reasoning: An Approach","author":"Kaufmann","year":"2000"},{"key":"S1471068414000155_ref18","first-page":"193","article-title":"Action languages.","volume":"2","author":"Gelfond","year":"1998","journal-title":"Electron. Trans. Artif. Intell."},{"key":"S1471068414000155_ref8","volume-title":"Proc. International Conference on Computer-Aided Verification (CAV 2002)","author":"Cimatti","year":"2002"},{"key":"S1471068414000155_ref1","first-page":"42","volume-title":"LPNMR","author":"Alviano","year":"2013"},{"key":"S1471068414000155_ref6","doi-asserted-by":"crossref","unstructured":"Bonner A. J. , Kifer M. , and Consens M. 1993. Database programming in transaction logic. In In Proc. 4th Int. Workshop on Database Programming Languages. 309\u2013337.","DOI":"10.1007\/978-1-4471-3564-7_18"},{"key":"S1471068414000155_ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20895-9_46"},{"key":"S1471068414000155_ref2","unstructured":"Amadini R. , Gabbrielli M. , and Mauro J. 2013. Features for building CSP portfolio solvers. arXiv:1308.0227 [cs.AI]."},{"key":"S1471068414000155_ref12","unstructured":"Denecker M. 2012. The FO(\u010b) knowledge base system project: An integration project (invited talk). In ASPOCP."},{"key":"S1471068414000155_ref9","unstructured":"De Cat B. , Bogaerts B. , Bruynooghe M. , and Denecker M. 2014. Predicate logic as a modelling language: The IDP system. CoRR abs\/1401.6312."},{"key":"S1471068414000155_ref24","first-page":"635","article-title":"Lua \u2013 an extensible extension language.","volume":"26","author":"Ierusalimschy","year":"1996","journal-title":"Software: Practice and Experience"},{"key":"S1471068414000155_ref15","volume-title":"KR","author":"Denecker","year":"2014"},{"key":"S1471068414000155_ref19","unstructured":"Ghallab M. , Isi C. K. , Penberthy S. , Smith D. E. , Sun Y. , and Weld D. 1998. PDDL \u2013 The Planning Domain Definition Language. Tech. rep., CVC TR-98-003\/DCS TR-1165, Yale Center for Computational Vision and Control."},{"key":"S1471068414000155_ref30","first-page":"108","volume-title":"JELIA","author":"Mari\u00ebn","year":"2004"},{"key":"S1471068414000155_ref23","unstructured":"IDPDraw 2012. IDPDraw: finite structure visualization. http:\/\/dtai.cs.kuleuven.be\/krr\/software\/visualisation"},{"key":"S1471068414000155_ref43","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(86)90016-4"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068414000155","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,22]],"date-time":"2020-08-22T12:38:36Z","timestamp":1598099916000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068414000155\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7]]},"references-count":45,"journal-issue":{"issue":"4-5","published-print":{"date-parts":[[2014,7]]}},"alternative-id":["S1471068414000155"],"URL":"https:\/\/doi.org\/10.1017\/s1471068414000155","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,7]]}}}