Author:
Gabbay Dov M.,Schlechta Karl
Publisher
Springer Science and Business Media LLC
Subject
Linguistics and Language,Philosophy,Computer Science (miscellaneous)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The Equational Approach to Contrary-to-duty Obligations;Lecture Notes in Computer Science;2014
2. Introducing reactive modal tableaux;Annals of Mathematics and Artificial Intelligence;2012-09-29
3. Global view on reactivity: switch graphs and their logics;Annals of Mathematics and Artificial Intelligence;2012-09-19
4. Inference Rules in Multi-agents’ Temporal Logics;Transactions on Computational Collective Intelligence IV;2011
5. A Framework to Compute Inference Rules Valid in Agents’ Temporal Logics;Knowledge-Based and Intelligent Information and Engineering Systems;2010