3233 search results - page 247 / 647 » Rule Modeling and Markup |
150
click to vote
HIS
2003
15 years 6 months ago
2003
We logically model uncertainty by expanding language without changing logical reasoning rules. We expand the language of set theory by adding new predicate symbols, uncertain membe...
139
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Population protocols have been introduced as a model of sensor networks consisting of very limited mobile agents with no control over their own movement: A collection of anonymous ...
149
click to vote
AML
2002
15 years 5 months ago
2002
Using a slight generalization, due to Palmgren, of sheaf semantics, we present a term-model construction that assigns a model to any first-order intuitionistic theory. A modificat...
168
click to vote
ICWE
2010
Springer
15 years 4 months ago
2010
Springer
The Web of Things is an emerging scenario in which objects are connected to Internet and can answer to HTTP queries. To date, new applications in this field are mainly produced by ...
177
click to vote
ASP
2005
Springer
15 years 11 months ago
2005
Springer
Possibilistic Stable model Semantics is an extension of Stable Model Semantics that allows to merge uncertain and non monotonic reasoning into a unique framework. To achieve this a...