Faculty Digital Archive

Archive@NYU >
Stern School of Business >
IOMS: Information Systems Working Papers >

Please use this identifier to cite or link to this item: http://hdl.handle.net/2451/14421

Title: TEMPORAL LOGIC AS A SIMULATION LANGUAGE
Authors: Tuzhilin, Alexander
Issue Date: Oct-1990
Publisher: Stern School of Business, New York University
Series/Report no.: IS-90-22
Abstract: We 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.
URI: http://hdl.handle.net/2451/14421
Appears in Collections:IOMS: Information Systems Working Papers

Files in This Item:

File Description SizeFormat
IS-90-22.pdf1.96 MBAdobe PDFView/Open

Items in Faculty Digital Archive are protected by copyright, with all rights reserved, unless otherwise indicated.

 

The contents of the FDA may be subject to copyright, be offered under a Creative Commons license, or be in the public domain.
Please check items for rights statements. For information about NYU’s copyright policy, see http://www.nyu.edu/footer/copyright-and-fair-use.html 
Valid XHTML 1.0 | CSS