2308 search results - page 41 / 462 » Representing Symbolic Reasoning |
166
click to vote
AIM
2004
15 years 5 months ago
2004
Reasoning about spatial data is a key task in many applications, including geographic information systems, meteorological and fluid flow analysis, computer-aided design, and prote...
129
click to vote
DAGSTUHL
1990
15 years 6 months ago
1990
A connectionist model for robust reasoning, CONSYDERR, is proposed to account for some common reasoning patterns found in commonsense reasoning and to remedy the brittleness probl...
161
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
Fault tolerance mechanisms are a key ingredient of dependable systems. In particular, software-implemented hardware fault tolerance (SIHFT) is gaining in popularity, because of its...
128
click to vote
CALCO
2009
Springer
16 years 22 hour ago
2009
Springer
The operational semantics of interactive systems is usually described by labeled transition systems. Abstract semantics (that is defined in terms of bisimilarity) is characterized...
141
click to vote
ENTCS
2007
15 years 5 months ago
2007
The paper reports on the foundations and experimental results with a model checker for component connectors modelled by networks of channels in the calculus Reo. The specificatio...