1941 search results - page 164 / 389 » Reasoning about Computations Using Two-Levels of Logic |
125
Voted
GEOS
2005
Springer
15 years 9 months ago
2005
Springer
Continuously moving objects are prevalent in many domains. Although there have been attempts to combine both spatial and temporal relationships from a reasoning, a database, as wel...
118
Voted
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
: In this contribution we present a Learner Model (LM) of Historical Text Comprehension (HTC), which infers the cognitive profile of learner’s global comprehension concerning the...
136
Voted
TPHOL
1999
IEEE
15 years 7 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
124
click to vote
ARTS
1999
Springer
15 years 7 months ago
1999
Springer
Stochastic process algebras such as PEPA provide ample support for the component-based construction of models. Tools compute the numerical solution of these models; however, the st...
132
click to vote
ICMLA
2007
15 years 5 months ago
2007
In our research we study rational agents which learn how to choose the best conditional, partial plan in any situation. The agent uses an incomplete symbolic inference engine, emp...