12774 search results - page 2249 / 2555 » A Framework for Proof Systems |
167
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
One aspect of rational behavior is that agents can pursue multiple goals in parallel. Current BDI theory and systems do not provide a theoretical or architectural framework for de...
192
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
One of the key issues in designing appropriate and effective learning environments is understanding how learners advance and what factors contribute to their progress. This holds...
181
click to vote
AVBPA
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We propose a relevance feedback system for retrieving a mental face picture from a large image database. This scenario differs from standard image retrieval since the ta...
169
click to vote
CAISE
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Recently, the database and AI research communities have paid increased attention to ontologies. The main motivating reason is that ontologies promise solutions for comple...
263
click to vote
CD
2005
Springer
16 years 9 days ago
2005
Springer
Recent studies showed potential for using component frameworks for building flexible adaptible applications for deployment in distributed environments. However this approach is h...