{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:09Z","timestamp":1725664689733},"publisher-location":"Berlin, Heidelberg","reference-count":46,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540604723"},{"type":"electronic","value":"9783540475194"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60472-3_22","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T20:40:32Z","timestamp":1330288832000},"page":"417-435","source":"Crossref","is-referenced-by-count":3,"title":["Inductive modeling: A framework marrying systems theory and non-monotonic reasoning"],"prefix":"10.1007","author":[{"given":"Hessam S.","family":"Sarjoughian","sequence":"first","affiliation":[]},{"given":"Bernard P.","family":"Zeigler","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"22_CR1","first-page":"127","volume-title":"AI, Simulation and Planning in High-Autonomy Systems","author":"T. Asahi","year":"1993","unstructured":"T. Asahi and B.P. Zeigler. \u201cBehavioral characterization of discrete-event systems\u201d. In AI, Simulation and Planning in High-Autonomy Systems, pages 127\u2013132, Tucson, AZ, Sept 1993. IEEE\/CS Press."},{"key":"22_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05689-9","volume-title":"An Introduction to Default Logic","author":"P. Besnard","year":"1989","unstructured":"P. Besnard. An Introduction to Default Logic. Springer-Verlag, New York, 1989."},{"doi-asserted-by":"crossref","unstructured":"D. Bobrow. Special Volume on Non-Monotonic Reasoning. Artificial Intelligence, 13(1\u20132), 1980.","key":"22_CR3","DOI":"10.1016\/0004-3702(80)90009-0"},{"key":"22_CR4","volume-title":"Nonmonotonic Reasoning: Logical Foundations of Commonsense","author":"G. Brewka","year":"1991","unstructured":"G. Brewka. Nonmonotonic Reasoning: Logical Foundations of Commonsense. Cambridge University Press, Cambridge, 1991."},{"key":"22_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3922-0","volume-title":"Continuous System Modeling","author":"F. E. Cellier","year":"1991","unstructured":"F. E. Cellier. Continuous System Modeling. Springer-Verlag, New York, 1991."},{"key":"22_CR6","volume-title":"Representation of Commonsense Knowledge","author":"E. Davis","year":"1990","unstructured":"E. Davis. Representation of Commonsense Knowledge. Morgan Kaufmann, San Mateo, CA, 1990."},{"issue":"2","key":"22_CR7","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. Kleer de","year":"1986","unstructured":"J. de Kleer. \u201cAn assumption based truth maintenance system\u201d. Artificial Intelligence, 28(2):127\u2013162, 1986.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"22_CR8","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1111\/j.2517-6161.1968.tb00722.x","volume":"30","author":"A.P. Dempster","year":"1968","unstructured":"A.P. Dempster. \u201cA generalization of bayesian inference\u201d. Journal of the Royal Statistical Society, Series B, 30(2):205\u2013247, 1968.","journal-title":"Journal of the Royal Statistical Society, Series B"},{"issue":"1","key":"22_CR9","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"J. Doyle. \u201cA truth maintenance system\u201d. Artificial Intelligence, 12(1):231\u2013272, 1979.","journal-title":"Artificial Intelligence"},{"unstructured":"P.A. Fishwick. Simulation model design and execution. Department of Computer Science and Information Sciences, University of Florida, November 1993.","key":"22_CR10"},{"key":"22_CR11","volume-title":"Building Problem Solvers","author":"K.D. Forbus","year":"1993","unstructured":"K.D. Forbus and J. de Kleer. Building Problem Solvers. MIT Press, Cambridge, 1993."},{"unstructured":"M. Genesereth and N.J. Nilsson. Logical Foundations of Artificial Intelligence. Morgan Kaufmann, 1987.","key":"22_CR12"},{"key":"22_CR13","volume-title":"Essentials of Artificial Intelligence","author":"M.L. Ginsberg","year":"1993","unstructured":"M.L. Ginsberg. Essentials of Artificial Intelligence. Morgan Kaufmann, San Mateo, CA, 1993."},{"doi-asserted-by":"crossref","unstructured":"S. Grossberg. Neural Networks and Natural Intelligence. MIT Press, 1988.","key":"22_CR14","DOI":"10.7551\/mitpress\/4934.001.0001"},{"key":"22_CR15","volume-title":"Language in Thought and Action","author":"S.I. Hayakawa","year":"1990","unstructured":"S.I. Hayakawa and A.R. Hayakawa. Language in Thought and Action, Fifth Edition. Harcourt Brace Jovanovich, Publishers, Orlando, Florida, 1990.","edition":"Fifth Edition"},{"volume-title":"Formal Theories of the Commonsense World","year":"1985","unstructured":"J.R. Hobbs and R.C. Moore, editors. Formal Theories of the Commonsense World. Ablex Publishing Corporation, Norwood, New Jersey, 1985.","key":"22_CR16"},{"issue":"1","key":"22_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(91)90047-N","volume":"47","author":"D. Kirsh","year":"1991","unstructured":"D. Kirsh. Special Volume on Foundation of Artificial Intelligence. Artificial Intelligence, 47(1):1\u2013346, 1991.","journal-title":"Artificial Intelligence"},{"key":"22_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-1168-4","volume-title":"Architecture of Systems Problem Solver","author":"G.J. Klir","year":"1985","unstructured":"G.J. Klir. Architecture of Systems Problem Solver. Plenum Press, New York, 1985."},{"key":"22_CR19","volume-title":"Probability Theory","author":"R.G. Laha","year":"1979","unstructured":"R.G. Laha. Probability Theory. John Wiley and Sons, New York, 1979."},{"volume-title":"LNCS 346","year":"1988","unstructured":"M.L. Ginsberg M. Reinfrank, J. de Kleer and E. Sandewall, editors. 2nd International Workshop on Non-Monotonic Reasoning, New York, June 13\u201315 1988. LNCS 346, Springer-Verlag.","key":"22_CR20"},{"unstructured":"J.L. Mackey. The Cement of the Universe: A Study of Causation. Oxford University Press, 1974.","key":"22_CR21"},{"key":"22_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02906-0","volume-title":"Nonmonotonic Logic: Context-Dependent Reasoning","author":"V.W. Marek","year":"1993","unstructured":"V.W. Marek and M. Truszcynski. Nonmonotonic Logic: Context-Dependent Reasoning. Springer-Verlag, New York, 1993."},{"volume-title":"Truth Maintenance Systems","year":"1991","unstructured":"J.P. Martin and M. Reinfrank, editors. Truth Maintenance Systems, Stockholm, Sweden, August 6 1991. ECAI-90 Workshop, Springer-Verlag.","key":"22_CR23"},{"unstructured":"D.A. McAllester. An outlook on truth maintenance. Technical Report AIM-551, MIT, 1980.","key":"22_CR24"},{"key":"22_CR25","volume-title":"Collected Papers of John McCarthy on Commonsense Reasoning","author":"J. McCarthy","year":"1990","unstructured":"J. McCarthy. Formalizing Common Sense. Ablex Publishing Corporation, Norwood, New Jersey, 1990. Collected Papers of John McCarthy on Commonsense Reasoning, edited by V. Lifschitz."},{"unstructured":"J. McCarthy and P. Hayes. \u201cSome philosophical problems from the standpoint of artificial intelligence. In B. Meltzer aad D. Michie, editors, Machine Intelligence, volume 4, pages 463\u2013502. Edinburgh University Press, 1969.","key":"22_CR26"},{"issue":"1\u20132","key":"22_CR27","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","volume":"13","author":"D. McDermott","year":"1980","unstructured":"D. McDermott and J. Doyle. \u201cNon-monotonic logic I\u201d. Artificial Intelligence, 13(1\u20132):41\u201372, 1980.","journal-title":"Artificial Intelligence"},{"key":"22_CR28","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0042462","volume-title":"Abstract System Theory","author":"M.D. Mesarovic","year":"1989","unstructured":"M.D. Mesarovic and Y. Takahara. Abstract System Theory. Springer-Verlag, New York, 1989."},{"key":"22_CR29","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1007\/BF01531080","volume":"1","author":"W. Marek","year":"1990","unstructured":"W. Marek A. Nerode and J. Remmel. \u201cNonmonotonic rule systems I\u201d. Annals of Mathematics and Artificial Intelligence, 1:241\u2013273, 1990.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"unstructured":"N.J. Nilsson. Principles of Artificial Intelligence. Tioga, Palo Alto, CA, 1980.","key":"22_CR30"},{"issue":"1\u20133","key":"22_CR31","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/0004-3702(91)90049-P","volume":"47","author":"N.J. Nilsson","year":"1991","unstructured":"N.J. Nilsson. \u201cLogic and artificial intelligence\u201d. Artificial Intelligence, 47(1\u20133):31\u201356, 1991.","journal-title":"Artificial Intelligence"},{"key":"22_CR32","volume-title":"Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference","author":"J. Pearl","year":"1988","unstructured":"J. Pearl. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann, San Mateo, CA, 1988."},{"key":"22_CR33","volume-title":"Knowledge and Justification","author":"J.L. Pollock","year":"1975","unstructured":"J.L. Pollock. Knowledge and Justification. Princeton University Press, Princeton, New Jersey, 1975."},{"key":"22_CR34","volume-title":"Topics in Mathematical System Theory","author":"P.L. Falk","year":"1969","unstructured":"P.L. Falk R.E. Kalman and M.A. Arbib. Topics in Mathematical System Theory. McGraw-Hill, New York, 1969."},{"issue":"1\u20132","key":"22_CR35","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter. \u201cA logic for default reasoning\u201d. Artificial Intelligence, 13(1\u20132):81\u2013132, 1980.","journal-title":"Artificial Intelligence"},{"doi-asserted-by":"crossref","unstructured":"H.S. Sarjoughian. Inductive Modeling of Discrete-event Systems: A TMS-based Non-monotonic Reasoning Approach. PhD thesis, University of Arizona, April 1995. Department of Electrical and Computer Engineering.","key":"22_CR36","DOI":"10.1007\/3-540-60472-3_22"},{"key":"22_CR37","volume-title":"Mathematical Theory of Evidence","author":"G.A. Shafer","year":"1979","unstructured":"G.A. Shafer. Mathematical Theory of Evidence. Princeton University Press, Princeton, New Jersey, 1979."},{"key":"22_CR38","volume-title":"Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence","author":"Y. Shoham","year":"1988","unstructured":"Y. Shoham. Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence. MIT Press, Cambridge, 1988."},{"key":"22_CR39","volume-title":"Discrete Mathematical Structures and Their Applications","author":"H.S. Stone","year":"1973","unstructured":"H.S. Stone. Discrete Mathematical Structures and Their Applications. Science Research Associates, Inc., Chicago, 1973."},{"unstructured":"P. Suppes. A Probabilistic Theory of Causation. North-Holland, 1973.","key":"22_CR40"},{"issue":"2\u20133","key":"22_CR41","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0004-3702(92)90029-W","volume":"56","author":"D. Weld","year":"1992","unstructured":"D. Weld. \u201cReasoning about model accuracy. Artificial Intelligence, 56(2\u20133):255\u2013300, 1992.","journal-title":"Artificial Intelligence"},{"key":"22_CR42","volume-title":"Model-based Systems Engineering: An Introduction to the Mathematical Theory of Discrete Systems and to the Tricotyledon Theory of System Design","author":"W.A. Wymore","year":"1993","unstructured":"W.A. Wymore. Model-based Systems Engineering: An Introduction to the Mathematical Theory of Discrete Systems and to the Tricotyledon Theory of System Design. CRC, Boca Raton, 1993."},{"key":"22_CR43","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/BF00485052","volume":"3","author":"L.A. Zadeh","year":"1975","unstructured":"L.A. Zadeh. \u201cFuzzy logic and approximate reasoning\u201d. Syntheses, 3:407\u2013428, 1975.","journal-title":"Syntheses"},{"unstructured":"B.P. Zeigler. Theory of Modeling and Simulation. John Wiley and Sons, 1976.","key":"22_CR44"},{"unstructured":"B.P. Zeigler. Multi-Facetted Modelling and Simulation. Academic Press, 1984.","key":"22_CR45"},{"key":"22_CR46","volume-title":"Object-Oriented Simulation with Hierarchical, Modular Models: Intelligent Agents and Endomorphic Systems","author":"B.P. Zeigler","year":"1990","unstructured":"B.P. Zeigler. Object-Oriented Simulation with Hierarchical, Modular Models: Intelligent Agents and Endomorphic Systems. Academic Press, New York, 1990."}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60472-3_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T16:59:56Z","timestamp":1713632396000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60472-3_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540604723","9783540475194"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/3-540-60472-3_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}