1894 search results - page 262 / 379 » Towards Mobile Reasoning |
110
Voted
KCAP
2003
ACM
15 years 8 months ago
2003
ACM
One of the long-term goals of Artificial Intelligence is construction of a machine that is capable of reasoning about the everyday world the way humans are. In this paper, I fir...
152
Voted
AMR
2003
Springer
15 years 8 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...
133
Voted
KR
2010
Springer
15 years 8 months ago
2010
Springer
Description Logics (DLs) are knowledge representation formalisms that provide, for example, the logical underpinning of the W3C OWL standards. Conjunctive queries (CQs), the stand...
129
Voted
ICSE
2001
IEEE-ACM
15 years 8 months ago
2001
IEEE-ACM
This paper summarizes an approach for introducing component-based software engineering (CBSE) early in the undergraduate CS curriculum, and an evaluation of the impact of the appr...
126
Voted
LOPSTR
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. A concept of annotations for rendering procedural aspects of Prolog is presented, built around wellknown procedural concepts of Standard Prolog. Annotations describe prop...