Sciweavers

4224 search results - page 515 / 845
» Reasoning about Choice
Sort
View
MVA
1996
15 years 8 months ago
An Automatic Extraction of Road Information on the Basis of Cooperative Hypotheses Interpretation Mechanism
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...
Masakazu Nishijima, Toyohide Watanabe
IJCAI
1989
15 years 8 months ago
Constraint Posting for Verifying VLSI Circuits
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...
Daniel Weise
IJCAI
1989
15 years 8 months ago
Sometimes Updates Are Circumscription
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...
Marianne Winslett
233
Voted
VVEIS
2007
15 years 8 months ago
Checking Properties of Business Process Models with Logic Programming
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...
Volker Gruhn, Ralf Laue
ASWC
2009
Springer
15 years 8 months ago
Semantic Rules on Drug Discovery Data
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 ...