Search results for "Obligations"

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