{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:57:36Z","timestamp":1725551856395},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540317821"},{"type":"electronic","value":"9783540317845"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11663881_11","type":"book-chapter","created":{"date-parts":[[2006,1,19]],"date-time":"2006-01-19T06:31:46Z","timestamp":1137652306000},"page":"179-200","source":"Crossref","is-referenced-by-count":1,"title":["Guarded Open Answer Set Programming with Generalized Literals"],"prefix":"10.1007","author":[{"given":"Stijn","family":"Heymans","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davy","family":"Van Nieuwenborgh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dirk","family":"Vermeir","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","volume-title":"Foundations of Databases","author":"S. Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)"},{"key":"11_CR2","unstructured":"Van Benthem, J.: Dynamic Bits and Pieces. In: ILLC research report. University of Amsterdam (1997)"},{"key":"11_CR3","first-page":"158","volume-title":"Proc. of PODS 1982","author":"A.K. Chandra","year":"1982","unstructured":"Chandra, A.K., Harel, D.: Horn Clauses and the Fixpoint Query Hierarchy. In: Proc. of PODS 1982, pp. 158\u2013163. ACM Press, New York (1982)"},{"key":"11_CR4","first-page":"995","volume-title":"Handbook of Theoretical Computer Science","author":"E.A. Emerson","year":"1990","unstructured":"Emerson, E.A.: Temporal and Modal Logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, pp. 995\u20131072. Elsevier Science Publishers B.V., Amsterdam (1990)"},{"issue":"3","key":"11_CR5","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/0167-6423(83)90017-5","volume":"2","author":"E.A. Emerson","year":"1982","unstructured":"Emerson, E.A., Clarke, E.M.: Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons. Sciene of Computer Programming\u00a02(3), 241\u2013266 (1982)","journal-title":"Sciene of Computer Programming"},{"key":"11_CR6","first-page":"1070","volume-title":"Proc. of ICLP 1988","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Proc. of ICLP 1988, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"11_CR7","first-page":"397","volume-title":"Logic Programming and Non-Monotonic Reasoning","author":"M. Gelfond","year":"1993","unstructured":"Gelfond, M., Przymusinska, H.: Reasoning in Open Domains. In: Logic Programming and Non-Monotonic Reasoning, pp. 397\u2013413. MIT Press, Cambridge (1993)"},{"issue":"1","key":"11_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/504077.504079","volume":"3","author":"G. Gottlob","year":"2002","unstructured":"Gottlob, G., Gr\u00e4del, E., Veith, H.: Datalog LITE: A deductive query language with linear time model checking. ACM Transactions on Computational Logic\u00a03(1), 1\u201335 (2002)","journal-title":"ACM Transactions on Computational Logic"},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/S0304-3975(01)00151-7","volume":"288","author":"E. Gr\u00e4del","year":"2002","unstructured":"Gr\u00e4del, E.: Guarded Fixed Point Logic and the Monadic Theory of Trees. Theoretical Computer Science\u00a0288, 129\u2013152 (2002)","journal-title":"Theoretical Computer Science"},{"key":"11_CR10","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proceedings of WOLLIC 2002","author":"E. Gr\u00e4del","year":"2002","unstructured":"Gr\u00e4del, E.: Model Checking Games. In: Proceedings of WOLLIC 2002. Electronic Notes in Theoretical Computer Science, vol.\u00a067. Elsevier, Amsterdam (2002)"},{"key":"11_CR11","first-page":"45","volume-title":"Proc. of LICS 1999","author":"E. Gr\u00e4del","year":"1999","unstructured":"Gr\u00e4del, E., Walukiewicz, I.: Guarded Fixed Point Logic. In: Proc. of LICS 1999, pp. 45\u201354. IEEE Computer Society, Los Alamitos (1999)"},{"issue":"5","key":"11_CR12","doi-asserted-by":"publisher","first-page":"971","DOI":"10.1145\/502102.502104","volume":"48","author":"A. Halevy","year":"2001","unstructured":"Halevy, A., Mumick, I., Sagiv, Y., Shmueli, O.: Static Analysis in Datalog Extensions. Journal of the ACM\u00a048(5), 971\u20131012 (2001)","journal-title":"Journal of the ACM"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1007\/11431053_27","volume-title":"The Semantic Web: Research and Applications","author":"S. Heymans","year":"2005","unstructured":"Heymans, S., Van Nieuwenborgh, D., Vermeir, D.: Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs. In: G\u00f3mez-P\u00e9rez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol.\u00a03532, pp. 392\u2013407. Springer, Heidelberg (2005)"},{"key":"11_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/11546207_8","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"S. Heymans","year":"2005","unstructured":"Heymans, S., Van Nieuwenborgh, D., Vermeir, D.: Guarded Open Answer Set Programming. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol.\u00a03662, pp. 92\u2013104. Springer, Heidelberg (2005)"},{"key":"11_CR15","volume-title":"Logic in Computer Science: Modelling and Reasoning about Systems","author":"M.R.A. Huth","year":"2000","unstructured":"Huth, M.R.A., Ryan, M.: Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, Cambridge (2000)"},{"issue":"4","key":"11_CR16","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1145\/383779.383783","volume":"2","author":"V. Lifschitz","year":"2001","unstructured":"Lifschitz, V., Pearce, D., Valverde, A.: Strongly Equivalent Logic Programs. ACM Transactions on Computational Logic\u00a02(4), 526\u2013541 (2001)","journal-title":"ACM Transactions on Computational Logic"},{"issue":"3","key":"11_CR17","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0743-1066(84)90011-6","volume":"1","author":"J. Lloyd","year":"1984","unstructured":"Lloyd, J., Topor, R.: Making Prolog More Expressive. J. Log. Program.\u00a01(3), 225\u2013240 (1984)","journal-title":"J. Log. Program."},{"key":"11_CR18","unstructured":"Simons, P.: smodels homepage, \n                    \n                      http:\/\/www.tcs.hut.fi\/Software\/smodels\/"},{"key":"11_CR19","series-title":"Lecture Notes in Artificial Intelligence","first-page":"267","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Syrj\u00e4nen","year":"2001","unstructured":"Syrj\u00e4nen, T.: Omega-restricted Logic Programs. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, pp. 267\u2013279. Springer, Heidelberg (2001)"},{"key":"11_CR20","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-540-30227-8_18","volume-title":"Logics in Artificial Intelligence","author":"T. Syrj\u00e4nen","year":"2004","unstructured":"Syrj\u00e4nen, T.: Cardinality Constraint Programs. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 187\u2013199. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11663881_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,13]],"date-time":"2019-03-13T13:55:07Z","timestamp":1552485307000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11663881_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540317821","9783540317845"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11663881_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}