Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems ◽

10.1007/978-3-642-16867-3_2 ◽

2010 ◽

pp. 22-45 ◽

Cited By ~ 9

Author(s):

Nils Bulling ◽

Berndt Farwer

Download Full-text