52 search results - page 6 / 11 » Rule firing with metarules |
CSE
2009
IEEE
14 years 7 months ago
2009
IEEE
Abstract--A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of a...
69
Voted
VLDB
1998
ACM
15 years 1 months ago
1998
ACM
The goal of the COKO-KOLA project [10, 91 is to express rules of rule-basedoptimizers in a mannerpermitting verification with a theoremprover. In [IO], we consideredquerytransform...
74
Voted
ANLP
1994
14 years 11 months ago
1994
Both full-text information retrieval and large scale parsing require text preprocessing to identify strong lexical associations in textual databases. In order to associate linguis...
ECAI
2006
Springer
15 years 1 months ago
2006
Springer
In this paper, we show how to establish correctness and time bounds (e.g., quality of service guarantees) for multi-agent systems composed of communicating rule-based agents. The f...
81
Voted
ASIAN
1998
Springer
15 years 1 months ago
1998
Springer
call it, provides abstraction through the rewriting arrow and explicit rule application. It also embeds the notion of sets of results to deal with non-deterministic computations. F...