3053 search results - page 47 / 611 » Structured Objects: Modeling and Reasoning |
114
click to vote
FUIN
2002
15 years 1 months ago
2002
Abstract. This article introduces structural aspects in an ontology of approximate reason. The basic assumption in this ontology is that approximate reason is a capability of an ag...
105
click to vote
TARK
1998
Springer
15 years 5 months ago
1998
Springer
: Salmetintroduced a notion of hypothetical knowledge and showed how it could be used to capture the type of counterfactual reasoning necessary to force the backwards induction sol...
104
click to vote
TPHOL
2000
IEEE
15 years 5 months ago
2000
IEEE
We modify the reflection method to enable it to deal with partial functions like division. The idea behind reflection is to program a tactic for a theorem prover not in the impleme...
132
click to vote
AMR
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. We report our work towards building user models of learner’s development based upon evidence of their interactions with an e-learning website composed of multimedia lea...
111
click to vote
TOOLS
1999
IEEE
15 years 5 months ago
1999
IEEE
Class algebra provides a natural framework for sharing of ISA hierarchies between users that may be unaware of each other's definitions. This permits data from relational dat...