Subject
General Computer Science,Theoretical Computer Science
Reference38 articles.
1. M. Abadi, Z. Manna, Temporal Logic Programming, Proc. IEEE Symp. on Logic Programming, 1987.
2. Logic programming;Apt,1990
3. On-line algorithm for satisfiability problem with uncertainty;Ausiello;Theoret. Comput. Sci.,1997
4. A fuzzy relational inference language;Baldwin;Fuzzy Sets and Systems,1984
5. M. Baudinet, Temporal Logic Programming is complete and expressive, Proc. ACM Conf. on Principles of Programming Languages, 1989.
Cited by
74 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献