Author:
Goranko V.,Montanari A.,Sala P.,Sciavicco G.
Subject
Applied Mathematics,Logic
Reference36 articles.
1. System description: The tableaux workbench;Abate,2003
2. Maintaining knowledge about temporal intervals;Allen;Comm. ACM,1983
3. Free-variable tableaux for propositional modal logics;Beckert;Studia Logica,2001
4. A decision procedure and complete axiomatization of finite interval temporal logic with projection;Bowman;J. Logic Comput.,2003
5. Bounded model search in linear temporal logic and its application to planning;Cerrito,1998
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献