Search results for "prohibitions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
112	Eliécer Gutiérrez, Andrés L. Medaglia	Labeling algorithm for the shortest path problem with turn prohibitions with application to large-scale road networks.	Ann. Oper. Res.	2008	DBLP DOI BibTeX RDF	Turn prohibitions, Geographic information systems (GIS), Combinatorial optimization, Road networks, Shortest path problem
49	Emil Lupu, Morris Sloman, Naranker Dulay, Nicodemos Damianou	Ponder: Realising Enterprise Viewpoint Concepts.	EDOC	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
32	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
32	Anas Abou El Kalam, Philippe Balbiani	A Policy Language for Modelling Recommendations.	SEC	2009	DBLP DOI BibTeX RDF
32	Massimo Strano, Carlos Molina-Jiménez, Santosh K. Shrivastava	Implementing a Rule-Based Contract Compliance Checker.	I3E	2009	DBLP DOI BibTeX RDF
32	Martin J. Kollingbaum, Wamberto Weber Vasconcelos, Andrés García-Camino, Timothy J. Norman	Managing Conflict Resolution in Norm-Regulated Environments.	ESAW	2007	DBLP DOI BibTeX RDF
32	Andrés García-Camino, Juan A. Rodríguez-Aguilar, Wamberto Weber Vasconcelos	A Distributed Architecture for Norm Management in Multi-Agent Systems.	COIN	2007	DBLP DOI BibTeX RDF
32	Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans	Nomad: A Security Model with Non Atomic Actions and Deadlines.	CSFW	2005	DBLP DOI BibTeX RDF
32	Martin J. Kollingbaum, Timothy J. Norman	Norm adoption in the NoA agent architecture.	AAMAS	2003	DBLP DOI BibTeX RDF	norms and contracts, agent architecture
32	Robert A. Kowalski	The Treatment of Negation in Logic Programs for Representing Legislation.	ICAIL	1989	DBLP DOI BibTeX RDF
31	Görkem Sariyer, Mustafa Gokalp Ataman, Sachin Kumar Mangla, Yigit Kazançoglu, Manoj Dora	Big data analytics and the effects of government restrictions and prohibitions in the COVID-19 pandemic on emergency department sustainable operations.	Ann. Oper. Res.	2023	DBLP DOI BibTeX RDF
31	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
31	Rostam J. Neuwirth, Sara Migliorini	Unacceptable Risks in Human-AI Collaboration: Legal Prohibitions in Light of Cognition, Trust and Harm.	ETHAICS@IJCAI	2023	DBLP BibTeX RDF
31	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
31	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
31	Irena Barkane	Questioning the EU proposal for an Artificial Intelligence Act: The need for prohibitions and a stricter approach to biometric surveillance.	Inf. Polity	2022	DBLP DOI BibTeX RDF
31	Noussaiba Benadjimi, Khaled-Walid Hidouci	Hash-processing of universal quantification-like queries dealing with requirements and prohibitions.	Int. J. Data Min. Model. Manag.	2021	DBLP DOI BibTeX RDF
31	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
31	Wolter Pieters, Julian A. Padget, Francien Dechesne, Virginia Dignum, Huib Aldewereld	Obligations to enforce prohibitions: on the adequacy of security policies.	SIN	2013	DBLP DOI BibTeX RDF
31	Michael Abraham, Dov M. Gabbay, Uri J. Schild	Obligations and prohibitions in Talmudic deontic logic.	Artif. Intell. Law	2011	DBLP DOI BibTeX RDF
31	Michael Abraham, Dov M. Gabbay, Uri J. Schild	Obligations and Prohibitions in Talmudic Deontic Logic.	DEON	2010	DBLP DOI BibTeX RDF
31	Nicoletta Fornara, Marco Colombetti	Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology.	DALT	2009	DBLP DOI BibTeX RDF
31	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
31	Philippe Balbiani, Fatima Harb, Ali Kaafarani	Access control with prohibitions and obligations.	AICCSA	2006	DBLP DOI BibTeX RDF
31	T. K. Sung, S. Y. Myoung	A Path Planning Method for Road Networks Having Turn Prohibitions.	J. Intell. Transp. Syst.	2001	DBLP DOI BibTeX RDF
31	Rob Craighurst, Worthy N. Martin	Enhancing GA Performance through Crossover Prohibitions Based on Ancestry.	ICGA	1995	DBLP BibTeX RDF
31	Alexander V. Karzanov, Vasilij N. Lebedev	Cyclical games with prohibitions.	Math. Program.	1993	DBLP DOI BibTeX RDF
16	Robert Law	Using student blogs for documentation in software development projects.	ITiCSE	2011	DBLP DOI BibTeX RDF
16	Andrés García-Camino, Juan A. Rodríguez-Aguilar, Carles Sierra, Wamberto Weber Vasconcelos	Constraint rule-based programming of norms for electronic institutions.	Auton. Agents Multi Agent Syst.	2009	DBLP DOI BibTeX RDF	Constraints, Rules, Norms, Electronic institutions
16	Roya Choupani, Stephan Wong, Mehmet R. Tolun	Multiple Description Scalable Coding for Video Transmission over Unreliable Networks.	SAMOS	2009	DBLP DOI BibTeX RDF	Scalable Video Coding, Multiple Description Coding, Multimedia Transmission
16	Debin Liu, XiaoFeng Wang 0001, L. Jean Camp	Mitigating Inadvertent Insider Threats with Incentives.	Financial Cryptography	2009	DBLP DOI BibTeX RDF	Incentive Engineering, Game Theory, Insider Threat, Human Subject
16	Stephen Fenech, Gordon J. Pace, Gerardo Schneider	Automatic Conflict Detection on Contracts.	ICTAC	2009	DBLP DOI BibTeX RDF
16	Stephen Fenech, Gordon J. Pace, Gerardo Schneider	CLAN: A Tool for Contract Analysis and Conflict Discovery.	ATVA	2009	DBLP DOI BibTeX RDF
16	Kamel Adi, Yacine Bouzida, Ikhlass Hattak, Luigi Logrippo, Serge Mankovski	Typing for Conflict Detection in Access Control Policies.	MCETECH	2009	DBLP DOI BibTeX RDF
16	Guido Boella, Leendert W. N. van der Torre, Serena Villata	Four measures for the dynamics of coalitions in social networks.	Hypertext	2009	DBLP DOI BibTeX RDF	social dependence networks, measures, requirements engineering
16	George Dimitri Christelis, Michael Rovatsos	Automated norm synthesis in an agent-based planning environment.	AAMAS (1)	2009	DBLP BibTeX RDF	social laws, coordination, conflict resolution, norms, automated planning
16	Felipe Rech Meneguzzi, Michael Luck	Norm-based behaviour modification in BDI agents.	AAMAS (1)	2009	DBLP BibTeX RDF	norms, BDI
16	Viviane Torres da Silva	From the specification to the implementation of norms: an automatic approach to generate rules from norms to govern the behavior of agents.	Auton. Agents Multi Agent Syst.	2008	DBLP DOI BibTeX RDF	Governance of multi-agent system, Dialogical action, Non-dialogical action, Specification of norms, Implementation of norms, Norm
16	Ji-Won Byun, Ninghui Li	Purpose based access control for privacy protection in relational database systems.	VLDB J.	2008	DBLP DOI BibTeX RDF	Private data management, Privacy, Access control, Purpose
16	Nicoletta Fornara, Marco Colombetti	Specifying and Enforcing Norms in Artificial Institutions.	DALT	2008	DBLP DOI BibTeX RDF
16	Marcel Kyas, Cristian Prisacariu, Gerardo Schneider	Run-Time Monitoring of Electronic Contracts.	ATVA	2008	DBLP DOI BibTeX RDF
16	Nora Cuppens-Boulahia, Frédéric Cuppens	Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic.	DEON	2008	DBLP DOI BibTeX RDF
16	Anas Abou El Kalam	A research challenge in modeling access control policies: Modeling recommendations.	RCIS	2008	DBLP DOI BibTeX RDF
16	Nir Oren, Sofia Panagiotidi, Javier Vázquez-Salceda, Sanjay Modgil, Michael Luck, Simon Miles	Towards a Formalisation of Electronic Contracting Environments.	COIN@AAMAS&AAAI	2008	DBLP DOI BibTeX RDF
16	Wissam Mallouli, Ana R. Cavalli	Testing Security Rules with Decomposable Activities.	HASE	2007	DBLP DOI BibTeX RDF	Verification and Testing, Test Generation, Security Policy, SDL, Extended Finite State Machine
16	Julien Brunel, Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans, Jean-Paul Bodeveix	Security policy compliance with violation management.	FMSE	2007	DBLP DOI BibTeX RDF	labeled kripke structure, temporal logic, security policy, deontic logic, violation
16	Joaquín García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia	Management of Exceptions on Access Control Policies.	SEC	2007	DBLP DOI BibTeX RDF
16	G. R. Gangadharan, Michael Weiss 0001, Vincenzo D'Andrea, Renato Iannella	Service License Composition and Compatibility Analysis.	ICSOC	2007	DBLP DOI BibTeX RDF
16	Martin J. Kollingbaum, Wamberto Weber Vasconcelos, Andrés García-Camino, Timothy J. Norman	Conflict Resolution in Norm-Regulated Environments Via Unification and Constraints.	DALT	2007	DBLP DOI BibTeX RDF
16	Nazim Benaïssa, Dominique Cansell, Dominique Méry	Integration of Security Policy into System Modeling.	B	2007	DBLP DOI BibTeX RDF	integration, refinement, security policy
16	Douglas C. Sicker, Paul Ohm, Dirk Grunwald	Legal issues surrounding monitoring during network research.	Internet Measurement Conference	2007	DBLP DOI BibTeX RDF	privacy, monitoring, law, legal, wiretap
16	Dorian Gaertner, Andrés García-Camino, Pablo Noriega, Juan A. Rodríguez-Aguilar, Wamberto Weber Vasconcelos	Distributed norm management in regulated multiagent systems.	AAMAS	2007	DBLP DOI BibTeX RDF	normative conflicts, regulated multiagent systems, coordination, electronic institutions, organisations
16	Andrés García-Camino, Juan A. Rodríguez-Aguilar, Carles Sierra, Wamberto Weber Vasconcelos	A rule-based approach to norm-oriented programming of electronic institutions.	SIGecom Exch.	2006	DBLP DOI BibTeX RDF	programming, languages, auctions, norms, electronic institutions
16	Andrés García-Camino, Pablo Noriega, Juan A. Rodríguez-Aguilar	An Algorithm for Conflict Resolution in Regulated Compound Activities.	ESAW	2006	DBLP DOI BibTeX RDF
16	Andrés García-Camino, Juan A. Rodríguez-Aguilar, Carles Sierra, Wamberto Weber Vasconcelos	Norm-oriented programming of electronic institutions.	AAMAS	2006	DBLP DOI BibTeX RDF	multi-agent system programming, norms, electronic institutions
16	Zoran Milosevic	Towards Integrating Business Policies with Business Processes.	Business Process Management	2005	DBLP DOI BibTeX RDF
16	Elisa Bertino	Purpose Based Access Control for Privacy Protection in Database Systems.	DASFAA	2005	DBLP DOI BibTeX RDF
16	Adrian Paschke, Martin Bichler	SLA Representation, Management and Enforcement.	EEE	2005	DBLP DOI BibTeX RDF
16	Nodir Adilov, Thomas Light, Richard E. Schuler, William Schulze, David E. Toomey, Ray Zimmerman	Market Structure and the Predictability of Electricity System Line Flows: An Experimental Analysis.	HICSS	2005	DBLP DOI BibTeX RDF
16	Carlos Molina-Jiménez, Santosh K. Shrivastava, John P. Warne	A Method for Specifying Contract Mediated Interactions.	EDOC	2005	DBLP DOI BibTeX RDF
16	Francesco Viganò, Nicoletta Fornara, Marco Colombetti	An Event Driven Approach to Norms in Artificial Institutions.	AAMAS Workshops	2005	DBLP DOI BibTeX RDF
16	Martin J. Kollingbaum, Timothy J. Norman	Informed Deliberation During Norm-Governed Practical Reasoning.	AAMAS Workshops	2005	DBLP DOI BibTeX RDF
16	Francesco Viganò, Nicoletta Fornara, Marco Colombetti	An operational approach to norms in artificial institutions.	AAMAS	2005	DBLP DOI BibTeX RDF	artificial institutions, commitments, norms, ACLs
16	Rossella Rubino, Andrea Omicini, Enrico Denti	Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts.	AAMAS Workshops	2005	DBLP DOI BibTeX RDF
16	Anand Patwardhan, Vlad Korolev, Lalana Kagal, Anupam Joshi	Enforcing Policies in Pervasive Environments.	MobiQuitous	2004	DBLP DOI BibTeX RDF
16	Massimo Marchi, Alessandra Mileo, Alessandro Provetti	Specification and Execution of Policies for Grid Service Selection.	ICWS	2004	DBLP DOI BibTeX RDF	Abstractions and languages for policy specification, Grid Services, policy based networking
16	Martin J. Kollingbaum, Timothy J. Norman	Norm Adoption and Consistency in the NoA Agent Architecture.	PROMAS	2003	DBLP DOI BibTeX RDF
16	Anas Abou El Kalam, Salem Benferhat, Alexandre Miège, Rania El Baida, Frédéric Cuppens, Claire Saurel, Philippe Balbiani, Yves Deswarte, Gilles Trouessin	Organization based access contro.	POLICY	2003	DBLP DOI BibTeX RDF
16	Ephraim Nissan	Culture-bound technological solutions: An artificial-theoretic insight.	AI Soc.	2000	DBLP DOI BibTeX RDF
16	Leendert W. N. van der Torre	Violation Contexts and Deontic Independence.	CONTEXT	1999	DBLP DOI BibTeX RDF
16	Frank Dignum, Hans Weigand	Modelling Communication between Cooperative Systems	CAiSE	1995	DBLP DOI BibTeX RDF
16	Ronald M. Lee	Bureaucracies as Deontic Systems.	ACM Trans. Inf. Syst.	1988	DBLP DOI BibTeX RDF