3233 search results - page 411 / 647 » Rule Modeling and Markup |
176
click to vote
FC
2005
Springer
16 years 5 days ago
2005
Springer
We define and instantiate a cryptographic scheme called “private counters”, which can be used in applications such as preferential voting to express and update preferences (or...
185
click to vote
ICLP
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...
165
click to vote
KI
2005
Springer
16 years 4 days ago
2005
Springer
We discuss the application of Model-Based Diagnosis in (agent-based) planning. Here, a plan together with its executing agent is considered as a system to be diagnosed. It is assum...
163
click to vote
OTM
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The Web of today can be seen as an active and heterogeneous infrastructure of autonomous systems, where reactivity, evolution and propagation of information and changes p...
197
click to vote
IQIS
2004
ACM
16 years 2 days ago
2004
ACM
Information integration is often faced with the problem that different data sources represent the same set of the real-world objects, but give conflicting values for specific prop...