11436 search results - page 523 / 2288 » Modeling Real Reasoning |
189
click to vote
LACL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Two kinds of framework for stating grammars of natural languages emerged during the 20th century. Here we call them generativeenumerative syntax (GES) and model-theoretic...
177
click to vote
ICLP
1997
Springer
15 years 11 months ago
1997
Springer
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which propert...
168
click to vote
AAAI
1997
15 years 8 months ago
1997
Automated problem solving is viewed typically as the expenditure of computation to solve one or more problems passed to a reasoning system. In response to each problem received, e...
259
click to vote
GIS
2002
ACM
15 years 6 months ago
2002
ACM
Emerging computational paradigms such as global and ubiquitous computing require some rethinking and innovative research ideas in many computer science areas. In this work, we aim...
143
click to vote
NIPS
2001
15 years 8 months ago
2001
Narayanan and Jurafsky (1998) proposed that human language comprehension can be modeled by treating human comprehenders as Bayesian reasoners, and modeling the comprehension proce...