Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
Peter Baumgartner, Ulrich Furbach, Margret Gro&szl...
—This paper proposes a module-based vision for designing BDI-based multi-agent programming languages. The introduced concept of modules enables common programming techniques such...
Abstract. The increased availability and robustness of sensors, the wide-spread use of the internet as a communication environment and the intensified adoption of semantic technolo...
Automatic detection systems do not perform as well as human observers, even on simple detection tasks. A potential solution to this problem is training vision systems on appropriat...
Abstract. I argue for the use of a specific type of grid and computational style for computational simulation that utilize emergence to produce results that would resemble physica...