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. ...
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...
The system description language SystemC enables to quickly create executable specifications at adequate levbstraction for both hardware/software integration and fast design space...
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...
Semantic markup of Web services will enable the automation of various kinds of tasks, including discovery, composition, and execution of Web services. We describe how an AI planni...
Dan Wu, Evren Sirin, James A. Hendler, Dana S. Nau...