417 search results - page 51 / 84 » Results on Reasoning about Updates in Transaction Logic |
FAABS
2000
Springer
15 years 4 months ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...
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...
104
Voted
TPHOL
1999
IEEE
15 years 4 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...
108
click to vote
DAGSTUHL
2008
15 years 2 months ago
2008
The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field. The co...
122
click to vote
CLIMA
2006
15 years 1 months ago
2006
This paper reports on a fertile marriage between madAgents, a Java and Prolog based multi-agent platform, and EVOLP, a logic programming based language to represent and reason abou...