2 Approach Many methods/approaches about the extraction of road information from map images have been proposed until today. In comparison with these currently developed methods/app...
We apply constraint posting to the problem of reasoning about function from structure. Constraint posting is a technique used by some planners to coordinate decisions. At each dec...
Model-based revision of knowledge bases ex pressed as first-order theories was shown in [Winslett 88b] to be useful as a means of de scribing and reasoning about the effects o...
Logic programming has been successfully used for reasoning about various kinds of models. However, in the area of business-process modeling it has not yet gained the attention it d...
Aggregating and presenting a wide variety of information pertinent to the biological and pharmacological effects of chemical compounds will be a critical part of 21st century drug ...
Sashikiran Challa, David J. Wild, Ying Ding, Qian ...