Sciweavers

1588 search results - page 89 / 318
» The Intelligence Within
Sort
View
183
Voted
AISC
2004
Springer
15 years 11 months ago
Proof Search in Minimal Logic
ion Within Partial Deduction for Linear Logic . . . . . . . . . . . . . . . . . 52 P. K¨ungas A Decision Procedure for Equality Logic with Uninterpreted Functions . . . 66 O. Tver...
Helmut Schwichtenberg
ECAI
2004
Springer
15 years 11 months ago
Preferences for Queries in a Mediator Approach
The problem of integrating relevant information obtained from multiple heterogeneous sources is a complex task, with which biologists are now faced. In this paper, we address the p...
Alain Bidault, Sarah Cohen Boulakia, Christine Fro...
ECAI
2004
Springer
15 years 11 months ago
Indirect and Conditional Sensing in the Event Calculus
Controlling the sensing of an environment by an agent has been accepted as necessary for effective operation within most practical domains. Usually, however, agents operate in par...
Jeremy Forth, Murray Shanahan
ECAI
2004
Springer
15 years 11 months ago
An architecture based on semantic weblogs for exploring the Web of People
This paper presents an architecture that helps users to collect and qualify meta-information about web resources within a weblog and then share them with a group of people. Our arc...
Tuan-Anh Ta, Jean-Marc Saglio, Michel Plu
172
Voted
MICAI
2004
Springer
15 years 11 months ago
Don't You Escape! I'll Tell You My Story
Abstract. This paper makes two contributions to increasing the engagement of users in virtual heritage environments by adding virtual living creatures. This work is carried out on ...
Jesús Ibáñez, Carlos Delgado-...