2082 search results - page 130 / 417 » Change Paths in Reasoning! |
136
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...
167
click to vote
CSFW
2005
IEEE
15 years 11 months ago
2005
IEEE
To reason about information flow based on beliefs, a new model is developed that describes how attacker beliefs change due to the attacker’s observation of the execution of a p...
165
Voted
AIED
2005
Springer
15 years 11 months ago
2005
Springer
This paper discusses the extensions that we have made to Betty’s Brain teachable agent system to help students learn about dynamic processes in a river ecosystem. Students first ...
177
click to vote
FMCO
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
141
click to vote
HICSS
2002
IEEE
15 years 11 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...