Distributed cooperation with action systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
A logic-based foundation of discrete event modeling and simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Templar: a knowledge-based language for software specifications using temporal logic
ACM Transactions on Information Systems (TOIS)
Checking the consistency of a hybrid knowledge base system
Knowledge-Based Systems
A new definitional specification language
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartI
| Hi-index | 0.00 |