{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T23:55:29Z","timestamp":1648943729126},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1994,9,1]],"date-time":"1994-09-01T00:00:00Z","timestamp":778377600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems Integration"],"published-print":{"date-parts":[[1994,9]]},"DOI":"10.1007\/bf01976184","type":"journal-article","created":{"date-parts":[[2005,7,31]],"date-time":"2005-07-31T16:56:55Z","timestamp":1122829015000},"page":"219-241","source":"Crossref","is-referenced-by-count":0,"title":["Formal model of single agent planning situations"],"prefix":"10.1007","volume":"4","author":[{"given":"Richard","family":"Mayer","sequence":"first","affiliation":[]},{"given":"Madhav","family":"Erraguntla","sequence":"additional","affiliation":[]},{"given":"Christopher","family":"Menzel","sequence":"additional","affiliation":[]},{"given":"Jyh Chen","family":"Hwang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF01976184_CR1","first-page":"741","volume-title":"Proceedings of the Eigth International Joint Conference on Artificial Intelligence","author":"J. F. Allen","year":"1983","unstructured":"J. F. Allen and A. K. Johannes. Planning using a temporal model. InProceedings of the Eigth International Joint Conference on Artificial Intelligence, pages 741\u2013747, Karlsruhe, West Germany, 1983."},{"key":"BF01976184_CR2","volume-title":"Situations and Attitudes","author":"J. Barwise","year":"1983","unstructured":"J. Barwise and J. Perry,Situations and Attitudes. The MIT Press, Cambridge, 1983."},{"key":"BF01976184_CR3","unstructured":"K. Devlin.Logic and Information, Volume I: Situation Theory. Cambridge University Press, 1991."},{"key":"BF01976184_CR4","unstructured":"R. E. Fikes, P. E. Hart and N. J. Nilson. Learning and executing generalized robot plans. InReading in Artificial Intelligence, pages 231\u2013249, Morgan Kaufmann Publishers, Inc., 1981."},{"key":"BF01976184_CR5","unstructured":"M. P. Georgeff. Planning, InReadings in Planning, pages 5\u201325, Morgan Kaufmann Publishers, Inc., 1990."},{"key":"BF01976184_CR6","first-page":"21","volume-title":"Proceedings of CIMCON 90","author":"S. B. Joshi","year":"1990","unstructured":"S. B. Joshi, R. A. Wysk, A. Jones. A scalable architecture for CIM shop floor control. InProceedings of CIMCON 90, pages 21\u201333. National Institute of Standards and Technology, Gaithersburg, MD, May 1990."},{"key":"BF01976184_CR7","volume-title":"IDEFI method formalization","author":"R. J. Mayer","year":"1991","unstructured":"R. J. Mayer, C. M. Menzel, P. S. deWitte,IDEFI method formalization. Knowledge Based Systems, Inc. College Station, TX, 1991."},{"key":"BF01976184_CR8","volume-title":"Theoretical Foundations for Information Representation and Constraint Specification","author":"C. P. Menzel","year":"1990","unstructured":"C. P. Menzel and R. J. Mayer,Theoretical Foundations for Information Representation and Constraint Specification. Knowledge Based Systems, Inc., College Station, TX, 1990."},{"key":"BF01976184_CR9","volume-title":"IDEF5 Ontology Description Capture Method","author":"C. P. Menzel","year":"1991","unstructured":"C. P. Menzel and R. J. Mayer,IDEF5 Ontology Description Capture Method. Knowledge Based Systems, Inc., College Station, TX, 1991."},{"key":"BF01976184_CR10","unstructured":"C. P. Menzel. The importance of mathematical formalization for the advancement of information modelling technology. InProceedings of IDEF Users Group, Fort Worth. TX. 1991."},{"key":"BF01976184_CR11","volume-title":"Proceedings of the International Conference of Engineering Integration and Modeling Technology","author":"C. P. Menzel","year":"1992","unstructured":"C. P. Menzel, R. J. Mayer, and L. K. Sanders, Representation, information flow, and model Integration. In C. Petrie, editor,Proceedings of the International Conference of Engineering Integration and Modeling Technology, MIT Press, Austin, TX, Cambridge, 1992."},{"key":"BF01976184_CR12","volume-title":"Forthcoming in Intelligent Systems in Design and Manufawcturing","author":"C. P. Menzel","year":"1993","unstructured":"C. P. Menzel, R. J. Mayer, D. D. Edwards. IDEF3 process descriptions and their semantics. In A. Kusiac and C. Dagli, editor.Forthcoming in Intelligent Systems in Design and Manufawcturing. ASME Press, New York, 1993."},{"key":"BF01976184_CR13","unstructured":"N. J. Nilsson,Principles of Artificial Intelligence. Tioga Publishing Company, 1980."},{"key":"BF01976184_CR14","unstructured":"S. L. Tanimoto.The Elements of Artificial Intelligence: An Introduction using COMMON LISP. Computer Science Press, 1987."},{"key":"BF01976184_CR15","doi-asserted-by":"crossref","unstructured":"R. Waldinger. Achieving several goals simultaneously. InReadings in Artificial Intelligence. Morgan Kaufmann Publishers, Inc., 1981, pages 250\u2013271.","DOI":"10.1016\/B978-0-934613-03-3.50022-2"},{"key":"BF01976184_CR16","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1207\/s15516709cog0503_2","volume":"5","author":"R. Wilensky","year":"1981","unstructured":"R. Wilensky. Meta-planning: Representing and using knowledge about planning in problem solving and natural language understanding.Cognitive Science. 5: 197\u2013233, 1981.","journal-title":"Cognitive Science"}],"container-title":["Journal of Systems Integration"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01976184.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01976184\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01976184","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,8]],"date-time":"2020-04-08T13:51:58Z","timestamp":1586353918000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01976184"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,9]]},"references-count":16,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1994,9]]}},"alternative-id":["BF01976184"],"URL":"https:\/\/doi.org\/10.1007\/bf01976184","relation":{},"ISSN":["0925-4676","1573-8787"],"issn-type":[{"value":"0925-4676","type":"print"},{"value":"1573-8787","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,9]]}}}