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 |
|