641 search results - page 41 / 129 » Applications of a Logical Discovery Engine |
DLOG
2001
13 years 9 months ago
2001
Description logics have been designed and studied in a modular way. This has allowed a methodic approach to complexity evaluation. We present a way to preserve this modularity in ...
TPHOL
1998
IEEE
13 years 12 months ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...
PRDC
2007
IEEE
14 years 1 months ago
2007
IEEE
Model-based development has become state of the art in software engineering. Unfortunately, the used code generators often focus on the pure application functionality. Features li...
WCRE
2008
IEEE
14 years 2 months ago
2008
IEEE
A business application automates a collection of business processes. A business process describes how a set of logically related tasks are executed, ordered and managed by followi...
NMR
2004
Springer
14 years 29 days ago
2004
Springer
Recommender systems have evolved in the last years as specialized tools to assist users in a plethora of computermediated tasks by providing guidelines or hints. Most recommender ...