Titlebook: KI 2002: Advances in Artificial Intelligence; 25th Annual German C Matthias Jarke,Gerhard Lakemeyer,Jana Koehler Conference proceedings 200

Culmination

Fast Winner-Takes-All Networks for the Maximum Clique Problemial optimization problem which has practical applications in several real world domains. The analysis yields tight bounds for the parameter settings to ensure energy descent to feasible solutions. To verify the theoretical results we employ a fast annealing schedule to the WTA algorithm and show the

Alpha-Cells

extinguish

Learning of Class Descriptions from Class Discriminations: A Hybrid Approach for Relational Objectsg. We present the approach TRITOP/MATCHBOX combining the relational decision tree algorithm TRITOP with the connectionist approach MATCHBOX. TRITOP constructs efficiently a relational decision tree for the fast discrimination of classes of relational descriptions, while MATCHBOX is used for construc

通便

The Well-Founded Semantics Is a Stratified Fitting Semanticserent semantics have been proposed, and some have been more successful than others, the exact relationships between the approaches have not yet been fully understood. In this paper, we give new characterizations, using level mappings, of the Fitting semantics, the well-founded semantics, and the wea

宴会

Axiomatization of Finite Algebraste axiom set for .. We give a rational reconstruction of Barzdins’ . [.]. We show a sufficient condition for the existence of a class . of . for a given theory .. Such a set allows us to prove .⊨φ simply by testing whether ϕ holds in ..

Malaise

Algorithms for Guiding Clausal Temporal Resolutionto classical resolution) on formulae occurring at the same states and . resolution between formulae describing properties over a longer period. The most complex part of the method occurs in searching for candidates for the temporal resolution operation, something that may need to be carried out seve

进取心

消灭

Representation of Behavioral Knowledge for Planning and Plan-Recognition in a Cognitive Vision Systeequences of road traffic scenes. The necessary conceptual knowledge has been provided in the form of a so-called .. Other endeavors such as the generation of a synthetic image sequence from a textual description or the transformation of machine vision results for use in a driver assistance system co

流动性

Qualitative Velocity and Ball Interceptionoss calculus [.]). However, in general, real environment are dynamic, which means that both the agent itself and also other objects and agents in the environment may move. Thus, in order to perform spatial reasoning, not only (qualitative) distance and orientation information is needed (as e.g. in [

Esophagitis