The architecture of an integrated symbolic simulator

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

The architecture of an integrated symbolic simulator

Full text

Pdf (679 KB)

Source

International conference on Industrial and engineering applications of artificial intelligence and expert systems archive
Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2 table of contents

Tullahoma, Tennessee, United States

Pages: 984 - 991

Year of Publication: 1988

ISBN:0-89791-271-3

Author

K. Yue

USC Information Sciences Institute, Marina del Rey, CA

Sponsor

SIGART: ACM Special Interest Group on Artificial Intelligence

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 2, Citation Count: 1

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/55674.55716 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	Balzer 79	Balzer, R. M., and N. M. Goldman, "Principles of good software specification and their implications for specification languages,'" in Proceedings of the Specifications of Reliable Software Conference, pp. 58-67, Boston, Massachusetts, April 1979. (Also presented at the National Computer Conference, 1981.)
	Chiu 87	Charles Chiu, "Simulations in a Model-world Based on an Algebraic Approach," in Proceedings of the Second Workshop on ,41 and Simulation, July 1987.
	Cohen 84	Donald Cohen, "A forward inference engine to aid in understanding specifications," in Proceedings of National Conference on Artificial Intelligence, August 1984.
	DeKleer 84	Johan De Kleer, How circuits work, Artificial Intelligence, v.24 n.1-3, p.205-280, Dec. 1984 [doi>10.1016/0004-3702(84)90040-7]
	Dubois 87	Eric Dubois and Jacques hagelstein, "Reasoning on Formal Requirements: A Lift Control System," in Proceeding~ of The Fourth International Workshop on Software Specification and Design, Monterey, California, U.S.A., April 1987.
	Fickas 87	Steve Fickas, "Automating t.he Analysis Process: An Example," in Proceedings of The Fourth International Workshop on Software Specification and Design, April 1987.
	Fishwick 87	P. Fishwick, "Categorizing Process Abstraction in Simulation Modeling," in Proceedings of the Second Workshol on AI and Simulation, July 1987.
	Genrich 81	H.J.Genrich and K. Lautenbach, "System Modelling with High Level Petri Nets," Theoretical Computer Science 13, 1981.
	Kemmerer 85	Richard Kemmerer, "Testing Formal Specification to Detect Design Errors," IEEE transactions on software engineering 11, (1), 1985.
	Kuipers 86	B J Kuipers, Qualitative simulation, Artificial Intelligence, v.29 n.3, p.289-338, Sept. 1986 [doi>10.1016/0004-3702(86)90073-1]
	Mackie 80	Mackie, J.L., The Cement of the Universe, Clarendon Press, Oxford, 1980.
	Masrani 87	R. Masrani, Shells McIlraith, "ISIM, towards an integration of artificial intelligence and simulation," in Proceedings of the Second Workshop on Air and Simulation, July 1987.
	Mohammed 86	John Mohammed and Reid Simmons, "Qualitative Simulation of Semiconductor Fabrication," in Proceedings of the National Conference on Artificial Intelligence, Philadelphia, Pennsylvania, 1986.
	Murray 86	William R. Murray, Automatic Program Debugging for Intelligent Tutoring Systems (PhDdissertation), University of Texas at Austin, Austin, TX, 1986
	Rich 87	Charles Rich, Richard C. Waters, Howard B. Reubenstein, "Toward a Requirement Apprentice," in Proceedings of The Fourth International Workshop on Software Specification and Design, Monterey, California, U.S.A., April 1987.
	Rieger 77	Rieger, Chuck and Milton Grinberg, "The declarative representation and procedural simulation of causality in physical mechanisms," in Proceedings of International Joint Conference on Artificial Intelligence, Cambridge, MA, 1977.
	Weld 86	D S Weld, The use of aggregation in causal simulation, Artificial Intelligence, v.30 n.1, p.1-34, Oct. 1986 [doi>10.1016/0004-3702(86)90066-4]
	Wheeler 85	G.R. Wheeler, Numerical Petri Nets --A Definition, Telecom Australia, Technical Report, 1985.
	Wills 87	Linda M. Wills, Automated Program Recognition, Massachusetts Institute of Technology, Cambridge, MA, 1987
	Winograd 87	Winogrsd, T., Aleph, a system specification language, Stanford University Computer Science Department, Technical Report, forthcoming 1987.
	Yue 87	~ue, Kaizhi, "What does it mean to say a specification is complete?," in Proceedings of The Fourth International Workshop on Software Speci ficatio.~ ar:.d Desiyn, Monterey, California, U.S.A., April 1987.
	Yue 88	Yue, Kaizhi, "Directionality and Stability of System Behaviors," in Proceedings of The Fourth Conference on Artificial Intelligence Applications, San Diego, California, U.S.A., March 1988.
	Zeigler 76	Bernard P. Zeigler, Theory of Modelling and Simulation, Krieger Publishing Co., Inc., Melbourne, FL, 1984