|
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
|
All items in Faculty Digital Archive are protected by copyright, with all rights reserved.
|
