Skip navigation
FDA
  1. Faculty Digital Archive : NYU Libraries
  2. Communities & Collections
  3. Stern School of Business
  4. IOMS: Information Systems Working Papers
  5. TEMPORAL LOGIC AS A SIMULATION LANGUAGE
Full metadata record
DC FieldValueLanguage
dc.contributor.authorTuzhilin, Alexander-
dc.date.accessioned2006-02-13T17:02:28Z-
dc.date.available2006-02-13T17:02:28Z-
dc.date.issued1990-10-
dc.identifier.urihttp://hdl.handle.net/2451/14421-
dc.description.abstractWe advocate the use of temporal logic instead of the first-order logic in rules of knowledge-based simulation systems. We argue that this provides several advantages that will be discussed in the paper. We show how temporal logic is used in simulation by considering language PTL based on temporal logic programming.en
dc.format.extent2004510 bytes-
dc.format.mimetypeapplication/pdf-
dc.languageEnglishEN
dc.language.isoen_US-
dc.publisherStern School of Business, New York Universityen
dc.relation.ispartofseriesIS-90-22-
dc.titleTEMPORAL LOGIC AS A SIMULATION LANGUAGEen
dc.typeWorking Paperen
dc.description.seriesInformation Systems Working Papers SeriesEN
Appears in Collections:IOMS: Information Systems Working Papers

Files in This Item:
File Description SizeFormat 
IS-90-22.pdf1.96 MBAdobe PDFView/Open
Show simple item record


Items in FDA are protected by copyright, with all rights reserved, unless otherwise indicated.