Titlebook: KI 2013: Advances in Artificial Intelligence; 36th Annual German C Ingo J. Timm,Matthias Thimm Conference proceedings 2013 Springer-Verlag

打算

Using State-Based Planning Heuristics for Partial-Order Causal-Link Planning,from state-based planning. To show the potential of our technique, we conducted experiments where we compared two of the currently strongest heuristics from state-based planning with two of the currently best-informed heuristics from POCL planning.

忘恩负义的人

quiet-sleep

Cognitive Workload of Humans Using Artificial Intelligence Systems: Towards Objective Measurement A.e. pupillary diameter mean, pupillary diameter deviation, number of gaze fixations and eye saccade speed of both left and right eyes) – all indicating cognitive workload – I found significant systematic cognitive workload differences between both test systems. My results indicated that a higher AI-support leads to lower user cognitive workload.

candle

异端邪说2

Automated Theorem Proving with Web Services,in its underlying hyper tableaux calculus. In this paper we describe the modifications and discuss problems and solutions pertaining to the integration. We also present an application of this integration for the purpose of abductive query relaxation.

epinephrine

Local SVM Constraint Surrogate Models for Self-adaptive Evolution Strategies,bility stagnation are prevented with a control parameter. Additionally, self-adaptive mutation is extended by a surrogate-assisted alignment to support the evolutionary convergence. The experimental results show a significant reduction of constraint function calls and show a positive effect on the convergence.

BACLE

aerobic

乳汁

Oversee