Input/output logics are abstract structures designed to represent conditional norms. The complexity of input/output logic has been sparsely developed. In this paper we study the complexity of input/output logics. We show that the lower bound of the complexity of the fulfillment problem of 4 input/output logics is coNP, while the upper bound is either coNP or P .

Correspondence: penggao@ntu. edu.sg Division of Mathematical Sciences, School of Physical and Mathematical Sciences, Nanyang Technological University, 637371 Singapore Abstract We present some results concerning the l norms of weighted mean matrices. These results can be regarded as analogues to a result of Bennett concerning weighted Carleman’s inequalities. 2000 Mathematics Subject Classifica...

Virtues, or habituated excellences of character, have been understood as having important roles in political regimes since the very beginnings of Western political thought. Across remarkable variation in theorists’ contexts and perspectives, the virtues are considered central to the flourishing of regimes beyond otherwise abstract norms and formal institutions. In Greek thought, for example, et...

Agent-mediated electronic institutions belong to a new and promising field where interactions between a group of agents are regulated by means of a set of explicit norms. Current implementations of such openagent systems are, however, mostly using constraints on the behaviour of the agents, thereby severely limiting the autonomy of the agents. To increase the autonomy of agents and possibly boo...

Although the uncanny exists, the inherent, unavoidable dip (or valley) may be an illusion. Extremely abstract robots can be uncanny if the aesthetic is off, as can cosmetically atypical humans. Thus, the uncanny occupies a continuum ranging from the abstract to the real, although norms of acceptability may narrow as one approaches human likeness. However, if the aesthetic is right, any level of...

Abstract In this paper, I outline and defend the view that variations in compliance levels with one same norm represent different norms about following . support of claim, first argue classic game-theoretic accounts, which define as Nash equilibria noncooperative games, typically consider separate norms. After that, suggest a more fine-grained, distinction accounts for degrees show how to incor...

Institutions are established to regulate the interactions between parties that are performing some (business) transaction. One of the main roles of institutions is to inspire trust into the parties that perform the transaction. (see [2] for more details on the roles of institutions). The main focus of this paper is how an electronic organization should be specified on the basis of the abstract ...

In systems based on organisational specifications a reoccurring problem remains to be solved in the disparity between the level of abstractness of the organisational concepts and the concepts used in the implementation. Organisational specifications (deliberately) abstract from general practice, which creates a need to relate the abstract concepts used in the specification to concrete ones used...

0