2308 search results - page 60 / 462 » Representing Symbolic Reasoning |
144
click to vote
HYBRID
1994
Springer
15 years 9 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
119
click to vote
CEEMAS
2003
Springer
15 years 10 months ago
2003
Springer
In this paper we present a motivational mechanism to generate and determine the worth of goals and to represent various constraints involved in satisfying a goal. The work builds o...
120
click to vote
DMS
2008
15 years 7 months ago
2008
In this position paper we discuss the role of geographical metaphors as tools for representing, organizing and accessing heterogeneous shared information, typical of the Web 2.0. ...
141
click to vote
ICFCA
2009
Springer
16 years 8 days ago
2009
Springer
In knowledge representation and reasoning systems, diagrams have many practical applications and are used in numerous settings. Indeed, it is widely accepted that diagrams are a va...
135
click to vote
IAT
2009
IEEE
16 years 7 days ago
2009
IEEE
—High level conceptual thought seems to be at the basis of the impressive human cognitive ability. Classical topdown (Logic based) and bottom-up (Connectionist) approaches to the...