{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:12:41Z","timestamp":1725495161127},"publisher-location":"Boston, MA","reference-count":11,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387343457"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/0-387-34456-x_44","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T10:57:38Z","timestamp":1194951458000},"page":"431-441","source":"Crossref","is-referenced-by-count":1,"title":["Skeleton of a Supervisor for Enterprise Information Systems"],"prefix":"10.1007","author":[{"given":"James D.","family":"Jones","sequence":"first","affiliation":[]},{"given":"Steve","family":"Reames","sequence":"additional","affiliation":[]},{"given":"George","family":"Pandzik","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"44_CR1","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"M. Gelfond and V. Lifschitz, Classical Negation in Logic Programs and Disjunctive Databases, New Generation Computing, 9, (Ohmsha, Ltd. and Springer-Verlag, 1991) pp. 365\u2013385","journal-title":"New Generation Computing"},{"key":"44_CR2","first-page":"1070","volume":"88","author":"M. Gelfond","year":"1988","unstructured":"M. Gelfond and V. Lifschitz, The Stable Model Semantics for Logic Programming, Proceedings of ICLP 88, (1988), pp. 1070\u20131080.","journal-title":"Proceedings of ICLP"},{"key":"44_CR3","first-page":"569","volume":"74","author":"R. Kowalski","year":"1974","unstructured":"R. Kowalski, Predicate Logic as a Programming Language, Information Processing 74, 569\u2013574 (1974).","journal-title":"Information Processing"},{"key":"44_CR4","unstructured":"R. Kowalski, Logic for Problem Solving (North-Holland, 1979)."},{"issue":"1\/2","key":"44_CR5","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter, A Logic for Default Reasoning, Artificial Intelligence 13(1\/2), 81\u2013132 (1980).","journal-title":"Artificial Intelligence"},{"key":"44_CR6","doi-asserted-by":"crossref","unstructured":"I. Niemela and P. Simons, Smodels-An Implementation of the Stable Model and Well-Founded Semantics for Normal Logic Programs, 4th International Conference on Logic Programming and Non-Monotonic Reasoning, (1997), pp. 420\u2013429.","DOI":"10.1007\/3-540-63255-7_32"},{"key":"44_CR7","doi-asserted-by":"crossref","unstructured":"I. Niemela and P. Simons, Extending The Smodels System with Cardinality and Weight Constraints, In J. Miner, editor, Logic Based AI, (Kluwer, 2000), pp. 491\u2013522.","DOI":"10.1007\/978-1-4615-1567-8_21"},{"key":"44_CR8","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/S0743-1066(96)00141-0","volume":"31","author":"C. Baral","year":"1997","unstructured":"C. Baral, M. Gelfond, and A. Provetti, Reasoning About Actions: Laws, Observations and Hypotheses, Journal of Logic Programming 31, 201\u2013244 (1997).","journal-title":"Journal of Logic Programming"},{"key":"44_CR9","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/S0743-1066(96)00140-9","volume":"31","author":"C. Baral","year":"1997","unstructured":"C. Baral and M. Gelfond, Reasoning about Effects of Concurrent Actions, Journal of Logic Programming 31, 85\u2013118 (1997).","journal-title":"Journal of Logic Programming"},{"key":"44_CR10","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M. Gelfond","year":"1993","unstructured":"M. Gelfond and V. Lifschitz, Representing Actions and Change by Logic Programs, Journal of Logic Programming 17, 301\u2013323 (1993).","journal-title":"Journal of Logic Programming"},{"key":"44_CR11","doi-asserted-by":"crossref","unstructured":"M. Gelfond, V. Lifschitz, and A. Rabinov, What Are the Limitations of the Situation Calculus? in S. Boyer (Ed.), Automated Reasoning, Essays in Honor of Woody Bledsoe (Kluwer Academic Publishers, 1991), pp. 167\u2013181.","DOI":"10.1007\/978-94-011-3488-0_8"}],"container-title":["IFIP International Federation for Information Processing","Research and Practical Issues of Enterprise Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/0-387-34456-X_44.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T05:26:12Z","timestamp":1619501172000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/0-387-34456-X_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9780387343457"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/0-387-34456-x_44","relation":{},"subject":[]}}