11436 search results - page 399 / 2288 » Modeling Real Reasoning |
156
click to vote
GI
1997
Springer
15 years 9 months ago
1997
Springer
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel...
156
click to vote
ASPDAC
2008
ACM
15 years 6 months ago
2008
ACM
ACT Benchmarks are an immensely useful tool in performing research since they allow for rapid and clear comparison between different approaches to solving CAD problems. Recent expe...
226
click to vote
GIS
2010
ACM
15 years 3 months ago
2010
ACM
The quality of a local search engine, such as Google and Bing Maps, heavily relies on its geographic datasets. Typically, these datasets are obtained from multiple sources, e.g., ...
127
click to vote
AUSAI
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we present several efficient computational procedures for defeasible reasoning while the plausible and well-defined semantics, viz. preferred models and stable mode...
116
click to vote
DAGSTUHL
1990
15 years 6 months ago
1990
A parallel distributed computational model for reasoning and learning is discussed based on a belief network paradigm. Issues like reasoning and learning for the proposed model ar...