Computer Go is one of the biggest challenges faced by game programmers. This survey
describes the typical components of a Go program, and discusses knowledge …

This research examines the impact of a daughter's transitions to marriage and motherhood
on the mother-daughter relationship. Forty-three daughters (married with and without …

The water cycle over a given region is governed by many complex multiscale interactions
and feedbacks, and their representation in climate models can vary in complexity. To …

Real-time strategy (RTS) games are hard from an AI point of view because they have
enormous state spaces, combinatorial branching factors, allow simultaneous and durative …

Proof planning is an approach to the automation of theorem proving in which search is
conducted, not at the object-level, but among a set of proof methods. This approach …

Multiagent research provides an extensive literature on formal Beliefs-Desires-Intentions
(BDI) based models describing the notion of teamwork and cooperation. However …

In non-cooperative multi-agent planning environments, it is essential to have a system that
enables the agents' strategic behavior. It is also important to consider all planning phases …

Adversariality of the agents with respect to the multi-agent system can be a serious issue in
the design of open multi-agent systems. Until now, many incoherent definitions of such …

Drawing upon a sample of 1007 households, the present study has attempted to examine
the significance of kinship networks in Malaysia. Through the investigation of frequency of …

A major problem in automated theorem proving is search control. Fully expanded proofs are
generally built from a large number of relatively low-level inference steps, with the result that …