1151 search results - page 111 / 231 » Collaborative Programming: Applications of Logic and Automat... |
140
Voted
DLOG
2004
15 years 5 months ago
2004
Several applications require the matching of user profiles, e.g., job recruitment or dating systems. In this paper we present a logical framework for specifying user profiles that...
146
Voted
COMPSAC
2006
IEEE
15 years 9 months ago
2006
IEEE
Service-based systems have many applications, such as collaborative research and development, e-business, health care, military applications, and homeland security. In dynamic ser...
128
Voted
CL
2000
Springer
15 years 8 months ago
2000
Springer
This paper presents a method for representing trees using constraint logic programming over finite domains. We describe a class of trees that is of particular interest to us and h...
136
Voted
IPL
2008
15 years 3 months ago
2008
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
150
Voted
WFLP
2000
Springer
15 years 7 months ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...