Sciweavers

4266 search results - page 24 / 854
» Search for More Declarativity
Sort
View
ENTCS
2002
84views more  ENTCS 2002»
13 years 8 months ago
Programming Autonomous Robots in Curry
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...
Michael Hanus, Klaus Höppner
WAIM
2004
Springer
14 years 2 months ago
Symbolic Agent Negotiation for Semantic Web Service Exploitation
This paper presents an architecture and a methodology for agent-based Web service discovery and automated composition. We assume that Web services are described with declarative sp...
Peep Küngas, Jinghai Rao, Mihhail Matskin
DEXAW
2002
IEEE
145views Database» more  DEXAW 2002»
14 years 1 months ago
An Architecture for Collaboratively Assembled Moderated Information Bearing Web Sites
As originally conceived, the World Wide Web was intended for the purpose of sharing information. Many websites realise this aim by publishing pages from a data repository which su...
Richard Cooper
SEKE
2007
Springer
14 years 3 months ago
On Modern Debugging For Rule-Based Systems
With the growing interest in rule languages in the Semantic Web and the Business Rule community it is time to look again at the issue of debugging rule bases. New challenges have ...
Valentin Zacharias, Andreas Abecker
SAC
2006
ACM
14 years 2 months ago
Decoupling classes with inferred interfaces
Using small, context-specific interfaces in variable declarations serves the decoupling of classes and increases a program’s flexibility. To minimize its interface, a thorough a...
Friedrich Steimann, Philip Mayer, Andreas Meissner