To describe and explain the world, scientists search for equations that quantify relations among relevant variables. We wanted to assist these efforts by a computer program inspir...
Kasun Wickramaratna, Miroslav Kubat, Peter Minnett
We show that a practical translation of MRS descriptions into normal dominance constraints is feasible. We start from a recent theoretical translation and verify its assumptions o...
Ruth Fuchss, Alexander Koller, Joachim Niehren, St...
Traditional auctions such as the English and first-price sealed-bid auctions have been adopted as another tool for procurement negotiations. Throughout the past decade many new auc...
Spatial reasoning is a major source of difficulties for strategy game AIs. We conjecture that qualitative spatial reasoning techniques can help overcome these difficulties. We bri...
We develop a decision-theoretic method that yields approximate, low cost troubleshooting plans by making more relevant observations and devoting more time to generate a plan. The ...