Mechanisms for Temporal Logic Implementation in Rule-based Systems.

Josef Hahn, Karl-Heinz Krempels, Christoph Terwelp

Browse the full ICAART paper archive.