Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Joan Calzada |
Universal service obligations in the postal sector: The relationship between quality and coverage. |
Inf. Econ. Policy |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Guillaume Aucher, Guido Boella, Leendert W. N. van der Torre |
Prescriptive and Descriptive Obligations in Dynamic Epistemic Deontic Logic. |
AICOL Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Nicoletta Fornara, Marco Colombetti |
Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology. |
DALT |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Henrique Lopes Cardoso, Eugénio C. Oliveira |
Monitoring Directed Obligations with Flexible Deadlines: A Rule-Based Approach. |
DALT |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre |
Programming Normative Artifacts with Declarative Obligations and Prohibitions. |
IAT |
2009 |
DBLP DOI BibTeX RDF |
|
18 | J. Octavio Gutiérrez-García, Félix F. Ramos Corchado, Jean-Luc Koning |
Obligations as constrainers, descriptors, and linkers of Open System of Systems. |
SoSE |
2009 |
DBLP BibTeX RDF |
|
18 | Yehia El Rakaiby, Frédéric Cuppens, Nora Cuppens-Boulahia |
Formalization and Management of Group Obligations. |
POLICY |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Jurriaan van Diggelen, Jeffrey M. Bradshaw, Matthew Johnson 0001, Andrzej Uszok, Paul J. Feltovich |
Implementing Collective Obligations in Human-Agent Teams Using KAoS Policies. |
COIN@AAMAS&IJCAI&MALLOW |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Henrique Lopes Cardoso, Eugénio C. Oliveira |
Directed Deadline Obligations in Agent-Based Business Contracts. |
COIN@AAMAS&IJCAI&MALLOW |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Kurt Ranalter |
A Semantic Analysis of a Logic for Pragmatics with Assertions, Obligations, and Causal Implication. |
Fundam. Informaticae |
2008 |
DBLP BibTeX RDF |
|
18 | Tomoyuki Yamada |
Logical dynamics of some speech acts that affect obligations and preferences. |
Synth. |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Nancy Y. McGovern, Aprille C. McKay |
Leveraging Short-term Opportunities to Address Long-term Obligations: A Perspective on Institutional Repositories and Digital Preservation Programs. |
Libr. Trends |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Roberto Galbiati, Pietro Vertova |
Obligations and cooperative behaviour in public good games. |
Games Econ. Behav. |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Peter Gomber, Gregor Pujol, Adrian Wranik |
The Implementation of European Best Execution Obligations - An Analysis for the German Market -. |
FinanceCom |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Allard M. Tamminga, Barteld P. Kooi |
Conditional Obligations in Strategic Situations. |
NORMAS |
2008 |
DBLP BibTeX RDF |
|
18 | Jan M. Broersen, Leendert W. N. van der Torre |
Conditional Norms and Dyadic Obligations in Time. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Juan Bicarregui, Alvaro Arenas, Benjamin Aziz, Philippe Massonet, Christophe Ponsard |
Towards Modelling Obligations in Event-B. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Keith Irwin, Ting Yu 0001, William H. Winsborough |
Assigning Responsibility for Failed Obligations. |
IFIPTM |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Luis Alberto Pineda, Varinia M. Estrada, Sergio Rafael Coria Olguin, James F. Allen |
The obligations and common ground structure of practical dialogues. |
Inteligencia Artif. |
2007 |
DBLP BibTeX RDF |
|
18 | Philippe Balbiani, Jan M. Broersen, Julien Brunel |
Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations. |
M4M |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Marc Gervais, Yvan Bédard, Robert Jeansoulin, Bernard Cervelle |
Qualité des données géographiques. Obligations juridiques potentielles et modèle du producteur raisonnable. |
Rev. Int. Géomatique |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Kent Hurtig |
On Prima Facie Obligations and Nonmonotonicity. |
J. Philos. Log. |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Thierry Sans, Frédéric Cuppens, Nora Cuppens-Boulahia |
A Framework to Enforce Access Control, Usage Control and Obligations. |
Ann. des Télécommunications |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Andreas Roth 0002 |
Proof Obligations. |
The KeY Approach |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Liang Liu 0010, Hui Lei 0001, Dongjun Lan, Raymond E. Rose, Jon S. Seymour, Murthy V. Devarakonda |
Service Obligations Management in IT Outsourcing. |
ICEBE |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Xiaofang Ma |
Numerical methods for the valuation of synthetic Collateralized Debt Obligations. |
|
2007 |
RDF |
|
18 | Michael Blakemore, Max Craglia |
Access to Public-Sector Information in Europe: Policy, Rights, and Obligations. |
Inf. Soc. |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Johannes Siedersleben |
Errors and Exceptions - Rights and Obligations. |
Advanced Topics in Exception Handling Techniques |
2006 |
DBLP DOI BibTeX RDF |
|
18 | 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 |
18 | Tomoyuki Yamada |
Logical Dynamics of Commands and Obligations. |
JSAI |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Guido Boella, Leendert W. N. van der Torre |
Fair Distribution of Collective Obligations. |
ECAI |
2006 |
DBLP BibTeX RDF |
|
18 | Tomoyuki Yamada |
Acts of Commanding and Changing Obligations. |
CLIMA |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Jan Nepimach |
IPR and Central Reporting Point - Centralization of Environmental Reporting Obligations in Czech Republic. |
EnviroInfo |
2006 |
DBLP BibTeX RDF |
|
18 | Philippe Balbiani, Fatima Harb, Ali Kaafarani |
Access control with prohibitions and obligations. |
AICCSA |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Robert Demolombe, Pilar Pozos Parra |
Integrating State Constraints and Obligations in Situation Calculus. |
LA-NMR |
2006 |
DBLP BibTeX RDF |
|
18 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer |
Model-Based Analysis of Obligations in Web Service Choreography. |
AICT/ICIW |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Jan M. Broersen, Mehdi Dastani, Leendert W. N. van der Torre |
Beliefs, obligations, intentions, and desires as components in an agent architecture. |
Int. J. Intell. Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
18 | David R. Hannah |
Should I Keep a Secret? The Effects of Trade Secret Protection Procedures on Employees' Obligations to Protect Trade Secrets. |
Organ. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
18 | John A. Stankovic, Insup Lee 0001, Aloysius K. Mok, Raj Rajkumar |
Opportunities and Obligations for Physical Computing Systems. |
Computer |
2005 |
DBLP DOI BibTeX RDF |
Physical computing systems, Emergency response systems, Pervasive computing, Security and privacy, Embedded computing, Critical infrastructures, SISAL |
18 | Héctor Ruíz Barradas, Didier Bert |
Proof obligations for specification and refinement of liveness properties under weak fairness |
CoRR |
2005 |
DBLP BibTeX RDF |
|
18 | Marco Casassa Mont |
Handling privacy obligations in enterprises: important aspects and technical approaches. |
Comput. Syst. Sci. Eng. |
2005 |
DBLP BibTeX RDF |
|
18 | Michael J. Wooldridge, Wiebe van der Hoek |
On obligations and normative ability: Towards a logical analysis of the social contract. |
J. Appl. Log. |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Luigi Sauro |
Formalizing Coalition Structures via Obligations. |
NORMAS |
2005 |
DBLP BibTeX RDF |
|
18 | Dan Boneh, Joan Feigenbaum, Abraham Silberschatz, Rebecca N. Wright |
PORTIA: Privacy, Obligations, and Rights in Technologies of Information Assessment. |
IEEE Data Eng. Bull. |
2004 |
DBLP BibTeX RDF |
|
18 | Guido Boella, Leendert W. N. van der Torre |
Negotiating the Distribution of Obligations with Sanctions among Autonomous Agents. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
18 | Andreas Schaad |
An Extended Analysis of Delegating Obligations. |
DBSec |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Marco Casassa Mont |
Dealing with Privacy Obligations in Enterprises. |
ISSE |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Jirí Hrebícek, Tomás Pitner, Jaroslav Rácek |
Environmental Information Management in the Czech Republic with respect to Reporting Obligations. |
EnviroInfo (1) |
2004 |
DBLP BibTeX RDF |
|
18 | Claudio Bettini, Sushil Jajodia, Xiaoyang Sean Wang, Duminda Wijesekera |
Provisions and Obligations in Policy Rule Management. |
J. Netw. Syst. Manag. |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Guido Boella, Leendert W. N. van der Torre |
Decentralized Control: Obligations and Permissions in Virtual Communities of Agents. |
ISMIS |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Guido Boella, Leendert W. N. van der Torre |
Permissions and Obligations in Hierarchical Normative Systems. |
ICAIL |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Reeva M. Lederman, Graeme G. Shanks, Martin R. Gibbs |
Meeting privacy obligations: the implications for information systems development. |
ECIS |
2003 |
DBLP BibTeX RDF |
|
18 | Marc Paganini, Francesco Palazzo, Olivier Arino, Paolo Manunta, Alessandro Ferretti, E. Gontier, S. Wunderle, Paolo Pasquali, Tazio Strozzi, J. Zilger, Cees J. van Westen |
SLAM, the development of an EO service to support the legal obligations of Swiss and Italian Geological Risk Services in landslide risk forecasting and prevention. |
IGARSS |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Jan M. Broersen, Mehdi Dastani, Leendert W. N. van der Torre |
BDIOCTL: Obligations and the Specification of Agent Behavior. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
18 | Allen W. Wood |
Unsettling obligations - essays on reason, reality and the ethics of belief. |
|
2002 |
RDF |
|
18 | Claudio Bettini, Sushil Jajodia, Xiaoyang Sean Wang, Duminda Wijesekera |
Provisions and Obligations in Policy Management and Security Applications. (PDF / PS) |
VLDB |
2002 |
DBLP DOI BibTeX RDF |
|
18 | C. Hirsch |
Mexican spectrum auctions: obligations, commitments, and promises. |
IEEE Commun. Mag. |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Rekha S. Jain, Pinaki Das |
A Framework for Assessing Universal Service Obligations: A Developing Country Perspective |
CoRR |
2001 |
DBLP BibTeX RDF |
|
18 | Frank Dignum, David Kinny, Liz Sonenberg |
Motivational Attitudes of Agents: On Desires, Obligations, and Norms. |
CEEMAS |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Warren Harrison |
Editorial An Issue of Ethics: Responsibilities and Obligations of Empirical Software Engineering Researchers. |
Empir. Softw. Eng. |
2000 |
DBLP BibTeX RDF |
|
18 | John C. Panzar |
A methodology for measuring the costs of universal service obligations. |
Inf. Econ. Policy |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Philippe Choné, Laurent Flochel, Anne Perrot |
Universal service obligations and competition. |
Inf. Econ. Policy |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Colin Matheson, Massimo Poesio, David R. Traum |
Modelling Grounding and Discourse Obligations Using Update Rules. |
ANLP |
2000 |
DBLP BibTeX RDF |
|
18 | Mihai Barbuceanu |
Role of Obligations in Multiagent Coordination. |
Appl. Artif. Intell. |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Leendert W. N. van der Torre, Yao-Hua Tan |
Contrary-to-duty reasoning with preference-based dyadic obligations. |
Ann. Math. Artif. Intell. |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Leendert W. N. van der Torre, Yao-Hua Tan |
An Update Semantics for Defeasible Obligations. |
UAI |
1999 |
DBLP BibTeX RDF |
|
18 | Mireille Ducassé, Laurence Rozé |
Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency. |
LOPSTR |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Yao-Hua Tan, Walter Thoen |
A Logical Model of Directed Obligations and Permissions to Support Electronic Contracting. |
Int. J. Electron. Commer. |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Young U. Ryu |
Specification of Contractual Obligations in Formal Business Communication. |
Data Knowl. Eng. |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Mihai Barbuceanu, Tom Gray, Serge Mankovski |
Coordinating with Obligations. |
Agents |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Mihai Barbuceanu |
Agents That Work in Harmony by Knowing and Fulfilling Their Obligations. |
AAAI/IAAI |
1998 |
DBLP BibTeX RDF |
|
18 | Leendert W. N. van der Torre, Yao-Hua Tan |
An Update Semantics for Prima Facie Obligations. |
ECAI |
1998 |
DBLP BibTeX RDF |
|
18 | Yao-Hua Tan, Walter Thoen |
Modeling Directed Obligations and Permissions in Trade Contracts. |
HICSS (5) |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Mihai Barbuceanu, Tom Gray, Serge Mankovski |
How to Make Your Agents Fulfil Their Obligations. |
PAAM |
1998 |
DBLP BibTeX RDF |
|
18 | Rosaria Conte, Rino Falcone |
ICMAS '96: Norms, Obligations, and Conventions. |
AI Mag. |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Edgar A. Whitley, Rachael Scothern |
Creating and Maintaining Obligations: An Empirical Study of Mediated and Face-to- face Communication. |
ECIS |
1997 |
DBLP BibTeX RDF |
|
18 | Young U. Ryu |
Relativized Deontic Modalities for Contractual Obligations in Formal Business Communication. |
HICSS (4) |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Henry Prakken, Marek J. Sergot |
Contrary-to-Duty Obligations. |
Stud Logica |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Gert-Jan C. Lokhorst |
Reasoning about Actions and Obligations in First-Order Logic. |
Stud Logica |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Mark A. Brown |
Doing as We Ought: Towards a Logic of Simply Dischargeable Obligations. |
DEON |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Frank Dignum, John-Jules Ch. Meyer, Roel J. Wieringa, Ruurd Kuiper 0001 |
A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields Obligation. |
DEON |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Henning Herrestad, Christen Krogh |
Obligations Directed from Bearers to Counterparts. |
ICAIL |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli |
A Formal Framework for ASTRAL Inter-level Proof Obligations. |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Christen Krogh |
Obligations in Multiagent Systems. |
SCAI |
1995 |
DBLP BibTeX RDF |
|
18 | Dale Jacquette |
Obligations under causal constraints. |
Synth. |
1994 |
DBLP DOI BibTeX RDF |
|
18 | David R. Traum, James F. Allen |
Discourse Obligations in Dialogue Processing. |
CoRR |
1994 |
DBLP BibTeX RDF |
|
18 | Leendert W. N. van der Torre |
Violated Obligations in a Defeasible Deontic Logic. |
ECAI |
1994 |
DBLP BibTeX RDF |
|
18 | Colin J. Fidge |
Proof Obligations for Real-Time Refinement. |
Refine |
1994 |
DBLP DOI BibTeX RDF |
|
18 | David R. Traum, James F. Allen |
Discourse Obligations in Dialogue Processing. |
ACL |
1994 |
DBLP BibTeX RDF |
|
18 | Alberto Coen-Porisini, Dino Mandrioli |
A Formal Framework for ASTRAL Intra-Level Proof Obligations. |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Flemming M. Damm, Bo Stig Hansen |
Generation of Proof Obligations for Type Consistency. |
Semantics of Specification Languages |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Martin S. Feather |
An implementation of bounded obligations. |
KBSE |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Niels Mellergaard, Jørgen Staunstrup |
Generating Proof Obligations for Circuits. |
Larch |
1992 |
DBLP BibTeX RDF |
|
18 | Alain Ah-kee |
Proof Obligations for Blocks and Procedures. |
Formal Aspects Comput. |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Jean Alain Ah-Kee |
Operation decomposition proof obligations for blocks and procedures. |
|
1989 |
RDF |
|
18 | Naftaly H. Minsky, Abe Lockman |
Ensuring Integrity by Adding Obligations to Privileges. |
ICSE |
1985 |
DBLP BibTeX RDF |
|
18 | L. Thorne McCarty |
Permissions and Obligations. |
IJCAI |
1983 |
DBLP BibTeX RDF |
|
18 | Sander Vermolen, Jozef Hooman, Peter Gorm Larsen |
Proving consistency of VDM models using HOL. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
verification, theorem proving, VDM, HOL, model consistency |
18 | Adel Bouhoula |
Simultaneous checking of completeness and ground confluence for algebraic specifications. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
ground confluence, completeness, algebraic specifications, parameterization, term rewriting systems, Automated deduction |
18 | Wamberto Weber Vasconcelos, Martin J. Kollingbaum, Timothy J. Norman |
Normative conflict resolution in multi-agent systems. |
Auton. Agents Multi Agent Syst. |
2009 |
DBLP DOI BibTeX RDF |
Detection and resolution of normative conflicts, Norms |