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
Dynamic logic for reasoning about actions and agents
Logic-based artificial intelligence
Contrary-to-duty reasoning with preference-based dyadic obligations
Annals of Mathematics and Artificial Intelligence
Violation Contexts and Deontic Independence
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Prohairetic Deontic Logic (PDL)
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
A Logic for Reasoning about Digital Rights
CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations
Provisions and Obligations in Policy Rule Management
Journal of Network and Systems Management
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Interaction in Normative Multi-Agent Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Imperatives as obligatory and permitted actions
CICLing'03 Proceedings of the 4th international conference on Computational linguistics and intelligent text processing
Characterizing locality (encapsulation) with bisimulation
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
DEXA'11 Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part II
A state/event temporal deontic logic
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Design by contract deontic design language for multiagent systems
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Towards a first-order deontic action logic
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Cognitive Systems Research
On the complexity of reasoning about dynamic policies
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
Hi-index | 0.00 |