Consistent query answers in inconsistent databases
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Dynamic logic for reasoning about actions and agents
Logic-based artificial intelligence
Separating Business Process from User Interaction in Web-Based Information Commerce
Electronic Commerce Research
The Declarative Problem Frame: Designing Systems that Create and Use Norms
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Decentralized Peer-to-Peer Auctions
Electronic Commerce Research
Specifying deadlines with continuous time using deontic and temporal logic
International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce
An Application of Deontic Logic to Information System Constraints
Fundamenta Informaticae - Deontic Logic in Computer Science
A Metamodeling Approach for Reasoning about Requirements
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Contrary-to-Duties Constraints: From UML to Relational Model
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Deontic Relevant Logic in Knowledge-based Requirements Engineering
Proceedings of the 2008 conference on Knowledge-Based Software Engineering: Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering
Towards a Methodology for Modeling Deontic Protocols Using the Organizational Petri Nets Formalism
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Engineering deontic protocols by means of organizational Petri nets
Engineering Applications of Artificial Intelligence
Regularity-based trust in cyberspace
iTrust'03 Proceedings of the 1st international conference on Trust management
Characterization of type hierarchies with open specification
Proceedings of the 2nd international conference on Semantics in databases
Axioms for obligation and robustness with temporal logic
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Semantics of trace relations in requirements models for consistency checking and inferencing
Software and Systems Modeling (SoSyM)
Normative conflicts in electronic contracts
Electronic Commerce Research and Applications
A state/event temporal deontic logic
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Sequences, obligations, and the contrary-to-duty paradox
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
A data sharing agreement framework
ICISS'06 Proceedings of the Second international conference on Information Systems Security
Open issues for normative multi-agent systems
AI Communications
An andersonian deontic logic with contextualized sanctions
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
An Application of Deontic Logic to Information System Constraints
Fundamenta Informaticae - Deontic Logic in Computer Science
Hi-index | 0.00 |