3891 search results - page 529 / 779 » A logic for strategic reasoning |
92
Voted
CADE
2006
Springer
16 years 1 months ago
2006
Springer
The nominal datatype package implements an infrastructure in Isabelle/HOL for defining languages involving binders and for reasoning conveniently about alpha-equivalence classes. P...
107
click to vote
CADE
2003
Springer
16 years 1 months ago
2003
Springer
We describe the integration of permutation group algorithms with proof planning. We consider eight basic questions arising in computational permutation group theory, for which our ...
111
click to vote
LICS
2008
IEEE
15 years 7 months ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...
98
Voted
GEOS
2005
Springer
15 years 6 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...
92
Voted
HICSS
2002
IEEE
15 years 5 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...