Titlebook: Artificial Intelligence: Methodology, Systems, and Applications; 8th International Co Fausto Giunchiglia Conference proceedings 1998 Spring

发怨言

使服水土

万花筒

Using linear temporal logic to model and solve planning problems,by means of different LTL theories, each encoding making the model construction procedure simulate a different search strategy, namely planning by progression and partial order regression planning in the style of [14].

流利圆滑

匍匐前进

Feeding Practices of Mares and Young Horses,architecture for modeling social agent behavior, with particular attention to Natural Language dialog. The architecture can be used both to recognize a speaker‘s intentions and generate intention-driven behavior in agent interactions; therefore, it is suited to interface agents for HCI, which require a friendly interaction with users.

Abduct

有限

ingenue

inclusive

0302-9743 ce: Methodology, Systems, Applications, AIMSA‘98, held in Sozopol, Bulgaria, in September 1998..The 40 revised full papers presented were carefully reviewed and selected from a total of 90 submissions. The papers address the whole spectrum of current topics in AI, in particular case-based reasoning,

不在灌木丛中

Feeding Growing Race Horses in Work, this paper we introduce an approach to incorporate constraint solving in term rewriting and we compare it with the Constraint Logic Programming scheme. We compare the two approaches both at the theoretical and at the implementational level and discuss potentials for cross-fertilisation.