4595 search results - page 61 / 919 » Reasoning about Plans |
175
click to vote
EUROPAR
2009
Springer
15 years 2 months ago
2009
Springer
Unstructured overlay networks for peer-to-peer applications combined with stochastic algorithms for clustering and resource location are attractive due to low-maintenance costs and...
134
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
139
click to vote
ECOI
2007
15 years 4 months ago
2007
Experts often disagree about the organization of biological taxa. The shifting definitions of taxonomic names complicate otherwise simple queries concerning these taxa. For examp...
149
click to vote
AI
1998
Springer
15 years 4 months ago
1998
Springer
In formal approaches to commonsense reasoning about actions. the Ramification Problem denotes the problem of handling indirect effects which implicitly derive from so-called state...
152
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
Growing attention is being paid to application security at requirements engineering time. Confidentiality is a particular subclass of security concerns that requires sensitive inf...