540 search results - page 86 / 108 » A Computational Logic Approach to Syllogisms in Human Reason... |
102
Voted
CSCW
2006
ACM
15 years 6 months ago
2006
ACM
Media sharing over mobile devices is quickly becoming a common practice, used to support a variety of social processes. Most existing systems employ a model of sharing that treats...
122
Voted
KI
2008
Springer
15 years 16 days ago
2008
Springer
Abstract. There is a growing research interest in the design of competitive and adaptive Game AI for complex computer strategy games. In this paper, we present a novel approach for...
106
click to vote
ICRA
2009
IEEE
14 years 10 months ago
2009
IEEE
For vehicles navigating initially unknown cluttered environments, current state-of-the-art planning algorithms are able to plan and re-plan dynamically-feasible paths efficiently a...
105
click to vote
ACMDIS
2010
ACM
15 years 24 days ago
2010
ACM
Artifacts can be used to inspire, guide, and create new designs. As approaches to design can range from focusing on inspiration to formalized reasoning, we seek to create and stud...
112
click to vote
TABLEAUX
2005
Springer
15 years 6 months ago
2005
Springer
This paper describes the implementation of a tableau-based reasoning component which is capable of providing quasi natural language explanations for subsumptions within ALEHFR+ TBo...