1941 search results - page 143 / 389 » Reasoning about Computations Using Two-Levels of Logic |
163
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Recommender systems face up to current information overload by selecting automatically items that match the personal preferences of each user. The so-called content-based...
178
click to vote
ICLP
2010
Springer
15 years 9 months ago
2010
Springer
We present a novel approach to non-monotonic ILP and its implementation called tal (Top-directed Abductive Learning). tal overcomes some of the completeness problems of ILP systems...
144
click to vote
SAC
2010
ACM
15 years 8 months ago
2010
ACM
Service-oriented architecture (SOA) is a relatively new approach to software system development. It divides system functionality to independent, loosely coupled, interoperable ser...
169
click to vote
IJCAI
2003
15 years 7 months ago
2003
FLUX belongs to the high-level programming languages for cognitive agents that have been developed in recent years. Based on the established, general action representation formali...
175
click to vote
REX
1991
15 years 10 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...