@inproceedings{3d5acf51773341f59b8aea2e51dd1b4f,
title = "A constraint mechanism for knowledge specification of simulation systems based on temporal logic",
abstract = "Knowledge specification can be used as a basis for developing and maintaining simulation systems. This paper presents a knowledge specification methodology based on the temporal logic TLC for solving simulation problems. In this methodology, we build a specific constraint mechanism as a standard prototype for a class of simulation problems which may have some common properties. Such a standard prototype can be used to test and improve the knowledge specification of the target system of any problem belonging to this class. When we obtain a satisfactory knowledge specification, a simulation program in Chronolog(MC), a logic programming language based on TLC, can be produced.",
keywords = "knowledge specification, logic programming, simulation, temporal logic",
author = "Chuchang Liu and Orgun, {Mehmet A.}",
year = "1997",
doi = "10.1007/3-540-63797-4_102",
language = "English",
isbn = "3540637974",
volume = "1342",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer, Springer Nature",
pages = "485--495",
editor = "Abdul Sattar",
booktitle = "Advanced Topics in Artificial Intelligence - 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Proceedings",
address = "United States",
note = "10th Australian Joint Conference on Artificial Intelligence, AI 1997 ; Conference date: 30-11-1997 Through 04-12-1997",
}