3706 search results - page 113 / 742 » System Description: E-KRHyper |
LPKR
1997
Springer
14 years 1 months ago
1997
Springer
The purpose of this paper is to investigate the methodology of reasoning with prioritized defaults in the language of logic programs under the answer set semantics. We present a do...
EEE
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper we discuss the Recommendz 1 recommender system. This domain-independent system combines the advantages of collaborative and content-based filtering in a novel way. ...
ECRTS
2000
IEEE
14 years 1 months ago
2000
IEEE
Real-time Systems, in particular regulation systems, are often specified using the notion of running modes. On the other hand, the family of synchronous languages [1] has been ve...
FDL
2007
IEEE
14 years 3 months ago
2007
IEEE
The system description language SystemC enables to quickly create executable specifications at adequate levbstraction for both hardware/software integration and fast design space...
CORR
2011
Springer
13 years 28 days ago
2011
Springer
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify t...