Search results for "Deontic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
120	Satoru Suzuki	Measurement-Theoretic Foundation of Preference-Based Dyadic Deontic Logic.	LORI	2009	DBLP DOI BibTeX RDF	conditional expected utility maximisation, preference, projective geometry, deontic logic, measurement theory, representation theorem
112	Andrei Kouznetsov	Quasi-matrix Deontic Logic.	DEON	2004	DBLP DOI BibTeX RDF
107	Takahiro Tagawa, Jingde Cheng	Deontic Relevant Logic: A Strong Relevant Logic Approach to Removing Paradoxes from Deontic Logic.	PRICAI	2002	DBLP DOI BibTeX RDF
101	Wojciech Jamroga, Wiebe van der Hoek, Michael J. Wooldridge	On Obligations and Abilities.	DEON	2004	DBLP DOI BibTeX RDF	alternating-time logic, multi-agent systems, deontic logic
100	Julien Brunel, Jean-Paul Bodeveix, Mamoun Filali	A State/Event Temporal Deontic Logic.	DEON	2006	DBLP DOI BibTeX RDF
100	Lou Goble	A Proposal for Dealing with Deontic Dilemmas.	DEON	2004	DBLP DOI BibTeX RDF
96	Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki	Annotated Semantics for Defeasible Deontic Reasoning.	Rough Sets and Current Trends in Computing	2000	DBLP DOI BibTeX RDF	defeasible deontic logic, extended vector annotated logic program with strong negation, stable model, annotated logic
95	Adam Zachary Wyner	Sequences, Obligations, and the Contrary-to-Duty Paradox.	DEON	2006	DBLP DOI BibTeX RDF
89	Leendert W. N. van der Torre	Violation Contexts and Deontic Independence.	CONTEXT	1999	DBLP DOI BibTeX RDF
89	Pilar Dellunde, Lluís Godo	Introducing Grades in Deontic Logics.	DEON	2008	DBLP DOI BibTeX RDF	Fuzzy Logic, Norms, Institutions, Deontic Logic
88	Jan M. Broersen	Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario.	DEON	2006	DBLP DOI BibTeX RDF
88	Gert-Jan C. Lokhorst	Propositional Quantifiers in Deontic Logic.	DEON	2006	DBLP DOI BibTeX RDF
88	Barteld P. Kooi, Allard M. Tamminga	Conflicting Obligations in Multi-agent Deontic Logic.	DEON	2006	DBLP DOI BibTeX RDF
88	Adam Zachary Wyner	Maintaining Obligations on Stative Expressions in a Deontic Action Logic.	DEON	2004	DBLP DOI BibTeX RDF
88	Lennart Åqvist	Combinations of Tense and Deontic Modality.	DEON	2004	DBLP DOI BibTeX RDF	temporal realization operators, historical necessity, conditional obligation, finite two-dimensional co-ordinate system, frame constants
77	Adam Zachary Wyner	A Functional Program for Agents, Actions, and Deontic Specifications.	DALT	2006	DBLP DOI BibTeX RDF
77	Leendert W. N. van der Torre, Yao-Hua Tan	Prohairetic Deontic Logic (PDL).	JELIA	1998	DBLP DOI BibTeX RDF
77	Jörg Hansen	Conflicting Imperatives and Dyadic Deontic Logic.	DEON	2004	DBLP DOI BibTeX RDF
72	Stéphanie Combettes	Towards a Methodology for Modeling Deontic Protocols Using the Organizational Petri Nets Formalism.	KES-AMSTA	2009	DBLP DOI BibTeX RDF	Deontic protocol, Organizational Petri Net, Methodology
72	Paul McNamara	Praise, Blame, Obligation, and Beyond: Toward a Framework for Classical Supererogation and Kin.	DEON	2008	DBLP DOI BibTeX RDF	Supererogation, Offense, Praise, Blame, Aretaic, Deontic, Indifferent, Obligation, Neutral
72	Kazumi Nakamatsu, Hayato Komaba, Atsuyuki Suzuki, Chung-Lun Lie, Sheng-Luen Chung	Defeasible Deontic Control for Discrete Events Based on EVALPSN.	Rough Sets and Current Trends in Computing	2004	DBLP DOI BibTeX RDF	annotated logic program, discrete event systems, paraconsistent logic, EVALPSN, defeasible deontic reasoning
66	Sven Ove Hansson	Ideal Worlds - Wishful Thinking in Deontic Logic.	Stud Logica	2006	DBLP DOI BibTeX RDF	deontic paradoxes, ideal worlds, truth-functional representation, deontic logic, possible worlds
66	Sven Ove Hansson	A New Representation Theorem for Contranegative Deontic Logic.	Stud Logica	2004	DBLP DOI BibTeX RDF	contranegative predicate, standard deontic logic, preference logic, SDL, deontic logic, representation theorem
65	Vineet Padmanabhan, Guido Governatori, Shazia Wasim Sadiq, Robert M. Colomb, Antonino Rotolo	Process modelling: the deontic way.	APCCM	2006	DBLP BibTeX RDF	enterprise and process modelling, business
65	Layman E. Allen, Charles S. Saxon	Application of enriched deontic legal relations: Federal Rules of Civil Procedure Rule 7(a), pleadings.	ICAIL	1999	DBLP DOI BibTeX RDF
65	Frank Dignum, Ruurd Kuiper 0001	Combining Dynamic Deontic Logic and Temporal Logic for the Specification of Deadlines.	HICSS (5)	1997	DBLP DOI BibTeX RDF
65	Young U. Ryu	Relativized Deontic Modalities for Contractual Obligations in Formal Business Communication.	HICSS (4)	1997	DBLP DOI BibTeX RDF
65	Pablo F. Castro, T. S. E. Maibaum	A Tableaux System for Deontic Action Logic.	DEON	2008	DBLP DOI BibTeX RDF	Deontic Action Logic, Tableaux Systems, Fault-tolerance, Modal Logic, Software Specification
65	Marek J. Sergot, Robert Craven	The Deontic Component of Action Language nC+.	DEON	2006	DBLP DOI BibTeX RDF
65	Alessio Lomuscio, Bozena Wozna	A Complete and Decidable Axiomatisation for Deontic Interpreted Systems.	DEON	2006	DBLP DOI BibTeX RDF
60	Pablo F. Castro, T. S. E. Maibaum	Reasoning about System-Degradation and Fault-Recovery with Deontic Logic.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF	Fault-Tolerance, Formal Specification, Software Design, Deontic Logics
60	Albert J. J. Anglberger	Dynamic Deontic Logic and its Paradoxes.	Stud Logica	2008	DBLP DOI BibTeX RDF	dynamic deontic logic, PDeL, Chisholm’s paradox, contrary to duty obligations
60	Jan M. Broersen, Julien Brunel	Preservation of obligations in a temporal and deontic framework.	AAMAS	2007	DBLP DOI BibTeX RDF	temporal logic, product, deontic logic
60	Nardine Osman 0001, David Robertson 0001, Christopher Walton	Run-time model checking of interaction and deontic models for multi-agent systems.	AAMAS	2006	DBLP DOI BibTeX RDF	deontic models, dynamic model checking, interaction models
60	Xiaofeng Gong, Julian Newman	The Role of Deontic Concepts and Commitment in the Policy Specification of Mobile Computing Environment.	OTM Workshops	2003	DBLP DOI BibTeX RDF	deontic concepts, speech acts oriented communication, mobile computing, Commitment, commitments, security policy specification
59	Olga Pacheco, Filipe Santos 0001	Delegation in a Role-Based Organization.	DEON	2004	DBLP DOI BibTeX RDF
54	Kazumi Nakamatsu, Michiro Kondo, Jair Minoro Abe	EVALPSN Based Intelligent Drivers' Model.	KES (2)	2006	DBLP DOI BibTeX RDF	EVALPSN(Extended Vector Annotated Logic Program with Strong Negation), paraconsistent annotated logic program, intelligent traffic simulation, defeasible deontic reasoning
54	Kazumi Nakamatsu, Ryuji Ishikawa, Atsuyuki Suzuki	A Paraconsistent Logic Program Based Control for a Discrete Event Cat and Mouse.	KES	2004	DBLP DOI BibTeX RDF	paraconsistent logic program, discrete event control, EVALPSN, defeasible deontic reasoning
53	Pablo F. Castro, T. S. E. Maibaum	An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers.	SEFM	2007	DBLP DOI BibTeX RDF
53	John F. Horty	Precedent, deontic logic, and inheritance.	ICAIL	1999	DBLP DOI BibTeX RDF
53	Leendert W. N. van der Torre	Deontic Redundancy: A Fundamental Challenge for Deontic Logic.	DEON	2010	DBLP DOI BibTeX RDF
53	José Carmo	Roles, Counts-as and Deontic and Action Logics.	DEON	2006	DBLP DOI BibTeX RDF
53	Franco Raimondi, Alessio Lomuscio	Automatic Verification of Deontic Properties of Multi-agent Systems.	DEON	2004	DBLP DOI BibTeX RDF
53	Jan M. Broersen, Frank Dignum, Virginia Dignum, John-Jules Ch. Meyer	Designing a Deontic Logic of Deadlines.	DEON	2004	DBLP DOI BibTeX RDF
53	Layman E. Allen	From the Fundamental Legal Conceptions of Hohfeld to Legal Relations: Refining the Enrichment of Solely Deontic Legal Relations.	DEON	1996	DBLP DOI BibTeX RDF
53	Alberto Artosi, Guido Governatori, Giovanni Sartor	Towards a Computational Treatment of Deontic Defeasibility.	DEON	1996	DBLP DOI BibTeX RDF
53	Frédéric Cuppens, Robert Demolombe	A Deontic Logic for Reasoning about Confidentiality.	DEON	1996	DBLP DOI BibTeX RDF
53	Yao-Hua Tan, Leendert W. N. van der Torre	How to Combine Ordering and Minimizing in a Deontic Logic Based on Preferences.	DEON	1996	DBLP DOI BibTeX RDF
48	Cristian Prisacariu, Gerardo Schneider	A Formal Language for Electronic Contracts.	FMOODS	2007	DBLP DOI BibTeX RDF
48	Magnus Hjelmblom, Jan Odelstad	jDALMAS: A Java/Prolog Framework for Deontic Action-Logic Multi-Agent Systems.	KES-AMSTA	2009	DBLP DOI BibTeX RDF	deontic action-logic, normative positions, norm-regulated MAS, DALMAS, logic server
48	Jingde Cheng	Deontic Relevant Logic as the Logical Basis for Representing and Reasoning about Legal Knowledge in Legal Information Systems.	KES (2)	2008	DBLP DOI BibTeX RDF	Knowledge management, Knowledge representation, Knowledge discovery, Deontic logic, Legal reasoning, Relevant logic
48	David Evans 0002, David M. Eyers	Deontic logic for modelling data flow and use compliance.	MPAC	2008	DBLP DOI BibTeX RDF	middleware, contract, deontic logic, event calculus
48	Pablo F. Castro, T. S. E. Maibaum	A Complete and Compact Propositional Deontic Logic.	ICTAC	2007	DBLP DOI BibTeX RDF	Fault tolerance, Temporal Logic, Modal Logic, Software Specification, Deontic Logic
48	Jörg Hansen	Deontic logics for prioritized imperatives.	Artif. Intell. Law	2006	DBLP DOI BibTeX RDF	logic of imperatives, priorities, deontic logic
48	Alessio Lomuscio, Marek J. Sergot	Deontic Interpreted Systems.	Stud Logica	2003	DBLP DOI BibTeX RDF	multiagent systems, deontic logic, Interpreted systems
47	Xavier Parent	On the Strong Completeness of Åqvist's Dyadic Deontic Logic G.	DEON	2008	DBLP DOI BibTeX RDF	Conditional obligation, preference-based semantics, DSDL3, strong completeness
47	Nora Cuppens-Boulahia, Frédéric Cuppens	Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic.	DEON	2008	DBLP DOI BibTeX RDF
47	Souhila Kaci, Leendert W. N. van der Torre	Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms.	DEON	2006	DBLP DOI BibTeX RDF
47	Mark A. Brown	Acting with an End in Sight.	DEON	2006	DBLP DOI BibTeX RDF
47	Jesse Hughes, Lambèr M. M. Royakkers	Don't Ever Do That! Long-Term Duties in PDeL.	DEON	2006	DBLP DOI BibTeX RDF
47	Davide Grossi, Frank Dignum, Lambèr M. M. Royakkers, John-Jules Ch. Meyer	Collective Obligations and Agents: Who Gets the Blame?	DEON	2004	DBLP DOI BibTeX RDF
47	Mark A. Brown	Obligation, Contracts, and Negotiation.	DEON	2004	DBLP DOI BibTeX RDF
42	Pedro Nogueira Ramos	Contrary-to-Duties Constraints: From UML to Relational Model.	MoDELS	2008	DBLP DOI BibTeX RDF	Contrary-To-Duties, Deontic Constraints, UML, Relational Model
42	Kazumi Nakamatsu, Toshiaki Seno, Jair Minoro Abe, Atsuyuki Suzuki	Intelligent Real-Time Traffic Signal Control Based on a Paraconsistent Logic Program EVALPSN.	RSFDGrC	2003	DBLP DOI BibTeX RDF	paraconsistent logic program, intelligent control, traffic signal control, defeasible deontic reasoning
41	Gersende Georg, Hugo Hernault, Marc Cavazza, Helmut Prendinger, Mitsuru Ishizuka	Analysing Clinical Guidelines' Contents with Deontic and Rhetorical Structures.	AIME	2009	DBLP DOI BibTeX RDF	natural language processing, guidelines, rhetorical structure theory
41	Tomoyuki Yamada	Acts of Promising in Dynamified Deontic Logic.	JSAI	2007	DBLP DOI BibTeX RDF
41	Christophe Garion, Leendert W. N. van der Torre	Design by Contract Deontic Design Language for Multiagent Systems.	AAMAS Workshops	2005	DBLP DOI BibTeX RDF
41	Marco Alberti 0001, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni	A Social ACL Semantics by Deontic Constraints.	CEEMAS	2003	DBLP DOI BibTeX RDF
41	Leendert W. N. van der Torre, Yao-Hua Tan	Contextual Deontic Logic.	ModelAge Workshop	1997	DBLP DOI BibTeX RDF
41	Frank Dignum, Hans Weigand, Egon Verharen	Meeting the Deadline: On the Formal Specification of Temporal Deontic Constraints.	ISMIS	1996	DBLP DOI BibTeX RDF
41	Ronald M. Lee	Bureaucracies as Deontic Systems.	ACM Trans. Inf. Syst.	1988	DBLP DOI BibTeX RDF
36	Arjan Foekens, Andreas Mitrakas, Yao-Hua Tan	Facilitating International Electronic Commerce by Formalising the Incoterms.	HICSS (4)	1997	DBLP DOI BibTeX RDF
35	Dominik Pichler, Xavier Parent	Perspectival Obligation and Extensionality in an Alethic-Deontic Setting.	DEON	2023	DBLP BibTeX RDF
35	Edi Pavlovic, Frederik Van De Putte	Proof Theory for Admissibility in Two-Player (Deontic) Games.	DEON	2023	DBLP BibTeX RDF
35	Rodrigo Mena González	Deontic Logic in a Hierarchical Framework.	DEON	2023	DBLP BibTeX RDF
35	Stef Frijters	An Andersonian-Kangerian Reduction of Term-Modal Deontic Logics.	DEON	2023	DBLP BibTeX RDF
35	Huimin Dong, Dragan Doder, Xu Li, Réka Markovich, Leendert van der Torre, Marc van Zee	Rights and Practical Reasoning in Deontic Logic.	DEON	2023	DBLP BibTeX RDF
35	Vincent de Wit	Rule rather than Exception: Defeasible Probabilistic Dyadic Deontic Logic.	DEON	2023	DBLP BibTeX RDF
35	Ilaria Canavotto	Inconsistent Precedents and Deontic Logic.	DEON	2023	DBLP BibTeX RDF
35	Guido Governatori, Antonino Rotolo	Is Free Choice Permission Admissible in Classical Deontic Logic?	DEON	2021	DBLP BibTeX RDF
35	Valentin Goranko	How Deontic Logic Ought to Be: Towards a Many-Sorted Framework for Normative Reasoning.	DEON	2021	DBLP BibTeX RDF
35	Kees van Berkel 0002, Tim Lyon	The Varieties of Ought-Implies-Can and Deontic STIT Logic.	DEON	2021	DBLP BibTeX RDF
35	Pablo F. Castro, Valentin Cassano, Raul Fervari, Carlos Areces	Deontic Action Logics via Algebra.	DEON	2021	DBLP BibTeX RDF
35	Guido Governatori, Silvano Colombo Tosatto, Antonino Rotolo	A Defeasible Deontic Logic for Pragmatic Oddity.	DEON	2021	DBLP BibTeX RDF
35	Alessandro Giordani	Reason-Based Deontic Logic.	DEON	2021	DBLP BibTeX RDF
35	Edgar Avendano-Mejia, Yolanda Torres-Falcon	The Roles of Authority and Norm-Addressees in Deontic Puzzles.	DEON	2021	DBLP BibTeX RDF
35	Takahiro Sawasaki, Katsuhiko Sano	Term-Sequence-Dyadic Deontic Logic.	DEON	2021	DBLP BibTeX RDF
35	Karl Nygren	Deontic Logic Based on Inquisitive Semantics.	DEON	2021	DBLP BibTeX RDF
35	Krystian Jobczyk	Multi-valued deontic Halpern-Shoham logic for fuzzy deontic-temporal expressions.	J. Intell. Fuzzy Syst.	2019	DBLP DOI BibTeX RDF
35		Special Issue 'deontic modalities in natural language' - selected and revised papers from the 12th International Conference on Deontic Logic and Normative Systems (DEON 2014).	J. Log. Comput.	2019	DBLP DOI BibTeX RDF
35	Guido Governatori, Antonino Rotolo, Régis Riveret	A Deontic Argumentation Framework Based on Deontic Defeasible Logic.	PRIMA	2018	DBLP DOI BibTeX RDF
35	Christoph Benzmüller, Ali Farjami, Xavier Parent	A Dyadic Deontic Logic in HOL.	DEON	2018	DBLP BibTeX RDF
35	Frederik Van De Putte, Stefan Frijters, Joke Meheus	How to Take Heroin (if at all). Holistic Detachment in Deontic Logic.	DEON	2018	DBLP BibTeX RDF
35	Fengkui Ju	S5 as a Deontic Logic.	DEON	2018	DBLP BibTeX RDF
35	Frederik Van De Putte	Coarse Deontic Logic (short version).	DEON	2016	DBLP BibTeX RDF
35	Alessandro Giordani, Ilaria Canavotto	Basic Action Deontic Logic.	DEON	2016	DBLP BibTeX RDF
35	Zarnic Berislav	Deontic Logic as a Study of Conditions of Rationality in Norm-related Activities.	DEON	2016	DBLP BibTeX RDF
35	Dov M. Gabbay, Livio Robaldo, Xin Sun 0001, Leendert W. N. van der Torre, Zohreh Baniasadi	Toward a Linguistic Interpretation of Deontic Paradoxes - Beth-Reichenbach Semantics Approach for a New Analysis of the Miners Scenario.	DEON	2014	DBLP DOI BibTeX RDF
35	Melissa Fusco	Factoring Disjunction Out of Deontic Modal Puzzles.	DEON	2014	DBLP DOI BibTeX RDF
35	Robert Trypuz, Piotr Kulicki	A Deontic Logic of Actions and States.	DEON	2014	DBLP DOI BibTeX RDF