Abstract. We propose an Internet-based, free, world-wide, centralized medical information system with two main target groups: practicing physicians and medical researchers. After a...
Large classes of autonomic (self-managing, selfhealing) systems can be created by logically integrating simpler autonomic systems. The configuration method is widely used for such...
Sanjai Narain, Thanh Cheng, Brian A. Coan, Vikram ...
We have developed an automated Japanese essay scoring system named jess. The system evaluates an essay from three features: (1) Rhetoric -- ease of reading, diversity of vocabular...
Automated generators for synthetic models and data can play a crucial role in designing new algorithms/modelframeworks, given the sparsity of benchmark models for empirical analys...
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...
Marcello Balduccini, Michael Gelfond, Monica Nogue...