Verification of hierarchical plans deals with the problem whether an action sequence is causally consistent and can be obtained by a decomposition goal task. This second sub-problem (finding decomposition) makes verification NP-hard. The task structure very close to parsing tree context-free grammar (CFG). Recently, CFG-parsing algorithm Cocke–Younger–Kasami (CYK) has been modified verify effic...

The main issue raised in this note is the nonequivalence between the infinitehorizon model where agents are infinitely lived and the successive generations model with altruistic finitely lived agents: in the presence of a nonnegative bequest requirement, endowment heterogeneity imposes a revision of the acritical adoption of the infinitely lived agent representation in modern macro-economics. B...

Human mating is a complex phenomenon. Although men and women have different preferences in mate selection, there should be compatibility in these preferences since human mating requires agreement of both parties. We investigate how compatible the mating preferences of men and women are in a given property such as age, height, education and income. We use dataset of a large online dating site (N...

We consider a political economy with two partisan parties; each party represents a given constituency of voters. If one party (Labour) represents poor voters and the other (Christian Democrats) rich voters, if a redistributive tax policy is the only issue, and if there are no incentive considerations, then in equilibrium the party representing the poor will propose a tax rate of unity. If, howe...

While scholars have thoroughly explored the logic of two candidate electoral competition, much less has been accomplished in gaining an understanding of the role of party primaries. This paper presents an incomplete information model of primary and general elections and argues that party primaries do more than select party candidates. Party primaries serve an informational function. In an envir...