{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:08:56Z","timestamp":1725548936898},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540249986"},{"type":"electronic","value":"9783540318569"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31856-9_7","type":"book-chapter","created":{"date-parts":[[2010,3,2]],"date-time":"2010-03-02T18:06:19Z","timestamp":1267553179000},"page":"83-96","source":"Crossref","is-referenced-by-count":5,"title":["Counting in the Two Variable Guarded Logic with Transitivity"],"prefix":"10.1007","author":[{"given":"Lidia","family":"Tendera","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"7_CR1","first-page":"217","volume":"27","author":"H. Andr\u00e9ka","year":"1998","unstructured":"Andr\u00e9ka, H., van Benthem, J., N\u00e9meti, I.: Modal languages and bounded fragments of predicate logic. ILLC Research Report ML-1996-03, University of Amsterdam. Journal version: J. Philos. Logic\u00a027(3), 217\u2013274 (1998)","journal-title":"ILLC Research Report ML-1996-03, University of Amsterdam. Journal version: J. Philos. Logic"},{"key":"7_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-75357-2","volume-title":"Structural Complexity II","author":"J. Balc\u00e1zar","year":"1990","unstructured":"Balc\u00e1zar, J., D\u00edaz, J., Gabarr\u00f3, J.: Structural Complexity II. Springer, Heidelberg (1990)"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Calvanese, D., Lenzerini, M., Nardi, D.: A unified framework for class based representation formalism. In: Proc. of 7th International Conference on Knowledge Representation, Germany, pp. 109\u2013120. Morgan Kaufman, San Francisco","DOI":"10.1016\/B978-1-4832-1452-8.50107-X"},{"key":"7_CR4","unstructured":"Franconi, E., Ng, G.: The i.com Tool for Intelligent Conceptual Modelling. In: Proc. of 7th International Workshop on Knowledge Representation meets Databases (KRDB 1999), Germany. CEUR Workshop Proceedings, vol.\u00a029, pp. 45\u201353 (1999), \n                    \n                      http:\/\/ceur-ws.org\/"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Ganzinger, H., Meyer, C., Veanes, M.: The two-variable guarded fragment with transitive relations. In: 14th Annual IEEE Symposium on Logic in Computer Science, pp. 24\u201334 (1999)","DOI":"10.1109\/LICS.1999.782582"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"1719","DOI":"10.2307\/2586808","volume":"64","author":"E. Gr\u00e4del","year":"1999","unstructured":"Gr\u00e4del, E.: On the restraining power of guards. J. Symbolic Logic\u00a064, 1719\u20131742 (1999)","journal-title":"J. Symbolic Logic"},{"key":"7_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/3-540-48660-7_3","volume-title":"Automated Deduction - CADE-16","author":"E. Gr\u00e4del","year":"1999","unstructured":"Gr\u00e4del, E.: Decision procedures for guarded logics. In: Ganzinger, H. (ed.) CADE 1999. LNCS (LNAI), vol.\u00a01632, pp. 31\u201351. Springer, Heidelberg (1999)"},{"key":"7_CR8","first-page":"306","volume-title":"Proc. of 12th IEEE Symposium on Logic in Computer Science (LICS 1997)","author":"E. Gr\u00e4del","year":"1997","unstructured":"Gr\u00e4del, E., Otto, M., Rosen, E.: Two-variable logic with counting is decidable. In: Proc. of 12th IEEE Symposium on Logic in Computer Science (LICS 1997), Warsaw, Poland, pp. 306\u2013317. IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Gr\u00e4del, E., Walukiewicz, I.: Guarded fixed point logic. In: 14th Annual IEEE Symposium on Logic in Computer Science, pp. 45\u201354 (1999)","DOI":"10.1109\/LICS.1999.782585"},{"key":"7_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/3-540-44404-1_21","volume-title":"Logic for Programming and Automated Reasoning","author":"I. Horrocks","year":"2000","unstructured":"Horrocks, I., Sattler, U., Tessaris, S., Tobies, S.: How to decide Query Containment under Constraints using a Description Logic. In: Parigot, M., Voronkov, A. (eds.) LPAR 2000. LNCS (LNAI), vol.\u00a01955, pp. 326\u2013343. Springer, Heidelberg (2000)"},{"key":"7_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-540-25984-8_7","volume-title":"Automated Reasoning","author":"Y. Kazakov","year":"2004","unstructured":"Kazakov, Y., de Nivelle, H.: A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. In: Basin, D., Rusinowitch, M. (eds.) IJCAR 2004. LNCS (LNAI), vol.\u00a03097, pp. 122\u2013136. Springer, Heidelberg (2004)"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/3-540-36576-1_19","volume-title":"Foundations of Software Science and Computational Structures","author":"E. Kiero\u0144ski","year":"2003","unstructured":"Kiero\u0144ski, E.: The two-variable guarded fragment with transitive guards is 2ExpTime-Hard. In: Gordon, A.D. (ed.) FOSSACS 2003. LNCS, vol.\u00a02620, pp. 299\u2013312. Springer, Heidelberg (2003)"},{"key":"7_CR13","unstructured":"Pacholski, L., Szwast, W., Tendera, L.: Complexity results for two-variable logic with counting. In: Proc. of 12th IEEE Symposium on Logic in Computer Science, pp. 306\u2013317. IEEE Computer Society Press, Los Alamitos"},{"issue":"4","key":"7_CR14","doi-asserted-by":"publisher","first-page":"1083","DOI":"10.1137\/S0097539797323005","volume":"29","author":"L. Pacholski","year":"2000","unstructured":"Pacholski, L., Szwast, W., Tendera, L.: Complexity of first-order two-variable logic with counting. SIAM J. of Computing\u00a029(4), 1083\u20131117 (2000)","journal-title":"SIAM J. of Computing"},{"key":"7_CR15","first-page":"239","volume-title":"Proc. of the 14th European Conference on Artificial Intelligence (ECAI 2000)","author":"U. Sattler","year":"2000","unstructured":"Sattler, U.: Description Logics for the Representation of Aggregated Objects. In: Proc. of the 14th European Conference on Artificial Intelligence (ECAI 2000), Berlin, Germany, pp. 239\u2013243. IOS Press, Amsterdam (2000)"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Szwast, W., Tendera, L.: On the decision problem for the guarded fragment with transitivity. In: 16th Annual IEEE Symposium on Logic in Computer Science, pp. 147\u2013156 (2001)","DOI":"10.1109\/LICS.2001.932491"},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/j.apal.2004.01.003","volume":"128","author":"W. Szwast","year":"2004","unstructured":"Szwast, W., Tendera, L.: The guarded fragment with transitive guards. Annals of Pure and Applied Logic\u00a0128, 227\u2013276 (2004)","journal-title":"Annals of Pure and Applied Logic"},{"key":"7_CR18","unstructured":"van Benthem, J.: Dynamics bits and pieces. ILLC Research Report LP-97-01, University of Amsterdam (1997)"}],"container-title":["Lecture Notes in Computer Science","STACS 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31856-9_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:29:56Z","timestamp":1605760196000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31856-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540249986","9783540318569"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31856-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}