{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T06:28:43Z","timestamp":1768458523244,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642307423","type":"print"},{"value":"9783642307430","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30743-0_23","type":"book-chapter","created":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T23:49:46Z","timestamp":1338594586000},"page":"345-362","source":"Crossref","is-referenced-by-count":9,"title":["Oscillating Behavior of Logic Programs"],"prefix":"10.1007","author":[{"given":"Katsumi","family":"Inoue","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chiaki","family":"Sakama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.ipl.2011.10.002","volume":"112","author":"T. Akutsu","year":"2012","unstructured":"Akutsu, T., Melkman, A.A., Tamura, T.: Singleton and 2-periodic attractors of sign-definite Boolean networks. Information Processing Letters\u00a0112, 35\u201338 (2012)","journal-title":"Information Processing Letters"},{"key":"23_CR2","doi-asserted-by":"publisher","first-page":"1275","DOI":"10.1089\/cmb.2010.0281","volume":"18","author":"T. Akutsu","year":"2011","unstructured":"Akutsu, T., Melkman, A.A., Tamura, T., Yamamoto, M.: Determining a singleton attractor of a Boolean network with nested canalyzing functions. Journal of Computational Biology\u00a018, 1275\u20131290 (2011)","journal-title":"Journal of Computational Biology"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Apt, K.R., Blair, H.A., Walker, A.: Towards a theory of declarative knowledge. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 89\u2013148. Morgan Kaufmann (1988)","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"23_CR4","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/0743-1066(94)00104-E","volume":"24","author":"C. Aravindan","year":"1995","unstructured":"Aravindan, C., Dung, P.M.: On the correctness of unfold\/fold transformation of normal and extended logic programs. Journal of Logic Programming\u00a024, 201\u2013217 (1995)","journal-title":"Journal of Logic Programming"},{"key":"23_CR5","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/BF02341854","volume":"8","author":"C. Baral","year":"1992","unstructured":"Baral, C., Subrahmanian, V.S.: Stable and extension class theory for logic programs and default logics. Journal of Automated Reasoning\u00a08, 345\u2013366 (1992)","journal-title":"Journal of Automated Reasoning"},{"key":"23_CR6","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/BF00881799","volume":"10","author":"C. Baral","year":"1993","unstructured":"Baral, C., Subrahmanian, V.S.: Dualities between alternative semantics for logic programming and nonmonotonic reasoning. Journal of Automated Reasoning\u00a010, 399\u2013420 (1993)","journal-title":"Journal of Automated Reasoning"},{"key":"23_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/3-540-63255-7_9","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"H.A. Blair","year":"1997","unstructured":"Blair, H.A., Dushin, F., Humenn, P.R.: Simulations between Programs as Cellular Automata. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS (LNAI), vol.\u00a01265, pp. 115\u2013131. Springer, Heidelberg (1997)"},{"issue":"5","key":"23_CR8","doi-asserted-by":"publisher","first-page":"1393","DOI":"10.1109\/TCBB.2010.20","volume":"8","author":"E. Dubrova","year":"2011","unstructured":"Dubrova, E., Teslenko, M.: A SAT-based algorithm for finding attractors in synchronous Boolean networks. IEEE\/ACM Transactions on Computational Biology and Bioinformatics\u00a08(5), 1393\u20131399 (2011)","journal-title":"IEEE\/ACM Transactions on Computational Biology and Bioinformatics"},{"key":"23_CR9","unstructured":"Dung, P.M.: Negations as hypotheses: An abductive foundation for logic programming. In: Proceedings of ICLP 1991, pp. 3\u201317. MIT Press (1991)"},{"issue":"6767","key":"23_CR10","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1038\/35002125","volume":"403","author":"M.B. Elowitz","year":"2000","unstructured":"Elowitz, M.B., Leibler, S.: A synthetic oscillatory network of transcriptional regulators. Nature\u00a0403(6767), 335\u2013338 (2000)","journal-title":"Nature"},{"issue":"17","key":"23_CR11","doi-asserted-by":"publisher","first-page":"1917","DOI":"10.1093\/bioinformatics\/btn336","volume":"24","author":"A. Garg","year":"2008","unstructured":"Garg, A., Di Cara, A., Xenarios, I., Mendoza, L., De Micheli, G.: Synchronous versus asynchronous modeling of gene regulatory networks. Bioinformatics\u00a024(17), 1917\u20131925 (2008)","journal-title":"Bioinformatics"},{"key":"23_CR12","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of ICLP 1988, pp. 1070\u20131080. MIT Press (1988)"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Gunter, C.A., Scott, D.S.: Semantic domains. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol.\u00a0B, pp. 633\u2013674. North-Holland (1990)","DOI":"10.1016\/B978-0-444-88074-1.50017-2"},{"key":"23_CR14","unstructured":"Inoue, K.: Logic programming for Boolean networks. In: Proceedings of IJCAI 2011, pp. 924\u2013930 (2011)"},{"issue":"2","key":"23_CR15","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/0743-1066(95)00119-0","volume":"27","author":"K. Inoue","year":"1996","unstructured":"Inoue, K., Sakama, C.: A fixpoint characterization of abductive logic programs. Journal of Logic Programming\u00a027(2), 107\u2013136 (1996)","journal-title":"Journal of Logic Programming"},{"key":"23_CR16","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1016\/0743-1066(92)90015-U","volume":"14","author":"A.C. Kakas","year":"1992","unstructured":"Kakas, A.C., Mancarella, P.: Preferred extensions are partial stable models. Journal of Logic Programming\u00a014, 341\u2013348 (1992)","journal-title":"Journal of Logic Programming"},{"key":"23_CR17","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1007\/3-540-59487-6_26","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"J. Kalinski","year":"1995","unstructured":"Kalinski, J.: Stable Classes and Operator Pairs for Disjunctive Programs. In: Marek, V.W., Truszczy\u0144ski, M., Nerode, A. (eds.) LPNMR 1995. LNCS (LNAI), vol.\u00a0928, pp. 358\u2013371. Springer, Heidelberg (1995)"},{"issue":"3","key":"23_CR18","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/0022-5193(69)90015-0","volume":"22","author":"S.A. Kauffman","year":"1969","unstructured":"Kauffman, S.A.: Metabolic stability and epigenesis in randomly constructed genetic nets. Journal of Theoretical Biology\u00a022(3), 437\u2013467 (1969)","journal-title":"Journal of Theoretical Biology"},{"key":"23_CR19","doi-asserted-by":"crossref","unstructured":"Kauffman, S.A.: The Origins of Order: Self-Organization and Selection in Evolution. Oxford University Press (1993)","DOI":"10.1007\/978-94-015-8054-0_8"},{"issue":"2","key":"23_CR20","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1017\/S147106840700302X","volume":"8","author":"V.W. Marek","year":"2007","unstructured":"Marek, V.W., Niemel\u00e4, I., Truszczy\u0144ski, M.: Logic programs with monotone abstract constraint atoms. Theory and Practice of Logic Programming\u00a08(2), 167\u2013199 (2007)","journal-title":"Theory and Practice of Logic Programming"},{"issue":"2","key":"23_CR21","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/0304-3975(92)90019-C","volume":"103","author":"W. Marek","year":"1992","unstructured":"Marek, W., Subrahmanian, V.S.: The relationship between stable, supported, default and autoepistemic semantics for general logic programs. Theoretical Computer Science\u00a0103(2), 365\u2013386 (1992)","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"23_CR22","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1145\/116825.116836","volume":"38","author":"W. Marek","year":"1991","unstructured":"Marek, W., Truszczy\u0144ski, M.: Autoepistemic logic. Journal of the ACM\u00a038(3), 588\u2013619 (1991)","journal-title":"Journal of the ACM"},{"key":"23_CR23","doi-asserted-by":"crossref","unstructured":"Sacc\u00e0, D., Zaniolo, C.: Stable models and non-determinism in logic programs with negation. In: Proceedings of the 9th ACM SIGMOD-SIGACT Symposium on Principles of Database Systems, pp. 205\u2013217 (1990)","DOI":"10.1145\/298514.298572"},{"issue":"11","key":"23_CR24","doi-asserted-by":"publisher","first-page":"1778","DOI":"10.1109\/JPROC.2002.804686","volume":"90","author":"I. Shmulevich","year":"2002","unstructured":"Shmulevich, I., Dougherty, E.R., Zhang, W.: From Boolean to probabilistic Boolean networks as models of genetic regulatory networks. Proceedings of the IEEE\u00a090(11), 1778\u20131792 (2002)","journal-title":"Proceedings of the IEEE"},{"issue":"s","key":"23_CR25","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1587\/transfun.E92.A.493","volume":"92-A","author":"T. Tamura","year":"2009","unstructured":"Tamura, T., Akutsu, T.: Detecting a singleton attractor in a Boolean network utilizing SAT algorithms. IEICE Trans.\u00a092-A(s), 493\u2013501 (2009)","journal-title":"IEICE Trans."},{"issue":"4","key":"23_CR26","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M.H. Emden van","year":"1976","unstructured":"van Emden, M.H., Kowalski, R.A.: The semantics of predicate logic as a programming language. Journal of the ACM\u00a023(4), 733\u2013742 (1976)","journal-title":"Journal of the ACM"},{"issue":"3","key":"23_CR27","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"Van Gelder, A., Ross, K., Schlipf, J.S.: The well-founded semantics for general logic programs. Journal of the ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of the ACM"},{"key":"23_CR28","unstructured":"Wolfman, S.: Cellular Automata And Complexity: Collected Papers. Westview Press (1994)"},{"key":"23_CR29","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1016\/S0022-0000(05)80053-4","volume":"49","author":"J.H. You","year":"1994","unstructured":"You, J.H., Yuan, L.: A three-valued semantics for deductive database and logic programs. Journal of Computer and System Sciences\u00a049, 334\u2013361 (1994)","journal-title":"Journal of Computer and System Sciences"},{"issue":"3","key":"23_CR30","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1016\/0743-1066(94)00023-Y","volume":"22","author":"J.H. You","year":"1995","unstructured":"You, J.H., Yuan, L.: On the equivalence of semantics for normal logic programs. Journal of Logic Programming\u00a022(3), 212\u2013222 (1995)","journal-title":"Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Correct Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30743-0_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T20:57:18Z","timestamp":1558299438000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30743-0_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642307423","9783642307430"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30743-0_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}