Titlebook: Methods and Applications of Artificial Intelligence; Second Hellenic Conf Ioannis P. Vlahavas,Constantine D. Spyropoulos Conference proceed

清醒

Derogate

The Ramification and Qualification Problems in Temporal Databases dynamic behavior. The ramification problem refers to determining the indirect effects of actions, whereas the qualification problem refers to determining the preconditions which must hold prior to the execution of an action. A solution to these problems in database systems permits reasoning about t

中世纪

alcohol-abuse

Decision Making Based on Past Problem Cases cases and the automated synthesis of a new evaluation model, based on the cumulative experience stored in a knowledge base. In order to select the most promising past evaluation cases we propose the use of two metrics: their proximity to the new case and the degree of success. To add flexibility, w

险代理人

过去分词

Missile

: A Communicating Sequential Prolog with Constraintsa version of Prolog that supports, among other features, channel-based communicating processes and TCP/IP communication and is based on the CSP model introduced by Hoare. . inherits all the advanced features of . and extends it by introducing constraint solving capabilities to the processes. In Cspc

慢慢流出

赏心悦目

dialect

Crew Pairing Optimization with Genetic Algorithmsund trip starting and ending at the home base, which is susceptible to constraints that arise due to laws and regulations. The purpose of the crew pairing problem is to generate a set of pairings with minimal cost, covering all flight legs that the company has to carry out during a predefined time p