Temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
An Interval Logic for Real-Time System Specification
IEEE Transactions on Software Engineering
Analyzing Packaging Trade-Offs During System Design
IEEE Design & Test
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
A fixpoint semantics and an SLD-resolution calculus for modal logic programs
Fundamenta Informaticae
Logic-based specification languages for intelligent software agents
Theory and Practice of Logic Programming
Theoretical Computer Science
Comments on temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
Pdk: the system and its language
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Reasoning about epistemic states of agents by modal logic programming
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs
Fundamenta Informaticae
Hi-index | 0.00 |