2308 search results - page 322 / 462 » Representing Symbolic Reasoning |
145
click to vote
AAAI
2000
15 years 7 months ago
2000
We propose an epistemic dynamic logic EDL able to represent the interactions between action and knowledge that are fundamental to planning under partial observability. EDL enables...
192
click to vote
ICGA
1993
15 years 7 months ago
1993
A genetic algorithms is applied to find a maximum flow from the source to sink in a weighted directed graph, where the weight associated with each edge represents its flow capacit...
152
click to vote
IJCAI
1993
15 years 7 months ago
1993
The Dempster-Shafer theory gives a solid basis for reasoning applications characterized by uncertainty. A key feature of the theory is that propositions are represented as subsets...
194
click to vote
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Workflows represent the coordination requirements of various distributed operations in an organisation; workflows neatly capture business processes, and are particularly ...
159
click to vote
DAWAK
2010
Springer
15 years 6 months ago
2010
Springer
Region Of Interest Based Image Classification (ROIBIC) is a mechanism for categorising images according to some specific component or object that features across a given image set....