1102 search results - page 73 / 221 » Generalizing Updates: From Models to Programs |
114
Voted
AUTOMATICA
2007
15 years 16 days ago
2007
This paper presents a new (geometrical) approach to the computation of polyhedral (robustly) positively invariant (PI) sets for general (possibly discontinuous) nonlinear discrete...
128
click to vote
JOT
2010
14 years 10 months ago
2010
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...
101
click to vote
WWW
2004
ACM
16 years 1 months ago
2004
ACM
This paper investigates how the vision of the Semantic Web can be carried over to the realm of email. We introduce a general notion of semantic email, in which an email message co...
95
Voted
SIGMOD
2010
ACM
15 years 18 days ago
2010
ACM
In massively collaborative projects such as scientific or community databases, users often need to agree or disagree on the content of individual data items. On the other hand, tr...
101
click to vote
KR
2004
Springer
15 years 5 months ago
2004
Springer
Disjunction is generally considered to add expressive power to logic programs under the stable model semantics, which have become a popular programming paradigm for knowledge repr...