Sciweavers

933 search results - page 123 / 187
» Multi-paradigm Declarative Languages
Sort
View
ICLP
2005
Springer
15 years 9 months ago
Towards an Integration of Answer Set and Constraint Solving
Answer set programming (ASP for short) is a declarative problem solving framework that has been recently attracting the attention of researchers for its expressiveness and for its...
Sabrina Baselice, Piero A. Bonatti, Michael Gelfon...
139
Voted
ICLP
2005
Springer
15 years 9 months ago
A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems
This paper presents experimental comparisons between declarative encodings of various computationally hard problems in both Answer Set Programming (ASP) and Constraint Logic Progra...
Agostino Dovier, Andrea Formisano, Enrico Pontelli
SOCO
2005
Springer
15 years 9 months ago
Directory Support for Large-Scale, Automated Service Composition
In an open environment populated by large numbers of services, automated service composition is a major challenge. In such a setting the efficient interaction of directory-based s...
Walter Binder, Ion Constantinescu, Boi Faltings
ACOM
2004
Springer
15 years 9 months ago
Agent Communication and Institutional Reality
Abstract. In this paper we propose to regard an Agent Communication Language (ACL) as a set of conventions to act on a fragment of institutional reality, defined in the context of...
Nicoletta Fornara, Francesco Viganò, Marco ...
APWEB
2004
Springer
15 years 9 months ago
A Knowledge-Based Data Model and Query Algebra for the Next-Generation Web
The management of voluminous heterogeneous resources and services in the web environment is a complex task. Semantic knowledge is playing an increasing important role in order to h...
Qiujian Sheng, Zhongzhi Shi