A sketch of logic without truth
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
Intention is choice with commitment
Artificial Intelligence
Handbook of theoretical computer science (vol. B)
Reasoning about knowledge
On the characterization of law and computer systems: the normative systems perspective
Deontic logic in computer science
Exploring logical dynamics
Recovery of (non)monotonic theories
Artificial Intelligence
Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
The Qualification Problem: A solution to the problem of anomalous models
Artificial Intelligence
A logical theory of nonmonotonic inference and belief change
A logical theory of nonmonotonic inference and belief change
A Textbook of Belief Dynamics: Solutions to Exercises
A Textbook of Belief Dynamics: Solutions to Exercises
Epistemic Logic for AI and Computer Science
Epistemic Logic for AI and Computer Science
Dynamic Logic
On the Relationship Between BDI Logics and Standard Logics of Concurrency
Autonomous Agents and Multi-Agent Systems
Fundamenta Informaticae
Belief Revision and Nonmonotonic Logic: Two Sides of the Same Coin? (Abstract)
JELIA '90 Proceedings of the European Workshop on Logics in AI
Alternating-time Temporal Logic
FOCS '97 Proceedings of the 38th Annual Symposium on Foundations of Computer Science
Fulfilling or Violating Obligations in Normative Multiagent Systems
IAT '04 Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology
International Journal of Intelligent Systems
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Introduction to normative multiagent systems
Computational & Mathematical Organization Theory
Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
Journal of Logic and Computation
Classificatory Aspects of Counts-as
Journal of Logic and Computation
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Semantical consideration on floyo-hoare logic
SFCS '76 Proceedings of the 17th Annual Symposium on Foundations of Computer Science
The 1st international workshop on computational social choice
The Knowledge Engineering Review
A Deontic Logic for Socially Optimal Norms
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Reasoning about Norms, Obligations, Time and Agents
Agent Computing and Multi-Agent Systems
Dynamic Epistemic Logic
Strategic deontic temporal logic as a reduction to ATL, with an application to chisholm's scenario
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Ten problems of deontic logic and normative reasoning in computer science
ESSLLI'10 Proceedings of the 2010 conference on ESSLLI 2010, and ESSLLI 2011 conference on Lectures on Logic and Computation
Discussion paper: changing norms is changing obligation change
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
A real-time semantics for norms with deadlines
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Hi-index | 0.00 |
The aim of this paper is to raise awareness of some issues in designing (formal) models for norm change. I start by positioning this research in a broader context. Then I will briefly recall several concepts and problems from deontic logic, which is the field primarily concerned with notions like `norm', `obligation', `right', etc. Then I proceed with what I regard the main contribution of the paper: the distinction of four categories of problems one faces when thinking about formal logical models for norm change.