Multiagent sequential decision making has seen rapid progress with formal models such as decentralized MDPs and POMDPs. However, scalability to large multiagent systems and applicability to real world problems remain limited. To address these challenges, we study multiagent planning problems where the collective behavior of a population of agents affects the joint-reward and environment dynamic...

We define a class of higher inductive types that can be constructed in the category sets under assumptions Zermelo-Fraenkel set theory without axiom choice or existence uncountable regular cardinals. This includes example unordered trees any arity.

there is a bilateral relationship between psychoanalysis and literature. literature enlivens the soul and psychoanalysis dissects literature. what psychoanalysts express today has attended in the past literature and is proposed now scientifically after psychoanalysis was identified as a science. by analyzing an art work from the perspective of psychology, it seems being possible to understand a...

This paper raises the question of collective decision making under possibilistic uncertainty. We study several egalitarian decision rules and show that in the context of a possibilistic representation of uncertainty, the use of an egalitarian collective utility function allows us to get rid of the Timing Effect. Making a step further, we prove that if both the agents’ preferences and the collec...

The graded rough set and multi-granulation rough set are two significant generalized rough set models which be constructed on the indiscernibility relation. They solve the issues that the degree of overlap between the equivalence class and basic set in different view points of quantitative information. The purpose of this study is that research the good points of graded rough set in the multi-g...

Inductive queries are queries to an inductive database that generate a set of patterns in a data mining context. Inductive querying poses new challenges to database and data mining technology. We study conjunctive inductive queries, which are queries that can be written as a conjunction of a monotonic and an anti-monotonic subquery. We introduce the conjunctive inductive query optimization prob...