{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T04:43:23Z","timestamp":1725770603550},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319045337"},{"type":"electronic","value":"9783319045344"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-04534-4_10","type":"book-chapter","created":{"date-parts":[[2014,1,21]],"date-time":"2014-01-21T01:43:40Z","timestamp":1390268620000},"page":"138-164","source":"Crossref","is-referenced-by-count":2,"title":["Concurrent Reasoning with Inference Graphs"],"prefix":"10.1007","author":[{"given":"Daniel R.","family":"Schlegel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stuart C.","family":"Shapiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Baum, L.F.: The Wonderful Wizard of Oz. G. M. Hill (1900)"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1109\/HICSS.1992.183186","volume-title":"Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences","author":"J. Choi","year":"1992","unstructured":"Choi, J., Shapiro, S.C.: Efficient implementation of non-standard connectives and quantifiers in deductive reasoning systems. In: Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences, pp. 381\u2013390. IEEE Computer Society Press, Los Alamitos (1992)"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/3-540-50701-9_24","volume-title":"Non-Monotonic Reasoning","author":"M. Dixon","year":"1988","unstructured":"Dixon, M., de Kleer, J.: Massively parallel assumption-based truth maintenance. In: Reinfrank, M., Ginsberg, M.L., de Kleer, J., Sandewall, E. (eds.) Non-Monotonic Reasoning 1988. LNCS, vol.\u00a0346, pp. 131\u2013142. Springer, Heidelberg (1988)"},{"key":"10_CR4","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"19","author":"J. Doyle","year":"1979","unstructured":"Doyle, J.: A truth maintenance system. Artificial Intelligence\u00a019, 231\u2013272 (1979)","journal-title":"Artificial Intelligence"},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"C. Forgy","year":"1982","unstructured":"Forgy, C.: Rete: A fast algorithm for the many pattern\/many object pattern match problem. Artificial Intelligence\u00a019, 17\u201337 (1982)","journal-title":"Artificial Intelligence"},{"key":"10_CR6","volume-title":"Proceedings of the 2008 Symposium on Dynamic Languages","author":"R. Hickey","year":"2008","unstructured":"Hickey, R.: The Clojure programming language. In: Proceedings of the 2008 Symposium on Dynamic Languages. ACM, New York (2008)"},{"key":"10_CR7","doi-asserted-by":"crossref","first-page":"1213","DOI":"10.1145\/1989323.1989456","volume-title":"Proceedings of the 2011 ACM SIGMOD International Conference on Management of Data, SIGMOD 2011","author":"S.S. Huang","year":"2011","unstructured":"Huang, S.S., Green, T.J., Loo, B.T.: Datalog and emerging applications: an interactive tutorial. In: Proceedings of the 2011 ACM SIGMOD International Conference on Management of Data, SIGMOD 2011, pp. 1213\u20131216. ACM, New York (2011)"},{"issue":"2","key":"10_CR8","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0004-3702(86)90082-2","volume":"28","author":"J. Kleer de","year":"1986","unstructured":"de Kleer, J.: Problem solving with the ATMS. Artificial Intelligence\u00a028(2), 197\u2013224 (1986)","journal-title":"Artificial Intelligence"},{"volume-title":"Semantic Networks in Artificial Intelligence","year":"1992","key":"10_CR9","unstructured":"Lehmann, F. (ed.): Semantic Networks in Artificial Intelligence. Pergamon Press, Oxford (1992)"},{"key":"10_CR10","unstructured":"Lendaris, G.G.: Representing conceptual graphs for parallel processing. In: Conceptual Graphs Workshop (1988)"},{"key":"10_CR11","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0004-3702(88)90031-8","volume":"35","author":"J.P. Martins","year":"1988","unstructured":"Martins, J.P., Shapiro, S.C.: A model for belief revision. Artificial Intelligence\u00a035, 25\u201379 (1988)","journal-title":"Artificial Intelligence"},{"key":"10_CR12","unstructured":"McAllester, D.: Truth maintenance. In: Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI 1990), Boston, MA, pp. 1109\u20131116 (1990)"},{"key":"10_CR13","first-page":"368","volume-title":"Proceedings of the Seventh International Joint Conference on Artificial Intelligence","author":"D.P. McKay","year":"1981","unstructured":"McKay, D.P., Shapiro, S.C.: Using active connection graphs for reasoning with recursive rules. In: Proceedings of the Seventh International Joint Conference on Artificial Intelligence, pp. 368\u2013374. Morgan Kaufmann, Los Altos (1981)"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Schlegel, D.R.: Concurrent inference graphs (doctoral consortium abstract). In: Proceedings of the Twenty-Seventh AAAI Conference (AAAI 2013), pp. 1680\u20131681 (2013)","DOI":"10.1609\/aaai.v27i1.8496"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-642-29449-5_8","volume-title":"Graph Structures for Knowledge Representation and Reasoning","author":"D.R. Schlegel","year":"2012","unstructured":"Schlegel, D.R., Shapiro, S.C.: Visually interacting with a knowledge base using frames, logic, and propositional graphs. In: Croitoru, M., Rudolph, S., Wilson, N., Howse, J., Corby, O. (eds.) GKR 2011. LNCS, vol.\u00a07205, pp. 188\u2013207. Springer, Heidelberg (2012)"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Schlegel, D.R., Shapiro, S.C.: Concurrent reasoning with inference graphs (student abstract). In: Proceedings of the Twenty-Seventh AAAI Conference (AAAI 2013), pp. 1637\u20131638 (2013)","DOI":"10.1609\/aaai.v27i1.8524"},{"issue":"3","key":"10_CR17","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1145\/72551.72555","volume":"21","author":"E. Shapiro","year":"1989","unstructured":"Shapiro, E.: The family of concurrent logic programming languages. ACM Comput. Surv.\u00a021(3), 413\u2013510 (1989)","journal-title":"ACM Comput. Surv."},{"key":"10_CR18","first-page":"593","volume-title":"Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010)","author":"S.C. Shapiro","year":"2010","unstructured":"Shapiro, S.C.: Set-oriented logical connectives: Syntax and semantics. In: Lin, F., Sattler, U., Truszczynski, M. (eds.) Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010), pp. 593\u2013595. AAAI Press, Menlo Park (2010)"},{"key":"10_CR19","first-page":"90","volume-title":"Proceedings of the Fourth Annual Conference of the Cognitive Science Society","author":"S.C. Shapiro","year":"1982","unstructured":"Shapiro, S.C., Martins, J.P., McKay, D.P.: Bi-directional inference. In: Proceedings of the Fourth Annual Conference of the Cognitive Science Society, pp. 90\u201393. The Program in Cognitive Science of The University of Chicago and The University of Michigan, Ann Arbor, MI (1982)"},{"key":"10_CR20","unstructured":"Shapiro, S.C., Rapaport, W.J.: The SNePS family. Computers & Mathematics with Applications 23(2-5), 243\u2013275 (1992), reprinted in [9, pp. 243\u2013275]"},{"key":"10_CR21","unstructured":"The Joint Task Force on Computing Curricula, Association for Computing Machinery, IEEE-Computer Society: Computer Science Curricula 2013 (2013)"},{"key":"10_CR22","unstructured":"University of Colorodo: Unified verb index (2012), http:\/\/verbs.colorado.edu\/verb-index\/index.php"},{"key":"10_CR23","unstructured":"Wachter, M., Haenni, R.: Propositional DAGs: a new graph-based language for representing boolean functions. In: KR 2006, 10th International Conference on Principles of Knowledge Representation and Reasoning, pp. 277\u2013285. AAAI Press, U.K. (2006)"},{"key":"10_CR24","unstructured":"Yan, F., Xu, N., Qi, Y.: Parallel inference for latent dirichlet allocation on graphics processing units. In: Proceedings of NIPS, pp. 2134\u20132142 (2009)"}],"container-title":["Lecture Notes in Computer Science","Graph Structures for Knowledge Representation and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-04534-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,9]],"date-time":"2023-07-09T23:00:19Z","timestamp":1688943619000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-04534-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319045337","9783319045344"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-04534-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}