Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Handbook of theoretical computer science (vol. B)
The temporal analysis of Chisholm's paradox
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Contrary-to-duty reasoning with preference-based dyadic obligations
Annals of Mathematics and Artificial Intelligence
Autonomous Agents and Multi-Agent Systems
Agency and Deontic Logic, J.F. Horty
Journal of Logic, Language and Information
Axioms for obligation and robustness with temporal logic
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
| Hi-index | 0.00 |