Sciweavers

2638 search results - page 57 / 528
» Frameworks for Reasoning about Agent Based Systems
Sort
View
CORR
2004
Springer
111views Education» more  CORR 2004»
15 years 4 months ago
FLUX: A Logic Programming Method for Reasoning Agents
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...
Michael Thielscher
132
Voted
VL
2002
IEEE
15 years 9 months ago
Visually Customizing Inference Rules About Apples and Oranges
We have been working on a unit system for end-user spreadsheets that is based on the concrete notion of units of the abstract concept of types. In previous work, we defined such ...
Margaret M. Burnett, Martin Erwig
AAAI
1994
15 years 5 months ago
Towards More Creative Case-Based Design Systems
Case-based reasoning (CBR) has a great deal to o er in supporting creative design, particularly processes that rely heavily on previous design experience, such as framing the prob...
Linda M. Wills, Janet L. Kolodner
138
Voted
FLAIRS
2001
15 years 5 months ago
The Benefits of Multi-Agent Systems in Spatial Reasoning
This paper presents arguments for the application of a multiagent approach to spatial reasoning, and it is shown how spatial reasoning benefits from an agent-based implementation....
Christian Kray
ROBOCUP
1999
Springer
138views Robotics» more  ROBOCUP 1999»
15 years 8 months ago
All Botz
This paper provides general information about research at the University of Auckland into autonomous agents in highly dynamic environments, in particular in RoboCup. The paper desc...
Jacky Baltes, Nicholas Hildreth, David Maplesden