Scheduling in the situation calculus: A case study

DOI10.1023/A:1018981822532zbMath0895.68011MaRDI QIDQ1376099

Ray Reiter, Zheng Yuhua

Publication date: 20 September 1998

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

schedulingsituation calculusGOLOG

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Uses Software

• Unnamed Item

This page was built for publication: Scheduling in the situation calculus: A case study