{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T08:40:58Z","timestamp":1743064858919,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642239625"},{"type":"electronic","value":"9783642239632"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-23963-2_43","type":"book-chapter","created":{"date-parts":[[2011,10,6]],"date-time":"2011-10-06T01:29:02Z","timestamp":1317864542000},"page":"547-560","source":"Crossref","is-referenced-by-count":6,"title":["Handling Sequential Observations in Intelligent Surveillance"],"prefix":"10.1007","author":[{"given":"Jianbing","family":"Ma","sequence":"first","affiliation":[]},{"given":"Weiru","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Miller","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1-2","key":"43_CR1","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0004-3702(99)00031-4","volume":"111","author":"F. Bacchus","year":"1998","unstructured":"Bacchus, F., Halpern, J., Levesque, H.: Reasoning about noisy sensors and effectors in the situation calculus. Artificial Intelligence\u00a0111(1-2), 171\u2013208 (1998)","journal-title":"Artificial Intelligence"},{"key":"43_CR2","unstructured":"Bsia: Florida school bus surveillance, http:\/\/www.bsia.co.uk\/LY8VIM18989_action;displaystudy_sectorid;LYCQYL79312_caseid;NFLEN064798"},{"key":"43_CR3","unstructured":"De Giacomo, G., Levesque, H.: Progression using regression and sensors. In: Procs. of IJCAI, pp. 160\u2013165 (1999)"},{"key":"43_CR4","unstructured":"Herzig, A., Lang, J., Marquis, P.: Action representation and partially observable planning using epistemic logic. In: Procs. of IJCAI, pp. 1067\u20131072 (2003)"},{"issue":"1","key":"43_CR5","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/j.artint.2010.04.005","volume":"175","author":"G. Lakemeyer","year":"2011","unstructured":"Lakemeyer, G., Levesque, H.: A semantic characterization of a useful fragment of the situation calculus with knowledge. Artificial Intelligence\u00a0175(1), 142\u2013164 (2011)","journal-title":"Artificial Intelligence"},{"key":"43_CR6","unstructured":"Levesque, H.: What is planning in the presence of sensing. In: Procs. of AAAI, pp. 1139\u20131146 (1996)"},{"key":"43_CR7","unstructured":"Liu, W., Miller, P., Ma, J., Yan, W.: Challenges of distributed intelligent surveillance system with heterogenous information. In: Procs. of QRASA, Pasadena, California, pp. 69\u201374 (2009)"},{"key":"43_CR8","doi-asserted-by":"crossref","unstructured":"Ma, J., Liu, W., Benferhat, S.: A belief revision framework for revising epistemic states with partial epistemic states. In: Procs. of AAAI, pp. 333\u2013338 (2010)","DOI":"10.1609\/aaai.v24i1.7585"},{"key":"43_CR9","doi-asserted-by":"crossref","unstructured":"Ma, J., Liu, W., Hunter, A.: Inducing probability distributions from knowledge bases with (in)dependence relations. In: Procs. of AAAI, pp. 339\u2013344 (2010)","DOI":"10.1609\/aaai.v24i1.7588"},{"key":"43_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/978-3-642-15951-0_24","volume-title":"Scalable Uncertainty Management","author":"J. Ma","year":"2010","unstructured":"Ma, J., Liu, W., Miller, P.: Event modelling and reasoning with uncertain information for distributed sensor networks. In: Deshpande, A., Hunter, A. (eds.) SUM 2010. LNCS, vol.\u00a06379, pp. 236\u2013249. Springer, Heidelberg (2010)"},{"key":"43_CR11","unstructured":"Ma, J., Liu, W., Miller, P.: Belief change with noisy sensing in the situation calculus. In: Procs. of UAI (2011)"},{"key":"43_CR12","first-page":"382","volume-title":"Procs. of AVSS","author":"J. Ma","year":"2009","unstructured":"Ma, J., Liu, W., Miller, P., Yan, W.: Event composition with imperfect information for bus surveillance. In: Procs. of AVSS, pp. 382\u2013387. IEEE Press, Los Alamitos (2009)"},{"key":"43_CR13","doi-asserted-by":"crossref","DOI":"10.21236\/AD0785031","volume-title":"Situations, Actions and Causal Laws","author":"J. McCarthy","year":"1963","unstructured":"McCarthy, J.: Situations, Actions and Causal Laws. Stanford University, Stanford (1963)"},{"key":"43_CR14","first-page":"463","volume-title":"Machine Intelligence","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. In: Machine Intelligence, vol.\u00a04, pp. 463\u2013502. Edinburgh University Press, Edinburgh (1969)"},{"key":"43_CR15","doi-asserted-by":"crossref","unstructured":"Miller, P., Liu, W., Fowler, F., Zhou, H., Shen, J., Ma, J., Zhang, J., Yan, W., McLaughlin, K., Sezer, S.: Intelligent sensor information system for public transport: To safely go.. In: Procs. of AVSS (2010)","DOI":"10.1109\/AVSS.2010.36"},{"key":"43_CR16","unstructured":"ECIT Queen\u2019s University of\u00a0Belfast. Airport corridor surveillance (2010), http:\/\/www.csit.qub.ac.uk\/Research\/ResearchGroups\/IntelligentSurveillanceSystems"},{"key":"43_CR17","unstructured":"US Defense of the Homeland. Washington rail corridor surveillance (2006), http:\/\/preview.govtsecurity.com\/news\/Washington-rail-corridor-surveillance\/"},{"key":"43_CR18","unstructured":"US Department of Transportation. Rita - its research program (2010), http:\/\/www.its.dot.gov\/ITS_ROOT2010\/its_program\/ITSfederal_program.htm"},{"key":"43_CR19","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1016\/B978-0-12-450010-5.50026-8","volume-title":"Aritificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy","author":"R. Reiter","year":"1991","unstructured":"Reiter, R.: The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In: Aritificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pp. 359\u2013380. Academic Press, London (1991)"},{"key":"43_CR20","unstructured":"Scherl, R., Levesque, H.: The frame problem and knowledge-producing actions. In: Procs. of AAAI, pp. 689\u2013695 (1993)"},{"issue":"1-2","key":"43_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(02)00365-X","volume":"144","author":"R. Scherl","year":"2003","unstructured":"Scherl, R., Levesque, H.: Knowledge, action, and the frame problem. Artificial Intelligence\u00a0144(1-2), 1\u201339 (2003)","journal-title":"Artificial Intelligence"},{"key":"43_CR22","unstructured":"Gardiner Security. Glasgow transforms bus security with ip video surveillance, http:\/\/www.ipusergroup.com\/doc-upload\/Gardiner-Glasgowbuses.pdf"},{"key":"43_CR23","unstructured":"Shapiro, S.: Belief change with noisy sensing and introspection. In: Procs. of NRAC, pp. 84\u201389 (2005)"},{"issue":"1","key":"43_CR24","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/j.artint.2010.04.003","volume":"175","author":"S. Shapiro","year":"2011","unstructured":"Shapiro, S., Pagnucco, M., Lesp\u00e9rance, Y., Levesque, H.: Iterated belief change in the situation calculus. Artificial Intelligence\u00a0175(1), 165\u2013192 (2011)","journal-title":"Artificial Intelligence"},{"key":"43_CR25","doi-asserted-by":"crossref","unstructured":"Shet, V.D., Neumann, J., Ramesh, V., Davis, L.S.: Bilattice-based logical reasoning for human detection. In: IEEE Conf. on Computer Vision and Pattern Recognition, CVPR 2007, pp. 1\u20138 (2007)","DOI":"10.1109\/CVPR.2007.383133"},{"key":"43_CR26","doi-asserted-by":"crossref","unstructured":"Wang, T., Diao, Q., Zhang, Y., Song, G., Lai, C., Bradski, G.: A dynamic bayesian network approach to multi-cue based visual tracking. In: Procs. of Pattern Recognition, ICPR, pp. 167\u2013170 (2004)","DOI":"10.1109\/ICPR.2004.1334087"}],"container-title":["Lecture Notes in Computer Science","Scalable Uncertainty Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23963-2_43","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,12]],"date-time":"2025-03-12T14:11:13Z","timestamp":1741788673000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23963-2_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642239625","9783642239632"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23963-2_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}