In this paper, a logic for reasoning about coalitional power is developed which explicitly represents agents' preferences and the actions by which the agents ...
We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [{x}ψ]φ expressing that the coalition of ...
People also ask
What is higher order logic in AI?
What is the difference between first-order and higher order logic?
Is higher order logic complete?
Is type theory higher order logic?
We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [{x}ψ]φ expressing that the coalition of all ...
We illustrate higher-order coalition logic to represent and reason about coalition formation and cooperation, we show a more general and expressive way to ...
No information is available for this page. · Learn why
A number of popular logical formalisms for representing and reasoning about the abilities of teams or coalitions of agents have been proposed.
A higher-order logic (abbreviated HOL) is a form of logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger ...
Missing: Coalition | Show results with:Coalition
Boella et al, increased the representational expressibility of such formalisms by introducing Higher-Order Coalition Logic (HCL), a monadic second-order logic ...
We illustrate higher-order coalition logic to represent and reason about coalition formation and cooperation, we show a more general and expressive way to ...
We illustrate higher-order coalition logic to represent and reason about coalition formation and cooper- ation, we show a more general and expressive way to ...