consu'ucts solutions to scheduling problems by repeatedly identifying bottleneck conflicts and posting constraints to resolve them. The identification of bottleneck conflicts is based on a capacity an...
consu'ucts solutions to scheduling problems by repeatedly identifying bottleneck conflicts and posting constraints to resolve them. The identification of bottleneck conflicts is based on a capacity an...
dlv is a knowledge representation system, based on disjunctive logic programming, which oers front-ends to several advanced KR formalisms. This paper describes new techniques for the computation of an...
The main goal of this paper is to present a systematic methodology for selecting general ontological categories to be used for multiple practical purposes.
This work presents the application of INTHELEX, an incremental learning system enhanced by multistrategy capabilities, on a dataset concerning family relationships.
This work presents the application of INTHELEX, an incremental learning system enhanced by multistrategy capabilities, on a dataset concerning family relationships.
Efficiency of the first-order logic proof procedure is a major issue when deduction systems are to be used in real environments, both on their own and as a component of other systems (e.g., learning s...