Knowledge Representation, Reasoning and Integration Using Temporal Logic with Clocks

✍ Scribed by Mehmet A. Orgun; Chuchang Liu; Abhaya C. Nayak

• Book ID: 107508859
• Publisher: Springer-Verlag
• Year: 2008
• Tongue: English
• Weight: 509 KB
• Volume: 2
• Category: Article
• ISSN: 1661-8270
• DOI: 10.1007/s11786-008-0048-4