Sciweavers

1743 search results - page 140 / 349
» Language resources for Hebrew
Sort
View
APAL
2002
101views more  APAL 2002»
15 years 4 months ago
The logic of tasks
The paper introduces a semantics for the language of classical first order logic supplemented with the additional operators and . This semantics understands formulas as tasks. An ...
Giorgi Japaridze
DALT
2007
Springer
15 years 10 months ago
Towards Alternative Approaches to Reasoning About Goals
Agent-oriented programming languages have gone a long way in the level of sophistication offered to programmers, and there has also been much progress in tools to support multi-ag...
Patricia H. Shaw, Rafael H. Bordini
UM
2009
Springer
15 years 11 months ago
Just-in-Time Adaptivity through Dynamic Items
Adaptive course generation becomes more appropriate for realistic usage scenarios and more flexible if it includes mechanisms deciding just-in-time which content, which exercises,...
Carsten Ullrich, Tianxiang Lu, Erica Melis
HICSS
2005
IEEE
122views Biometrics» more  HICSS 2005»
15 years 10 months ago
Expressive and Efficient Peer-to-Peer Queries
It is demonstrated how to provide a peer-to-peer system that supports an expressive query language while maintaining efficient distribution over a wide-area network. The key is to...
Dennis Heimbigner
ESWS
2005
Springer
15 years 10 months ago
Temporal RDF
The Resource Description Framework (RDF) is a metadata model and language recommended by the W3C. This paper presents a framework to incorporate temporal reasoning into RDF, yieldi...
Claudio Gutiérrez, Carlos A. Hurtado, Aleja...