Game quantification is an expressive concept and has been studied in model theory and descriptive set theory, especially in relation to infinitary logics. Automatic structures on t...
We extend the open source Quake 3 Arena code base released by Id Software to include modification friendly code segments, art asset blueprints, external agent control and percepti...
G. Michael Youngblood, Billy Nolen, Michael Ross, ...
This work has for objective building a simulation model to evaluate different alternatives of operation of a projected center for ambulatory surgery. For the construction of the m...
Francisco J. Ramis, Jorge L. Palma, Felipe F. Baes...
This paper describes the results of applying a modified version of hierarchical task-network (HTN) planning to the problem of declarer play in contract bridge. We represent inform...
Stephen J. J. Smith, Dana S. Nau, Thomas A. Throop