Checking regulation consistency by using SOL-resolution
ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
Norms and time in agent-based systems
Proceedings of the 8th international conference on Artificial intelligence and law
Proceedings of the 8th international conference on Artificial intelligence and law
Cross-organizational workflow integration using contracts
Decision Support Systems - Special issue: Formal modeling and electronic commerce
Knowledge-Driven versus Data-Driven Logics
Journal of Logic, Language and Information
On Multi-agent Systems Specification via Deontic Logic
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
A Logic for Reasoning about Digital Rights
CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations
Verifying epistemic properties of multi-agent systems via bounded model checking
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Verifying epistemic properties of multi-agent systems via bounded model checking
Fundamenta Informaticae - Concurrency specification and programming
Specifying and reasoning with institutional agents
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Specifying deadlines with continuous time using deontic and temporal logic
International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce
A logical model of directed obligations and permissions to support electronic contracting
International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce
Fundamenta Informaticae - Deontic Logic in Computer Science
Specifying protocols for multi-agent systems interaction
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Securing uniqueness of rights e-documents: a deontic process perspective
Journal of Theoretical and Applied Electronic Commerce Research
Model checking norms and sanctions in institutions
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
Representations of Time within Normative MAS
Proceedings of the 2010 conference on Legal Knowledge and Information Systems: JURIX 2010: The Twenty-Third Annual Conference
Normative conflicts in electronic contracts
Electronic Commerce Research and Applications
WISE'05 Proceedings of the 6th international conference on Web Information Systems Engineering
Normative specification: a tool for trust and security
FAST'05 Proceedings of the Third international conference on Formal Aspects in Security and Trust
Verifying Epistemic Properties of Multi-agent Systems via Bounded Model Checking
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 2
Fundamenta Informaticae - Deontic Logic in Computer Science
Hi-index | 0.00 |