Search results for "Obligations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer	System Description: inka 5.0 - A Logic Voyager.	CADE	1999	DBLP DOI BibTeX RDF
27	Patrick Behm, Lilian Burdy, Jean-Marc Meynadier	Well Defined B.	B	1998	DBLP DOI BibTeX RDF
21	Slim Trabelsi, Jakub Sendor, Stefanie Reinicke	PPL: PrimeLife Privacy Policy Engine.	POLICY	2011	DBLP DOI BibTeX RDF	PPL, Privacy, Access Control, Policy, Policy, Usage Control, Obligations, Data Handling
21	Romuald Thion, Daniel Le Métayer	FLAVOR: A Formal Language for a Posteriori Verification of Legal Rules.	POLICY	2011	DBLP DOI BibTeX RDF	audit, compliance, obligations
21	Luís Soares Barbosa, José Nuno Oliveira, Alexandra Silva 0001	Calculating Invariants as Coreflexive Bisimulations.	AMAST	2008	DBLP DOI BibTeX RDF	coalgebraic reasoning, pointfree transform, proof obligations, program calculation
21	Keith Irwin, Ting Yu 0001, William H. Winsborough	Avoiding information leakage in security-policy-aware planning.	WPES	2008	DBLP DOI BibTeX RDF	scheduling, policy, obligations
21	Alexander Borgida, John Mylopoulos, Raymond Reiter	On the Frame Problem in Procedure Specifications.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	frame assertion, semantics of specification languages, specifications, languages, inheritance, Formal, proof obligations
21	Alexander Borgida, John Mylopoulos, Raymond Reiter	"...And Nothing Else Changes": The Frame Problem in Procedure Specifications.	ICSE	1993	DBLP BibTeX RDF	semantics of specification languages, formal specifications, inheritance, formal specification languages, proof obligations
18	Abdallah El Ali, Karthikeya Puttur Venkatraj, Sophie Morosoli, Laurens Naudts, Natali Helberger, Pablo César	Transparent AI Disclosure Obligations: Who, What, When, Where, Why, How.	CoRR	2024	DBLP DOI BibTeX RDF
18	Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang	Obligations and permissions on selfextensional logics.	CoRR	2024	DBLP DOI BibTeX RDF
18	Hongjiang Yao, Yuting Chen, Yinqiu Tang	Contract Violations in the Construction Projects: How Contractual Obligations are Reached Affects Contractual and Reputational Enforcement.	IEEE Trans. Engineering Management	2024	DBLP DOI BibTeX RDF
18	Preethu Rose Anish, Aparna Verma, Sivanthy Venkatesan, Logamurugan V., Smita Ghaisas	Governance-Focused Classification of Security and Privacy Requirements from Obligations in Software Engineering Contracts.	REFSQ	2024	DBLP DOI BibTeX RDF
18	Yi Xiao, Shijuan Li	Reading Habits and Inter-generational Influence of Women with Child-Raising Obligations in Rural Areas.	iConference (3)	2024	DBLP DOI BibTeX RDF
18	Daniel G. Neely, Gregory D. Saxton, Paul A. Wong	Nonprofit Organizations' Financial Obligations and the Paycheck Protection Program.	Manag. Sci.	2023	DBLP DOI BibTeX RDF
18	Hamed Arshad, Pablo Picazo-Sanchez, Christian Johansen, Gerardo Schneider	Attribute-based encryption with enforceable obligations.	J. Cryptogr. Eng.	2023	DBLP DOI BibTeX RDF
18	Daniel Trusilo, David Danks	Artificial intelligence and humanitarian obligations.	Ethics Inf. Technol.	2023	DBLP DOI BibTeX RDF
18	John Protzko, Kevin Tobia, Nina Strohminger, Jonathan W. Schooler	Do Obligations Follow the Mind or Body?	Cogn. Sci.	2023	DBLP DOI BibTeX RDF
18	Christian Esposito 0001, Ross Horne, Livio Robaldo, Bart Buelens, Elfi Goesaert	Assessing the Solid Protocol in Relation to Security and Privacy Obligations.	Inf.	2023	DBLP DOI BibTeX RDF
18	Tobias Seufert, Felix Winterer, Christoph Scholl 0001, Karsten Scheibler, Tobias Paxian, Bernd Becker 0001	Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2023	DBLP DOI BibTeX RDF
18	Federico L. G. Faroldi, Meghdad Ghari, Eveline Lehmann, Thomas Studer	Impossible and Conflicting Obligations in Justification Logic.	CoRR	2023	DBLP DOI BibTeX RDF
18	Zachary Feinstein, Thomas R. Hurd	Contingent Convertible Obligations and Financial Stability.	SIAM J. Financial Math.	2023	DBLP DOI BibTeX RDF
18	Frédéric Peyrin, Patrick Fréville, Nadège Montoux, Jean-Luc Baray	Original and Low-Cost ADS-B System to Fulfill Air Traffic Safety Obligations during High Power LIDAR Operation.	Sensors	2023	DBLP DOI BibTeX RDF
18	Brian Murphy	Foreign Disinformation in America and the U.S. Government's Ethical Obligations to Respond		2023	DOI RDF
18	Federico L. G. Faroldi, Atefeh Rohani, Thomas Studer	Conditional Obligations in Justification Logic.	WoLLIC	2023	DBLP DOI BibTeX RDF
18	Chirag Jain, Preethu Rose Anish, Amrita Singh, Smita Ghaisas	A Transformer-based Approach for Abstractive Summarization of Requirements from Obligations in Software Engineering Contracts.	RE	2023	DBLP DOI BibTeX RDF
18	Vladislav Dubrovenski, Md Nazmul Karim, Erzhuo Chen, Dianxiang Xu	Dynamic Access Control with Administrative Obligations: A Case Study.	QRS Companion	2023	DBLP DOI BibTeX RDF
18	Ivana Kanceljak	Interplay of Gatekeepers' Obligations and Consumer Rights under the Digital Markets Act.	MIPRO	2023	DBLP DOI BibTeX RDF
18	Maribel Fernández	The Category-Based Approach to Access Control, Obligations and Privacy.	SACMAT	2023	DBLP DOI BibTeX RDF
18	Erzhuo Chen, Vladislav Dubrovenski, Dianxiang Xu	Coverage-Based Testing of Obligations in NGAC Systems.	SACMAT	2023	DBLP DOI BibTeX RDF
18	Gerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif	Thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent Systems.	ABZ	2023	DBLP DOI BibTeX RDF
18	Rosalie Defourné	Encoding rmTLA+ Proof Obligations Safely for SMT.	ABZ	2023	DBLP DOI BibTeX RDF
18	David Geleßus, Sebastian Stock 0002, Fabian Vu, Michael Leuschel, Atif Mashkoor	Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations.	ABZ	2023	DBLP DOI BibTeX RDF
18	Marie Thøgersen	Obligations of Non-participating States When Hackers on Their Territory Engage in Armed Conflicts.	CyCon	2023	DBLP DOI BibTeX RDF
18	David Moon, Andrew Blinn, Cyrus Omar	Gradual Structure Editing with Obligations.	VL/HCC	2023	DBLP DOI BibTeX RDF
18	Abhilasha Sancheti, Aparna Garimella, Balaji Vasan Srinivasan, Rachel Rudinger	What to Read in a Contract? Party-Specific Summarization of Legal Obligations, Entitlements, and Prohibitions.	EMNLP	2023	DBLP DOI BibTeX RDF
18	Aleks Knoks, David Streit	Beyond Reasons and Obligations: A Dual-Role Approach to Reasons and Supererogation.	DEON	2023	DBLP BibTeX RDF
18	Mattis Jacobs, Judith Simon 0001	Assigning Obligations in AI Regulation: A Discussion of Two Frameworks Proposed By the European Commission.	Digit. Soc.	2022	DBLP DOI BibTeX RDF
18	Giacomo Giorgi, Antonio La Marra, Fabio Martinelli, Paolo Mori, Athanasios Rizos, Andrea Saracino	Exploiting If This Then That and Usage Control obligations for Smart Home security and management.	Concurr. Comput. Pract. Exp.	2022	DBLP DOI BibTeX RDF
18	Jessica Hammer, Samantha Reig	From individual rights to community obligations: a Jewish approach to speech.	Interactions	2022	DBLP DOI BibTeX RDF
18	Christian Laforest, Timothée Martinod	On the complexity of independent dominating set with obligations in graphs.	Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
18	Sebastian Stock 0002, Atif Mashkoor, Alexander Egyed	Application of Validation Obligations to Security Concerns.	CoRR	2022	DBLP DOI BibTeX RDF
18	Abhilasha Sancheti, Aparna Garimella, Balaji Vasan Srinivasan, Rachel Rudinger	What to Read in a Contract? Party-Specific Summarization of Important Obligations, Entitlements, and Prohibitions in Legal Documents.	CoRR	2022	DBLP DOI BibTeX RDF
18	Christian Esposito 0001, Olaf Hartig, Ross Horne, Chang Sun	Assessing the Solid Protocol in Relation to Security & Privacy Obligations.	CoRR	2022	DBLP DOI BibTeX RDF
18	Serena Oduro, Emanuel Moss, Jacob Metcalf	Obligations to assess: Recent trends in AI accountability regulations.	Patterns	2022	DBLP DOI BibTeX RDF
18	F. G. Wilman	Two emerging principles of EU internet law: A comparative analysis of the prohibitions of general data retention and general monitoring obligations.	Comput. Law Secur. Rev.	2022	DBLP DOI BibTeX RDF
18	Dagmar Gesmann-Nuissl, Stefanie Meyer	Siri 2.0 - Conversational Commerce of Social Bots and the New Law of Obligations of Data: Explorations for the Benefit of Consumer Protection.	Robotics	2022	DBLP DOI BibTeX RDF
18	José Carmo, Andrew J. I. Jones	Carmo and Jones' logic for contrary-to-duty obligations revised.	J. Log. Comput.	2022	DBLP DOI BibTeX RDF
18	Tiziano Dalmonte, Charles Grellois, Nicola Olivetti	Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations.	WoLLIC	2022	DBLP DOI BibTeX RDF
18	Sebastian Stock 0002, Atif Mashkoor, Alexander Egyed	Application of Validation Obligations to Security Concerns.	DEXA Workshops	2022	DBLP DOI BibTeX RDF
18	Agata Ciabattoni, Nicola Olivetti, Xavier Parent	Dyadic Obligations: Proofs and Countermodels via Hypersequents.	PRIMA	2022	DBLP DOI BibTeX RDF
18	Colin Shea-Blymyer, Houssam Abbas	Generating Deontic Obligations From Utility-Maximizing Systems.	AIES	2022	DBLP DOI BibTeX RDF
18	David McMenemy	Internet Access and Bridging the Digital Divide: The Crucial Role of Universal Service Obligations in Telecom Policy.	iConference (1)	2022	DBLP DOI BibTeX RDF
18	Hyun-Soo Ahn, Derek D. Wang, Owen Q. Wu	Asset Selling Under Debt Obligations.	Oper. Res.	2021	DBLP DOI BibTeX RDF
18	Lucian-Ionut Gavrila, Alexandru Popa 0001	A novel algorithm for clearing financial obligations between companies - An application within the Romanian Ministry of economy.	Algorithmic Finance	2021	DBLP DOI BibTeX RDF
18	Tobias Seufert, Felix Winterer, Christoph Scholl 0001, Karsten Scheibler, Tobias Paxian, Bernd Becker 0001	Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR.	CoRR	2021	DBLP BibTeX RDF
18	Atif Mashkoor, Michael Leuschel, Alexander Egyed	Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification.	CoRR	2021	DBLP BibTeX RDF
18	Pengcheng Jiang, Kenji Tei	OACAL: Finding Module-consistent Specifications to Secure Systems from Weakened User Obligations.	CoRR	2021	DBLP BibTeX RDF
18	Laila El-Beheiry, Giselle Reis, Ammar Karkour	SMLtoCoq: Automated Generation of Coq Specifications and Proof Obligations from SML Programs with Contracts.	LFMTP	2021	DBLP DOI BibTeX RDF
18	Colin Shea-Blymyer, Houssam Abbas	Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle Obligations.	CoRR	2021	DBLP BibTeX RDF
18	Sandra Alves, Jorge Iglésias	A Graphical Framework for the Category-Based Metamodel for Access Control and Obligations.	CoRR	2021	DBLP BibTeX RDF
18	Colin Shea-Blymyer, Houssam Abbas	Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle Obligations.	ACM Trans. Cyber Phys. Syst.	2021	DBLP DOI BibTeX RDF
18	Hao Tang, Anurag Pal, Tian-Yu Wang, Lu-Feng Qiao, Jun Gao, Xian-Min Jin	Quantum computation for pricing the collateralized debt obligations.	Quantum Eng.	2021	DBLP DOI BibTeX RDF
18	Colin Shea-Blymyer, Houssam Abbas	Learning a Robot's Social Obligations from Comparisons of Observed Behavior.	ARSO	2021	DBLP DOI BibTeX RDF
18	Maria Iacono, Laura Rossi, Paolo D'Angelo, Andrea Tesei, Lorenzo De Mattei	An Obligations Extraction System for Heterogeneous Legal Documents: Building and Evaluating Data and Model.	CLiC-it	2021	DBLP BibTeX RDF
18	Vit Prochazka, Roar O. Adland	Contractual Obligations and Vessel Speed: Empirical Evidence from the Capesize Drybulk Market.	IEEM	2021	DBLP DOI BibTeX RDF
18	Raluca Stana, Hanne Westh Nicolajsen	A Cautionary Tale: How Co-Constructed Work Obligations Lead to ICT-Related Technostress.	HICSS	2021	DBLP BibTeX RDF
18	Atif Mashkoor, Michael Leuschel, Alexander Egyed	Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification.	ICSE (NIER)	2021	DBLP DOI BibTeX RDF
18	Federico L. G. Faroldi, Meghdad Ghari	Impossible and Conflicting Obligations in Justification Logic.	DEON	2021	DBLP BibTeX RDF
18	Stef Frijters, Thijs De Coninck	The Manchester Twins: Conflicts Between Directed Obligations.	DEON	2021	DBLP BibTeX RDF
18	Paige Golden, David Danks	Ethical Obligations to Provide Novelty.	AIES	2021	DBLP DOI BibTeX RDF
18	Pengcheng Jiang, Kenji Tei	OACAL: Finding Module-consistent Specifications to Secure Systems from Weakened User Obligations.	SSCI	2021	DBLP DOI BibTeX RDF
18	Marco Alberti 0001, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Ken Satoh, Riccardo Zese	Dischargeable Obligations in the CIFF Framework.	Fundam. Informaticae	2020	DBLP DOI BibTeX RDF
18	Sayonnha Mandal, Robin A. Gandhi, Harvey P. Siy	Modular norm models: practical representation and analysis of contractual rights and obligations.	Requir. Eng.	2020	DBLP DOI BibTeX RDF
18	Sayonnha Mandal, Robin A. Gandhi, Harvey P. Siy	Correction to: Modular norm models: practical representation and analysis of contractual rights and obligations.	Requir. Eng.	2020	DBLP DOI BibTeX RDF
18	Piotr Kulicki, Olivier Roy	From Permissions to Obligations and Beyond: An Editorial.	Stud Logica	2020	DBLP DOI BibTeX RDF
18	Ying Meng, Gregory Gay 0002, Michael W. Whalen	Ensuring the Observability of Structural Test Obligations.	IEEE Trans. Software Eng.	2020	DBLP DOI BibTeX RDF
18	Bjørn Kjos-Hanssen	A conflict between some semantic conditions of Carmo and Jones for contrary-to-duty obligations.	CoRR	2020	DBLP BibTeX RDF
18	Lucian-Ionut Gavrila, Alexandru Popa 0001	A novel algorithm for clearing financial obligations between companies - an application within the Romanian Ministry of Economy.	CoRR	2020	DBLP BibTeX RDF
18	Thein Than Tun, Amel Bennaceur, Bashar Nuseibeh	OASIS: Weakening User Obligations for Security-critical Systems.	RE	2020	DBLP DOI BibTeX RDF
18	Héctor Ruíz Barradas, Lilian Burdy, David Déharbe	Existence Proof Obligations for Constraints, Properties and Invariants in Atelier B.	ABZ	2020	DBLP DOI BibTeX RDF
18	Jens Claßen, James P. Delgrande	Dyadic Obligations over Complex Actions as Deontic Constraints in the Situation Calculus.	KR	2020	DBLP DOI BibTeX RDF
18	Tetiana Hovorushchenko, Yelyzaveta Hnatchuk, Alla Herts	Decision-Making about Conclusion of Contractual Obligations in the Field of Medical Services.	IDDM	2020	DBLP BibTeX RDF
18	Clayton Peterson	How to Act? Reasoning with Conflicting Obligations.	FLAIRS	2020	DBLP BibTeX RDF
18	Ruka Funaki, Yusuke Nagata, Kohei Suenaga, Shinsuke Mori	A Contract Corpus for Recognizing Rights and Obligations.	LREC	2020	DBLP BibTeX RDF
18	Ales Bizjak, Daniel Gratzer, Robbert Krebbers, Lars Birkedal	Iron: managing obligations in higher-order concurrent separation logic.	Proc. ACM Program. Lang.	2019	DBLP DOI BibTeX RDF
18	Nicoletta Fornara, Marco Colombetti	Using Semantic Web technologies and production rules for reasoning on obligations, permissions, and prohibitions.	AI Commun.	2019	DBLP DOI BibTeX RDF
18	Mary Donnelly, Fidelma White	Digital content and consumer protection: An empirical study of supplier compliance with consumer information obligations.	Comput. Law Secur. Rev.	2019	DBLP DOI BibTeX RDF
18	Ruoying Chen	"Bike litter" and obligations of the platform operators: Lessons from China's dockless sharing bikes.	Comput. Law Secur. Rev.	2019	DBLP DOI BibTeX RDF
18	Uchenna Jerome Orji	An inquiry into the legal status of the ECOWAS cybercrime directive and the implications of its obligations for member states.	Comput. Law Secur. Rev.	2019	DBLP DOI BibTeX RDF
18	Zachary Feinstein	Obligations with Physical Delivery in a Multilayered Financial Network.	SIAM J. Financial Math.	2019	DBLP DOI BibTeX RDF
18	Mathieu Beirlaen, Jesse Heyninck, Christian Straßer	Structured argumentation with prioritized conditional obligations and permissions.	J. Log. Comput.	2019	DBLP DOI BibTeX RDF
18	Jafar Hamin, Bart Jacobs 0002	Transferring Obligations Through Synchronizations.	ECOOP	2019	DBLP DOI BibTeX RDF
18	Corneliu Andy Puscã	Should We Share Rights and Obligations with Artificial Intelligence Robots?	SmartCity360°	2019	DBLP DOI BibTeX RDF
18	Antonio La Marra, Fabio Martinelli, Paolo Mori, Athanasios Rizos, Andrea Saracino	Using IFTTT to Express and Enforce UCON Obligations.	ISPEC	2019	DBLP DOI BibTeX RDF
18	Felicity Gerry, Julia Muraszkiewicz, Olivia Iannelli	The drive for virtual (online) courts and the failure to consider obligations to combat human trafficking - A short note of concern on identification, protection and privacy of victims.	Comput. Law Secur. Rev.	2018	DBLP DOI BibTeX RDF
18	Jamie Axelrod	Making materials accessible to students in higher education institutes: Institutional obligations, methods of compliance, and recommendations for future action.	Learn. Publ.	2018	DBLP DOI BibTeX RDF
18	Fengkui Ju, Li Liang	Commands changing obligations 1.	J. Log. Comput.	2018	DBLP DOI BibTeX RDF
18	Matthew J. Hashim, Karthik N. Kannan, Duane T. Wegener	Central Role of Moral Obligations in Determining Intentions to Engage in Digital Piracy.	J. Manag. Inf. Syst.	2018	DBLP DOI BibTeX RDF
18	Nicoletta Fornara, Alessia Chiappa, Marco Colombetti	Using Semantic Web Technologies and Production Rules for Reasoning on Obligations and Permissions.	AT	2018	DBLP DOI BibTeX RDF
18	Alexis Cornet, Christian Laforest	Graph Problems with Obligations.	COCOA	2018	DBLP DOI BibTeX RDF