5198 search results - page 635 / 1040 » A Logic of Agent Programs |
217
click to vote
IPSN
2010
Springer
16 years 2 months ago
2010
Springer
Wireless Sensor Actuator Networks (WSANs) extend wireless sensor networks through actuation capability. Designing robust logic for WSANs however is challenging since nodes can aļ¬...
241
click to vote
CORR
2002
Springer
15 years 7 months ago
2002
Springer
A relational database is inconsistent if it does not satisfy a given set of integrity constraints. Nevertheless, it is likely that most of the data in it is consistent with the co...
226
click to vote
PPDP
2010
Springer
15 years 6 months ago
2010
Springer
The presence of uncertainty in the real world makes robustness to be a desired property of solutions to constraint satisfaction problems. Roughly speaking, a solution is robust if...
176
click to vote
POPL
2012
ACM
14 years 3 months ago
2012
ACM
We develop logical mechanisms and decision procedures to facilitate the veriļ¬cation of full functional properties of inductive tree data-structures using recursion that are soun...
184
click to vote
GECCO
2004
Springer
16 years 1 months ago
2004
Springer
Extending the notion of inheritable genotype in genetic programming (GP) from the common model of DNA into chromatin (DNA and histones), we propose an approach of embedding in GP a...