The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for obligations with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1982-1993 (22) 1994-1995 (20) 1996-1997 (22) 1998 (20) 1999 (15) 2000 (22) 2001 (22) 2002 (30) 2003 (49) 2004 (63) 2005 (77) 2006 (66) 2007 (77) 2008 (79) 2009 (56) 2010-2011 (28) 2012 (19) 2013-2014 (24) 2015-2016 (18) 2017-2018 (21) 2019-2020 (23) 2021 (19) 2022 (16) 2023 (24) 2024 (5)
Publication types (Num. hits)
article(178) book(2) incollection(7) inproceedings(647) phdthesis(3)
Venues (Conferences, Journals, ...)
DEON(28) CoRR(18) SACMAT(13) AAMAS(12) POLICY(12) ABZ(11) FME(10) IAT(10) IFM(9) HICSS(8) Auton. Agents Multi Agent Syst...(7) CADE(7) AAMAS Workshops(6) CAV(6) Comput. Law Secur. Rev.(6) DALT(6) More (+10 of total 457)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 574 occurrences of 408 keywords

Results
Found 837 publication records. Showing 837 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
118Maria Fasli On Obligations, Relativised Obligations, and Bilateral Commitments. Search on Bibsonomy AI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
106Yuri Demchenko, Oscar Koeroo, Cees de Laat, Håkon Sagehaug Extending XACML authorisation model to support policy obligations handling in distributed application. Search on Bibsonomy MGC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF complex resource provisioning, generic AAA authorisation framework, policy obligations, reference model for policy obligations handling, XACML
100Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta Security validation tool for business processes. Search on Bibsonomy SACMAT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
91Laurence Cholvy, Christophe Garion Deriving individual obligations from collective obligations. Search on Bibsonomy AAMAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF multiagent systems, modal logic, deontic logic
91Maria Fasli On Commitments, Roles, and Obligations. Search on Bibsonomy CEEMAS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
64Jan M. Broersen, Leendert W. N. van der Torre Reasoning about Norms, Obligations, Time and Agents. Search on Bibsonomy PRIMA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
64Adam Zachary Wyner Sequences, Obligations, and the Contrary-to-Duty Paradox. Search on Bibsonomy DEON The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
64Rema Ananthanarayanan, Mukesh K. Mohania, Ajay Gupta 0004 Management of Conflicting Obligations in Self-Protecting Policy-Based Systems. Search on Bibsonomy ICAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
64Marco Casassa Mont Dealing with Privacy Obligations: Important Aspects and Technical Approaches. Search on Bibsonomy TrustBus The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
58Claudio Bettini, Sushil Jajodia, Xiaoyang Sean Wang, Duminda Wijesekera Reasoning with advanced policy rules and its application to access control. Search on Bibsonomy Int. J. Digit. Libr. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Policy rule evaluation, Access control, Policies, Provisions, Obligations
55Stefan Hallerstede On the Purpose of Event-B Proof Obligations. Search on Bibsonomy ABZ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
55Travis D. Breaux, Matthew W. Vail, Annie I. Antón Towards Regulatory Compliance: Extracting Rights and Obligations to Align Requirements with Regulations. Search on Bibsonomy RE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
55Adam Zachary Wyner Maintaining Obligations on Stative Expressions in a Deontic Action Logic. Search on Bibsonomy DEON The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
55Andreas Schaad, Jonathan D. Moffett Delegation of Obligations. Search on Bibsonomy POLICY The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
49Lalana Kagal, Tim Finin Modeling conversation policies using permissions and obligations. Search on Bibsonomy Auton. Agents Multi Agent Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Conversation policy, Conversation specifications, Speech act ontology, Agent communication, Permissions, Obligations, Ontology languages
49Darren Skidmore Stakeholder value, usage, needs and obligations from differnet types of F/LOSS licenses. (PDF / PS) Search on Bibsonomy OSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF F/LOSS, Value, Licenses, Usage, Obligations, Stakeholder analysis
49Keith Irwin, Ting Yu 0001, William H. Winsborough On the modeling and analysis of obligations. Search on Bibsonomy CCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF policy, obligations
48Murillo Pontual, Omar Chowdhury, William H. Winsborough, Ting Yu 0001, Keith Irwin Toward practical authorization-dependent user obligation systems. Search on Bibsonomy AsiaCCS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF RBAC, policy, accountability, obligations, authorization systems
46Uche M. Mbanaso, G. S. Cooper, David W. Chadwick, Anne Anderson Obligations for Privacy and Confidentiality in Distributed Transactions. Search on Bibsonomy EUC Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
46Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi Obligations and Their Interaction with Programs. Search on Bibsonomy ESORICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
46Gansen Zhao, David W. Chadwick, Sassa Otenko Obligations for Role Based Access Control. Search on Bibsonomy AINA Workshops (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
46Jan M. Broersen, Julien Brunel 'What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations. Search on Bibsonomy CLIMA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
46Shmuel Katz, Awais Rashid From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems. Search on Bibsonomy RE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
46Loizos Michael, David C. Parkes, Avi Pfeffer Specifying and Monitoring Market Mechanisms Using Rights and Obligations. Search on Bibsonomy AMEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
46Murali Rangarajan, Perry Alexander, Nael B. Abu-Ghazaleh Using Automatable Proof Obligations for Component-Based Design Checking. Search on Bibsonomy ECBS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Design Checking, Formal Verification, PVS, Compositional Analysis
45Qun Ni, Elisa Bertino, Jorge Lobo 0001 An obligation model bridging access control policies and privacy policies. Search on Bibsonomy SACMAT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF privacy, role based access control, policy, obligation
45Andreas Schaad Revocation of Obligation and Authorisation Policy Objects. Search on Bibsonomy DBSec The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
45Mark A. Brown Obligation, Contracts, and Negotiation. Search on Bibsonomy DEON The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
39Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli A Formal Framework for ASTRAL Intralevel Proof Obligations. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF intralevel proof obligations, formal software development, mathematical correctness, ASLAN, TRIO, real-time systems, real-time systems, verification, formal specification, formal specification, formal methods, finite state machines, program verification, specification languages, state machines, formal specification language, formal proof, timing requirements, ASTRAL
39Aspassia Daskalopulu Modeling Legal Contracts as Processes. Search on Bibsonomy DEXA Workshops The full citation details ... 2000 DBLP  DOI  BibTeX  RDF legal contract modelling, contract drafting, contract performance monitoring, contractual obligations, processes, contracts
36Timothée Martinod Étude de complexité algorithmique pour des problèmes de domination et de tournées dans les graphes avec obligations. (Algorithmic complexity study for domination and routing problems in graphs with obligations). Search on Bibsonomy 2023   RDF
36Christophe Garion, Laurence Cholvy Deriving individual obligations from collective obligations. Search on Bibsonomy Normative Multi-agent Systems The full citation details ... 2007 DBLP  BibTeX  RDF
36Loes Olde Loohuis Obligations in a Responsible World. Search on Bibsonomy LORI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
36Henrique Lopes Cardoso, Eugénio C. Oliveira Flexible deadlines for directed obligations in agent-based business contracts. Search on Bibsonomy AAMAS (2) The full citation details ... 2009 DBLP  BibTeX  RDF normative behavior, contract, norms, deadline
36Meriam Ben-Ghorbel-Talbi, Frédéric Cuppens, Nora Cuppens-Boulahia, Adel Bouhoula An Extended Role-Based Access Control Model for Delegating Obligations. Search on Bibsonomy TrustBus The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
36Jan M. Broersen, Julien Brunel Preservation of obligations in a temporal and deontic framework. Search on Bibsonomy AAMAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF temporal logic, product, deontic logic
36Guido Boella, Leendert W. N. van der Torre An architecture of a normative system: counts-as conditionals, obligations and permissions. Search on Bibsonomy AAMAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF MAS theory, normative multi-agent systems, normative systems
36Marco Casassa Mont Towards Scalable Management of Privacy Obligations in Enterprises. Search on Bibsonomy TrustBus The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Manuel Hilty, David A. Basin, Alexander Pretschner On Obligations. Search on Bibsonomy ESORICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Gilles Barthe, Tamara Rezk, Ando Saabas Proof Obligations Preserving Compilation. Search on Bibsonomy Formal Aspects in Security and Trust The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Davide Grossi, Frank Dignum, Lambèr M. M. Royakkers, John-Jules Ch. Meyer Collective Obligations and Agents: Who Gets the Blame? Search on Bibsonomy DEON The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
36Wojciech Jamroga, Wiebe van der Hoek, Michael J. Wooldridge On Obligations and Abilities. Search on Bibsonomy DEON The full citation details ... 2004 DBLP  DOI  BibTeX  RDF alternating-time logic, multi-agent systems, deontic logic
36Guido Boella, Leendert W. N. van der Torre Obligations as Social Constructs. Search on Bibsonomy AI*IA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
36Lambèr M. M. Royakkers, Frank Dignum Organizations and Collective Obligations. Search on Bibsonomy DEXA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
36Frank Dignum, Ruurd Kuiper 0001 Obligations and Dense Time for Specifying Deadlines. Search on Bibsonomy HICSS (5) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
36Cliff B. Jones VDM Proof Obligations and their Justification. Search on Bibsonomy VDM Europe The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
36Guido Boella, Leendert W. N. van der Torre A Logical Architecture of a Normative System. Search on Bibsonomy DEON The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Jan M. Broersen Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario. Search on Bibsonomy DEON The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Guido Governatori, Zoran Milosevic Dealing with contract violations: formalism and domain specific language. Search on Bibsonomy EDOC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Jaehong Park, Ravi S. Sandhu The UCONABC usage control model. Search on Bibsonomy ACM Trans. Inf. Syst. Secur. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF privacy, access control, trust, digital rights management, usage control
30David W. Chadwick, Kaniz Fatema An advanced policy based authorisation infrastructure. Search on Bibsonomy Digital Identity Management The full citation details ... 2009 DBLP  DOI  BibTeX  RDF application independent pep, credential validation service, master pdp, obligations service, pdp, pep, sticky policy
30Tiago de Lima, Lambèr M. M. Royakkers, Frank Dignum Behaving responsible in multi-agent worlds. Search on Bibsonomy AAMAS (2) The full citation details ... 2009 DBLP  BibTeX  RDF responsibility, deontic logic, obligations
30Albert J. J. Anglberger Dynamic Deontic Logic and its Paradoxes. Search on Bibsonomy Stud Logica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF dynamic deontic logic, PDeL, Chisholm’s paradox, contrary to duty obligations
30Diresh Jewan, Renkuan G. Guo, Gareth Witten Expected Tail Loss Efficient Frontiers for CDOS of Bespoke Portfolios Under One-Factor Copula Marginal Distributions. Search on Bibsonomy World Congress on Engineering (Selected Papers) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Collateralized Debt Obligations, Expected Tail Loss, Efficient Frontiers, Bespoke Portfolio, One-Factor Copula Marginal Distribution
30Richard Banach Model Based Refinement and the Tools of Tomorrow. Search on Bibsonomy ABZ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Configurable Proof Obligations, Verification Grand Challenge, Refinement, Tools, Model Based Development
30José Nuno Oliveira Extended Static Checking by Calculation Using the Pointfree Transform. Search on Bibsonomy LerNet ALFA Summer School The full citation details ... 2008 DBLP  DOI  BibTeX  RDF formal methods, Theoretical foundations, proof obligations, extended static checking
30Richard A. Guedj Law and regulation to include elderly in innovations stream. Search on Bibsonomy Workshop on Universal Accessibility of Ubiquitous Computing The full citation details ... 2001 DBLP  DOI  BibTeX  RDF enhanced services, incentives and obligations, patent law, principles (to base universal service), universal service, ubiquitous computing, universal access, regulation, law, elderly people, intellectual property rights, technological innovations
30Luong T. Nguyen, Liping Zhao 0001, Bill Appelbe A Set Approach to Role Modeling. Search on Bibsonomy TOOLS (37) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF set approach, role modeling techniques, role description, role binding, role constraints, set inclusion, role specialisation, role compositions, part role, set notation, dynamic description, class/role relationships, class/role structures, Object-Z-like notation, system obligations, Petri net transitions, objects/role instances, system operations, formal specification, formal method, Petri nets, object-oriented programming, object-oriented methods, set theory, EMS, graphic notations, dynamic aspects, set operations, set intersection, formal notation, set union, set unions, set difference
30Emil Lupu, Morris Sloman, Naranker Dulay, Nicodemos Damianou Ponder: Realising Enterprise Viewpoint Concepts. Search on Bibsonomy EDOC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF distributed object enterprise concepts, enterprise viewpoint concepts, Ponder language, prohibitions, nested communities, mobile telecommunication network, specification, declarative language, permissions, obligations, business communication, language constructs
30Adel Bouhoula, Jean-Pierre Jouannaud Automata-Driven Automated Induction. Search on Bibsonomy LICS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF automata-driven automated induction, inductive theorem proving, first-order functions, finitely many unary membership predicates, rational subsets, ground reducibility, inductive prover, theorem proving, tree automata, Horn Clauses, proof obligations
30Theodosis Dimitrakos, T. S. E. Maibaum Notes on Refinement, Interpolation and Uniformity. Search on Bibsonomy ASE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF step-wise refinement, modularity properties, logic-independent framework, uniform interpolants, specification formalism orthogonal expansion, software maintenance, interpolation, uniformity, program development, proof obligations
27Murillo Pontual, Omar Chowdhury, William H. Winsborough, Ting Yu 0001, Keith Irwin On the management of user obligations. Search on Bibsonomy SACMAT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
27Antti Salovaara Struggling with gift-giving obligations: when mobile messages are too laborious to reciprocate. Search on Bibsonomy BCS HCI (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF gift-giving, non-appropriation, messaging, mobile multimedia
27Nadzeya Kiyavitskaya, Nicola Zeni, Travis D. Breaux, Annie I. Antón, James R. Cordy, Luisa Mich, John Mylopoulos Automating the Extraction of Rights and Obligations for Regulatory Compliance. Search on Bibsonomy ER The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Gilles Barthe, Benjamin Grégoire, Mariela Pavlova Preservation of Proof Obligations from Java to the Java Virtual Machine. Search on Bibsonomy IJCAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27J. Octavio Gutiérrez-García, Jean-Luc Koning, Félix F. Ramos Corchado From Obligations to Organizational Structures in Multi-Agent Systems. Search on Bibsonomy PRIMA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Multi-agent systems, interaction protocols, social norms
27Guillaume Piolle, Yves Demazeau Obligations with Deadlines and Maintained Interdictions in Privacy Regulation Frameworks. Search on Bibsonomy IAT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Dov M. Gabbay Reactive Kripke Models and Contrary to Duty Obligations. Search on Bibsonomy DEON The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Susana Alcalde Bagüés, Jelena Mitic, Andreas Zeidler, Marta Tejada, Ignacio R. Matías, Carlos Fernández-Valdivielso Obligations: Building a Bridge between Personal and Enterprise Privacy in Pervasive Computing. Search on Bibsonomy TrustBus The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Innar Liiv, Anton Vedeshin, Ermo Täks Visualization and structure analysis of legislative acts: a case study on the law of obligations. Search on Bibsonomy ICAIL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Nadzeya Kiyavitskaya, Nicola Zeni, Travis D. Breaux, Annie I. Antón, James R. Cordy, Luisa Mich, John Mylopoulos Extracting rights and obligations from regulations: toward a tool-supported process. Search on Bibsonomy ASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF regulation compliance, tool support, privacy requirements
27Simon Fraser, Richard Banach Configurable Proof Obligations in the Frog Toolkit. Search on Bibsonomy SEFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Stijn Goedertier, Jan Vanthienen Designing Compliant Business Processes with Obligations and Permissions. Search on Bibsonomy Business Process Management Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Barteld P. Kooi, Allard M. Tamminga Conflicting Obligations in Multi-agent Deontic Logic. Search on Bibsonomy DEON The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Travis D. Breaux, Annie I. Antón Analyzing Goal Semantics for Rights, Permissions, and Obligations. Search on Bibsonomy RE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Guido Boella, Leendert W. N. van der Torre Fulfilling or Violating Obligations in Normative Multiagent Systems. Search on Bibsonomy IAT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Lalana Kagal, Timothy W. Finin Modeling Communicative Behavior Using Permissions and Obligations. Search on Bibsonomy AC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27William J. Morokoff Simulation methodology for collateralized debt and real options: simulation methods for risk analysis of collateralized debt obligations. Search on Bibsonomy WSC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Márcio Mourão, Pedro Madeira, Nuno J. Mamede Interpretations and Discourse Obligations in a Dialog System. Search on Bibsonomy PROPOR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Alan S. Abrahams, David M. Eyers, Jean Bacon An asynchronous rule-based approach for business process automation using obligations. Search on Bibsonomy ACM SIGPLAN Workshop on Rule-Based Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF policies, contracts, conflict resolution, conflict detection
27Jan M. Broersen, Mehdi Dastani, Joris Hulstijn, Zhisheng Huang, Leendert W. N. van der Torre The BOID architecture: conflicts between beliefs, obligations, intentions and desires. Search on Bibsonomy Agents The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
27Jan M. Broersen, Mehdi Dastani, Leendert W. N. van der Torre Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires. Search on Bibsonomy ECSQARU The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
27Yao-Hua Tan, Walter Thoen Modeling the Dynamics of Transferable Obligations in Business Procedures. Search on Bibsonomy HICSS (4) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
27Cliff B. Jones The Role of Proof Obligations in Software Design. Search on Bibsonomy TAPSOFT, Vol.2 The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
27Travis D. Breaux, Annie I. Antón Analyzing Regulatory Rules for Privacy and Security Requirements. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Legal Aspects of Computing, Requirements/Specifications, Security and Privacy Protection
27Guido Boella, Leendert W. N. van der Torre Institutions with a hierarchy of authorities in distributed dynamic environments. Search on Bibsonomy Artif. Intell. Law The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Institutions, Permissions, Normative systems
27Westley Weimer, George C. Necula Exceptional situations and program reliability. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF compensating transactions, linear sagas, linear types, resource management, Error handling
27John McCarthy 0001 Elephant 2000: a programming language based on speech acts. Search on Bibsonomy OOPSLA Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF verification, logic, speech acts
27Ninh-Thuan Truong, Viet Ha Nguyen 0001 Using B to Verify the Weaving of Aspects. Search on Bibsonomy APSEC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Judi Romijn, Wieger Wesselink, Arjan J. Mooij Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS. Search on Bibsonomy ATVA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Tal Lev-Ami, Christoph Weidenbach, Thomas W. Reps, Mooly Sagiv Labelled Clauses. Search on Bibsonomy CADE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Adam Zachary Wyner A Functional Program for Agents, Actions, and Deontic Specifications. Search on Bibsonomy DALT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27José Carmo Roles, Counts-as and Deontic and Action Logics. Search on Bibsonomy DEON The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans Nomad: A Security Model with Non Atomic Actions and Deadlines. Search on Bibsonomy CSFW The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Guido Boella, Leendert W. N. van der Torre Normative Multiagent Systems and Trust Dynamics. Search on Bibsonomy Trusting Agents for Trusting Electronic Societies The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Ravi S. Sandhu, Jaehong Park Usage Control: A Vision for Next Generation Access Control. Search on Bibsonomy MMM-ACNS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Günter Karjoth, Matthias Schunter A Privacy Policy Model for Enterprises. Search on Bibsonomy CSFW The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27Héctor Ruíz Barradas, Didier Bert Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems. Search on Bibsonomy IFM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27Claudio Bettini, Sushil Jajodia, Xiaoyang Sean Wang, Duminda Wijesekera Obligation Monitoring in Policy Management. Search on Bibsonomy POLICY The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27Frank Dignum, David N. Morley, Liz Sonenberg, Lawrence Cavedon Towards Socially Sophisticated BDI Agents. Search on Bibsonomy ICMAS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 837 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license