Sciweavers

45 search results - page 1 / 9
» Automated Reasoning: Past Story and New Trends
Sort
View
IJCAI
2003
13 years 5 months ago
Automated Reasoning: Past Story and New Trends
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...
Andrei Voronkov
ICWSM
2008
13 years 5 months ago
StoryUpgrade: Finding Stories in Internet Weblogs
The phenomenal rise of Internet weblogging has created new opportunities for people to tell personal stories of their life experience, and the potential to share these stories wit...
Andrew S. Gordon, Reid Swanson
CP
2007
Springer
13 years 9 months ago
Constraint-Based Temporal Reasoning for E-Learning with LODE
LODE is a logic-based web tool for Italian deaf children. It aims at stimulating global reasoning on e-stories written in a verbal language. Presently, we are focusing on temporal ...
Rosella Gennari, Ornella Mich
WWW
2007
ACM
14 years 4 months ago
Compare&contrast: using the web to discover comparable cases for news stories
Comparing and contrasting is an important strategy people employ to understand new situations and create solutions for new problems. Similar events can provide hints for problem s...
Jiahui Liu, Earl Wagner, Larry Birnbaum
IJRR
2000
109views more  IJRR 2000»
13 years 3 months ago
Tactile Sensing: New Directions, New Challenges
Over the past three decades, tactile sensing has developed into a sophisticated technology. There has been a longstanding and widely held expectation that tactile sensors would ha...
Mark H. Lee