Search results for "obligation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
82	Lambèr M. M. Royakkers, Frank Dignum	Organizations and Collective Obligations.	DEXA	2000	DBLP DOI BibTeX RDF
68	Marco Casassa Mont, Filipe Beato	On Parametric Obligation Policies: Enabling Privacy-Aware Information Lifecycle Management in Enterprises.	POLICY	2007	DBLP DOI BibTeX RDF
68	Mark A. Brown	Obligation, Contracts, and Negotiation.	DEON	2004	DBLP DOI BibTeX RDF
68	Vandana Kabilan, Paul Johannesson, Dickson M. Rugaimukamu	Business Contract Obligation Monitoring through Use of Multi Tier Contract Ontology.	OTM Workshops	2003	DBLP DOI BibTeX RDF
66	Qun Ni, Elisa Bertino, Jorge Lobo 0001	An obligation model bridging access control policies and privacy policies.	SACMAT	2008	DBLP DOI BibTeX RDF	privacy, role based access control, policy, obligation
66	Paul McNamara	Praise, Blame, Obligation, and Beyond: Toward a Framework for Classical Supererogation and Kin.	DEON	2008	DBLP DOI BibTeX RDF	Supererogation, Offense, Praise, Blame, Aretaic, Deontic, Indifferent, Obligation, Neutral
57	John Sören Pettersson, Simone Fischer-Hübner, Marco Casassa Mont, Siani Pearson	How ordinary internet users can have a chance to influence privacy policies.	NordiCHI	2006	DBLP DOI BibTeX RDF	obligation management, user interfaces, privacy policy
56	Zhen Liu 0001, Anand Ranganathan, Anton Riabov	Specifying and Enforcing High-Level Semantic Obligation Policies.	POLICY	2007	DBLP DOI BibTeX RDF
56	Pedro Gama, Paulo Ferreira 0001	Obligation Policies: An Enforcement Platform.	POLICY	2005	DBLP DOI BibTeX RDF
54	Zhicheng Wen, Huaikou Miao, Hongwei Zeng	Generating Proof Obligation to Verify Object-Z Specification.	ICSEA	2006	DBLP DOI BibTeX RDF	formal specification, Object-Z, proof obligation
47	Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta	Security validation tool for business processes.	SACMAT	2011	DBLP DOI BibTeX RDF
47	Noëmi Manders-Huits	Moral responsibility and IT for human enhancement.	SAC	2006	DBLP DOI BibTeX RDF	epistemic dependence, epistemic paternalism, moral deskilling, moral responsibility, enhancement, computer ethics
47	Marco Casassa Mont	Towards Scalable Management of Privacy Obligations in Enterprises.	TrustBus	2006	DBLP DOI BibTeX RDF
45	Lennart Åqvist	Combinations of Tense and Deontic Modality.	DEON	2004	DBLP DOI BibTeX RDF	temporal realization operators, historical necessity, conditional obligation, finite two-dimensional co-ordinate system, frame constants
45	Emil Lupu, Morris Sloman	Conflicts in Policy-Based Distributed Systems Management.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	Obligation policy, meta-policy, management roles, conflict resolution, authorization policy, policy conflict
45	Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden	A Logic for Reasoning About Security.	ACM Trans. Comput. Syst.	1992	DBLP DOI BibTeX RDF	composition knowledge, security, integrity, policy, time, logic, secrecy, permission, obligation, possible-worlds
44	Jan M. Broersen	A Logical Analysis of the Interaction between 'Obligation-to-do' and 'Knowingly Doing'.	DEON	2008	DBLP DOI BibTeX RDF
44	Zheng-guang Wang, Xiaohui Liang, Qinping Zhao	Commitment and Obligation Based on Utility in Agent Organization.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
44	Andreas Schaad	Revocation of Obligation and Authorisation Policy Objects.	DBSec	2005	DBLP DOI BibTeX RDF
44	Robert Demolombe, Andreas Herzig	Obligation Change in Dependence Logic and Situation Calculus.	DEON	2004	DBLP DOI BibTeX RDF
44	Carlos Ribeiro, Andre Zuquete, Paulo Ferreira 0001	Enforcing Obligation with Security Monitors.	ICICS	2001	DBLP DOI BibTeX RDF
44	Bernhard K. Aichernig, Peter Gorm Larsen	A Proof Obligation Generator for VDM-SL.	FME	1997	DBLP DOI BibTeX RDF
44	A. J. I. Jones	On the Relationship Between Permission and Obligation.	ICAIL	1987	DBLP DOI BibTeX RDF
43	Yehia Elrakaiby, Frédéric Cuppens, Nora Cuppens-Boulahia	From Contextual Permission to Dynamic Pre-obligation: An Integrated Approach.	ARES	2010	DBLP DOI BibTeX RDF	Pre-obligation, security policies, policy management
42	Davide Grossi, Barteld Kooi, Xingchi Su, Rineke Verbrugge	How Knowledge Triggers Obligation - A Dynamic Logic of Epistemic Conditional Obligation.	LORI	2021	DBLP DOI BibTeX RDF
42	Paul McNamara	Agential obligation as non-agential personal obligation plus agency.	J. Appl. Log.	2004	DBLP DOI BibTeX RDF
35	Meriam Ben-Ghorbel-Talbi, Frédéric Cuppens, Nora Cuppens-Boulahia, Adel Bouhoula	An Extended Role-Based Access Control Model for Delegating Obligations.	TrustBus	2009	DBLP DOI BibTeX RDF
35	Jesse Hughes, Lambèr M. M. Royakkers	Don't Ever Do That! Long-term Duties in PD e L.	Stud Logica	2008	DBLP DOI BibTeX RDF	dynamic logic, deontic logic
35	Keith Irwin, Ting Yu 0001, William H. Winsborough	On the modeling and analysis of obligations.	CCS	2006	DBLP DOI BibTeX RDF	policy, obligations
35	Jesse Hughes, Lambèr M. M. Royakkers	Don't Ever Do That! Long-Term Duties in PDeL.	DEON	2006	DBLP DOI BibTeX RDF
35	Guido Boella, Leonardo Lesmo, Lyda Favali	The Definition of Legal Relations in a BDI Multiagent Framework.	AI*IA	2001	DBLP DOI BibTeX RDF
33	Guido Governatori, Antonino Rotolo	BIO logical agents: Norms, beliefs, intentions in defeasible logic.	Auton. Agents Multi Agent Syst.	2008	DBLP DOI BibTeX RDF	Intention and obligation, Agent types, Computational complexity, Social agents, Defeasible logic
33	Xavier Parent	On the Strong Completeness of Åqvist's Dyadic Deontic Logic G.	DEON	2008	DBLP DOI BibTeX RDF	Conditional obligation, preference-based semantics, DSDL3, strong completeness
33	Marco Casassa Mont, Robert Thyne	A Systemic Approach to Automate Privacy Policy Enforcement in Enterprises.	Privacy Enhancing Technologies	2006	DBLP DOI BibTeX RDF	privacy-aware access control, obligation management, privacy, identity management, policy enforcement
33	Guido Governatori, Antonino Rotolo, Vineet Padmanabhan	The cost of social agents.	AAMAS	2006	DBLP DOI BibTeX RDF	computational complexity, intention, social agents, obligation, defeasible logic
33	T. F. Himdi, Ravi S. Sandhu	Lattice Based Models for Controlled Sharing of Confidential Information in the Saudi Hajj System.	ACSAC	1997	DBLP DOI BibTeX RDF	lattice based models, controlled sharing, confidential information, Saudi Hajj system, pilgrimage, annual event, Saudi Arabia, government ministries, trusted environment, Saudi ministries, no obligation access security, Chinese Wall security, information flow policy, interoperability, confidentiality, data sharing, security requirements, security requirement, government data processing, shared data, multi level security
33	Nicholas Yialelis, Emil Lupu, Morris Sloman	Role-based security for distributed object systems.	WETICE	1996	DBLP DOI BibTeX RDF	role based security, multi organisational enterprise, role framework, obligation policies, domain based authentication service, replicated servers, minimal state, access control, distributed processing, role based access control, security policies, authorisation, security architecture, distributed object systems, access rights, symmetric cryptography, security agents
33	Murillo Pontual, Omar Chowdhury, William H. Winsborough, Ting Yu 0001, Keith Irwin	Toward practical authorization-dependent user obligation systems.	AsiaCCS	2010	DBLP DOI BibTeX RDF	RBAC, policy, accountability, obligations, authorization systems
33	Michael Gelfond, Jorge Lobo 0001	Authorization and Obligation Policies in Dynamic Systems.	ICLP	2008	DBLP DOI BibTeX RDF
33	Joris Hulstijn	Need to Know: Questions and the Paradox of Epistemic Obligation.	DEON	2008	DBLP DOI BibTeX RDF
33	Guido Boella, Joris Hulstijn, Yao-Hua Tan, Leendert W. N. van der Torre	Modeling Control Mechanisms with Normative Multiagent Systems: The Case of the Renewables Obligation.	AAMAS Workshops	2005	DBLP DOI BibTeX RDF
33	Guido Governatori, Antonino Rotolo	Defeasible Logic: Agency, Intention and Obligation.	DEON	2004	DBLP DOI BibTeX RDF
33	Heiko Ludwig, Markus Stolze	Simple Obligation and Right Model (SORM) - for the Runtime Management of Electronic Service Contracts.	WES	2003	DBLP DOI BibTeX RDF
23	Pablo F. Castro, T. S. E. Maibaum	Reasoning about System-Degradation and Fault-Recovery with Deontic Logic.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF	Fault-Tolerance, Formal Specification, Software Design, Deontic Logics
23	Eunjee Song, Hanil Kim, Wuliang Sun	A property-based verification approach in aspect-oriented modeling.	SAC	2009	DBLP DOI BibTeX RDF
23	Henrique Lopes Cardoso, Eugénio C. Oliveira	Flexible deadlines for directed obligations in agent-based business contracts.	AAMAS (2)	2009	DBLP BibTeX RDF	normative behavior, contract, norms, deadline
23	Juan Bicarregui, Alvaro Arenas, Benjamin Aziz, Philippe Massonet, Christophe Ponsard	Towards Modelling Obligations in Event-B.	ABZ	2008	DBLP DOI BibTeX RDF
23	Cristian Prisacariu, Gerardo Schneider	A Formal Language for Electronic Contracts.	FMOODS	2007	DBLP DOI BibTeX RDF
23	David L. Heine, Monica S. Lam	Static detection of leaks in polymorphic containers.	ICSE	2006	DBLP DOI BibTeX RDF	program analysis, type systems, memory management, error detection, memory leaks
23	Chetan Shiva Shankar, Anand Ranganathan, Roy H. Campbell	An ECA-P Policy-based Framework for Managing Ubiquitous Computing Environments.	MobiQuitous	2005	DBLP DOI BibTeX RDF
23	Jan M. Broersen, Frank Dignum, Virginia Dignum, John-Jules Ch. Meyer	Designing a Deontic Logic of Deadlines.	DEON	2004	DBLP DOI BibTeX RDF
23	Gail-Joon Ahn	Specification and Classification of Role-based Authorization Policies.	WETICE	2003	DBLP DOI BibTeX RDF
23	Laurence Cholvy, Christophe Garion	Deriving individual obligations from collective obligations.	AAMAS	2003	DBLP DOI BibTeX RDF	multiagent systems, modal logic, deontic logic
23	Murali Rangarajan, Kshama Jambhekar, Amitvikram Rajkhowa, Perry Alexander	VSPEC and Its Integrated Tool Suite.	ECBS	2002	DBLP DOI BibTeX RDF	VSPEC, Constraints Verification, Requirements Analysis, Functional Verification, Test Vector Generation
23	Yao-Hua Tan, Walter Thoen	Modeling Directed Obligations and Permissions in Trade Contracts.	HICSS (5)	1998	DBLP DOI BibTeX RDF
23	Frank Dignum, Ruurd Kuiper 0001	Combining Dynamic Deontic Logic and Temporal Logic for the Specification of Deadlines.	HICSS (5)	1997	DBLP DOI BibTeX RDF
23	Douglas P. Bogia, Simon M. Kaplan	Flexibility and control for dynamic workflows in the WORLDS environment.	COOCS	1995	DBLP DOI BibTeX RDF
23	Jock D. Mackinlay	Applying a Theory of Graphical Presentation to the Graphic Design of User Interfaces.	ACM Symposium on User Interface Software and Technology	1988	DBLP DOI BibTeX RDF
22	Rüdiger Grimm	A Formal IT-Security Model for a Weak Fair-Exchange Cooperation with Non-repudiation Proofs.	SECURWARE	2009	DBLP DOI BibTeX RDF	IT-security model, secure state, trust model, non-repudiation, fair exchange, obligation, transition rule
22	Yury Gryazin 0001, Michael Landrigan	A Regularized Unconstrained Optimization in the Bond Portfolio Valuation and Hedging.	World Congress on Engineering (Selected Papers)	2008	DBLP DOI BibTeX RDF	Regularized Unconstrained Optimization, Bond Portfolio, Collateralized Mortgage Obligation, Valuation, Hedging
22	Kevin P. Twidle, Emil Lupu, Naranker Dulay, Morris Sloman	Ponder2 - A Policy Environment for Autonomous Pervasive Systems.	POLICY	2008	DBLP DOI BibTeX RDF	Ponder2, Self-Managed Cell, PonderTalk, Policy, Authorisation, Pervasive, Obligation
22	David W. Chadwick, Stijn F. Lievens	Enforcing "sticky" security policies throughout a distributed application.	Middleware Security	2008	DBLP DOI BibTeX RDF	application independent PEP, obligation enforcement, privacy policy enforcement, PDP, sticky policies
22	Pierre Flener, Justin Pearson, Luis G. Reyna, Olof Sivertsson	Design of Financial CDO Squared Transactions Using Constraint Programming.	Constraints An Int. J.	2007	DBLP DOI BibTeX RDF	Financial mathematics, Credit derivatives, Collateralised debt obligation (CDO), CDO squared, Portfolio design (PD), Optimal portfolio design (OPD), Balanced incomplete block design (BIBD), Embedding, Constraint programming
22	Naoyasu Ubayashi, Shin Nakajima 0001	Context-aware feature-oriented modeling with an aspect extension of VDM.	SAC	2007	DBLP DOI BibTeX RDF	feature-oriented modeling, context, software product line, aspect orientation, VDM, weaving, proof obligation
22	Frédéric Cuppens, Nora Cuppens-Boulahia, Tony Ramard	Availability Enforcement by Obligations and Aspects Identification.	ARES	2006	DBLP DOI BibTeX RDF	temporized actions, Availability, aspects, obligation
22	Ninh-Thuan Truong, Jeanine Souquières	Verification of behavioural elements of UML models using B.	SAC	2005	DBLP DOI BibTeX RDF	UML, verification, metamodel, B, proof obligation
22	Andreas Schaad, Jonathan D. Moffett	Separation, review and supervision controls in the context of a credit application process: a case study of organisational control principles.	SAC	2004	DBLP DOI BibTeX RDF	control principles, delegation of obligation, security, management, roles, review, supervision
22	Bruno Mermet, Dominique Méry	Service specifications: to B, or not to B.	FMSP	1998	DBLP DOI BibTeX RDF	B abstract machine, formal specification, case studies, service, invariance, feature interaction, theorem prover, proof obligation
21	Marinella Quaranta, Ilaria Angela Amantea, Marco Grosso	Obligation for AI Systems in Healthcare: Prepare for Trouble and Make it Double?	Rev. Socionetwork Strateg.	2023	DBLP DOI BibTeX RDF
21	Tong Wan, Yuechuan Tao, Jing Qiu 0001, Shuying Lai	Distributed Energy and Carbon Emission Right Trading in Local Energy Systems Considering the Emission Obligation on Demand Side.	IEEE Syst. J.	2023	DBLP DOI BibTeX RDF
21	Zihao Li 0003	Why the European AI Act transparency obligation is insufficient.	Nat. Mac. Intell.	2023	DBLP DOI BibTeX RDF
21	William Seymour, Mark Coté, Jose M. Such	Legal Obligation and Ethical Best Practice: Towards Meaningful Verbal Consent for Voice Assistants.	CoRR	2023	DBLP DOI BibTeX RDF
21	Daniela Inclezan	An ASP Framework for the Refinement of Authorization and Obligation Policies.	CoRR	2023	DBLP DOI BibTeX RDF
21	Daniela Inclezan	An ASP Framework for the Refinement of Authorization and Obligation Policies.	Theory Pract. Log. Program.	2023	DBLP DOI BibTeX RDF
21	Sergio Servantez, Nedim Lipka, Alexa F. Siu, Milan Aggarwal, Balaji Krishnamurthy, Aparna Garimella, Kristian J. Hammond, Rajiv Jain	Computable Contracts by Extracting Obligation Logic Graphs.	ICAIL	2023	DBLP DOI BibTeX RDF
21	Jessa Stegall, John Mikhail, Shaun Nichols, Tamar Kushnir	Underdetermination and Obligation Rules: Adult and Children's use of Closure Principles in Moral Learning.	CogSci	2023	DBLP BibTeX RDF
21	William Seymour, Mark Coté, Jose M. Such	Legal Obligation and Ethical Best Practice: Towards Meaningful Verbal Consent for Voice Assistants.	CHI	2023	DBLP DOI BibTeX RDF
21	Dominik Pichler, Xavier Parent	Perspectival Obligation and Extensionality in an Alethic-Deontic Setting.	DEON	2023	DBLP BibTeX RDF
21	Huimin Dong, Beishui Liao, Réka Markovich, Leendert van der Torre	Defeasible Deontic Logic: Arguing about Permission and Obligation.	FLAP	2022	DBLP BibTeX RDF
21	Liang Chen, Cheng Zeng, Stilianos Vidalis	An Incentive Mechanism for Managing Obligation Delegation.	CRiSIS	2022	DBLP DOI BibTeX RDF
21	Bennett Holman	An ethical obligation to ignore the unreliable.	Synth.	2021	DBLP DOI BibTeX RDF
21	Marianne Bamkin	The moral obligation for interlibrary lending.	J. Libr. Inf. Sci.	2021	DBLP DOI BibTeX RDF
21	Jiangqiu GE, Li Chen	The obligation to provide "non-personalised" search results under the Chinese E-commerce law.	Comput. Law Secur. Rev.	2021	DBLP DOI BibTeX RDF
21	Piotr Kulicki, Robert Trypuz, Marek J. Sergot	Who is obliged when many are involved? Labelled transition system modelling of how obligation arises.	Artif. Intell. Law	2021	DBLP DOI BibTeX RDF
21	Glenda C. M. Amaral, Tiago Prince Sales, Giancarlo Guizzardi	Modeling Payments and Linked Obligation Settlements.	EEWC	2021	DBLP DOI BibTeX RDF
21	Thabo G. Hlalele, Raj Naidoo, Jiangfeng Zhang, Ramesh C. Bansal	Dynamic Economic Dispatch With Maximal Renewable Penetration Under Renewable Obligation.	IEEE Access	2020	DBLP DOI BibTeX RDF
21	Xi Xu, Zhong Yao, Thompson S. H. Teo	Moral obligation in online social interaction: Clicking the "like" button.	Inf. Manag.	2020	DBLP DOI BibTeX RDF
21	Silvano Colombo Tosatto, Guido Governatori, Nick van Beest	Business Process Full Compliance with Respect to a Set of Conditional Obligation in Polynomial Time.	CoRR	2020	DBLP BibTeX RDF
21	Michelle Trim	Computing's social obligation.	SIGCAS Comput. Soc.	2020	DBLP DOI BibTeX RDF
21	Danielle Ferguson, Yan Albright, Daniel Lomsak, Tyler Hanks, Kevin Orr, Jay Ligatti	PoCo: A Language for Specifying Obligation-Based Policy Compositions.	ICSCA	2020	DBLP DOI BibTeX RDF
21	Minjung Roh, Kiwan Park	Adoption of O2O food delivery services in South Korea: The moderating role of moral obligation in meal preparation.	Int. J. Inf. Manag.	2019	DBLP DOI BibTeX RDF
21	Quan Zhou 0007, Mohammad Shahidehpour, Tao Sun, Donghan Feng, Mingyu Yan	Cooperative Game for Carbon Obligation Allocation Among Distribution System Operators to Incentivize the Proliferation of Renewable Energy.	IEEE Trans. Smart Grid	2019	DBLP DOI BibTeX RDF
21	Azzeddine Benabbou, Domitile Lourdeaux, Dominique Lenne	A model for prohibition and obligation dilemmas generation in virtual environments.	CoRR	2019	DBLP BibTeX RDF
21	Pieter T. J. Wolters	The obligation to update insecure software in the light of Consumentenbond/Samsung.	Comput. Law Secur. Rev.	2019	DBLP DOI BibTeX RDF
21	Fabio Martinelli, Paolo Mori, Andrea Saracino, Francesco Di Cerbo	Obligation Management in Usage Control Systems.	PDP	2019	DBLP DOI BibTeX RDF
21	Shota Horiguchi, Naoyuki Kanda, Kenji Nagamatsu	Multimodal Response Obligation Detection with Unsupervised Online Domain Adaptation.	INTERSPEECH	2019	DBLP DOI BibTeX RDF
21	Kotaro Funakoshi, Ryota Yamagami, Shigeki Sugano, Mikio Nakano	Response Obligation Estimation That Considers Users' Repetitive Utterances using Knowledge-Guided Random Forest.	Humanoids	2019	DBLP DOI BibTeX RDF
21	Mouiad Al-Wahah, Ahmed Saaudi, Csilla Farkas	Semantic-based Obligation for Context-Based Access Control.	ICETE (2)	2019	DBLP DOI BibTeX RDF
21	Anze Mihelic, Simon Vrhovec	Obligation to Defend the Critical Infrastructure? Offensive Cybersecurity Measures.	J. Univers. Comput. Sci.	2018	DBLP BibTeX RDF
21	Robert A. Kowalski, Ken Satoh	Obligation as Optimal Goal Satisfaction.	J. Philos. Log.	2018	DBLP DOI BibTeX RDF