740 search results - page 56 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
123
click to vote
SIGCSE
2008
ACM
14 years 12 months ago
2008
ACM
We present the design and development of a Visual Learning Engine, a tool that can form the basis for interactive development of visually rich teaching and learning modules across...
106
click to vote
LPAR
2005
Springer
15 years 6 months ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
IAAI
2003
15 years 2 months ago
2003
AI has the potential to play an important role in the customer service field. By leveraging the high bandwidth of natural language customers will be able to state their intentions...
131
click to vote
CHI
2006
ACM
16 years 1 months ago
2006
ACM
People come to online communities seeking information, encouragement, and conversation. When a community responds, participants benefit and become more committed. Yet interactions...
108
click to vote
CHI
2008
ACM
16 years 1 months ago
2008
ACM
Virtual worlds are typically designed to recreate the familiar physical world, both in the design of the spaces and the ways that people interact within them. In this paper we des...