We study the design of truthful mechanisms that do not use payments for the generalized assignment problem (GAP) and its variants. An instance of the GAP consists of a bipartite g...
Discovery of multidimensional empirical equations has been a task of systems such as BACON and FAHRENHEIT. When confronted with data collected in a robotic experiment, BACON-like g...
The Marchitecture is a cognitive architecture for autonomous development of representations. The goals of The Marchitecture are domain independence, operating in the absence of kn...
This paper presents an extension of classical attributive logic using atomic values of attributes. In the proposed logic set values are allowed and various relational symbols are ...
In the research-in-progress reported here, we adapted the classic Mason and Mitroff characterization of an information system to a web environment. The resulting definition was us...