1917 search results - page 162 / 384 » Experimenting with Nonmonotonic Reasoning |
202
Voted
CW
2005
IEEE
16 years 19 days ago
2005
IEEE
Agents are systems capable of perceiving their environment through sensors, reasoning about their sensory input using some characteristic reasoning process and acting in their env...
196
click to vote
CADE
2004
Springer
16 years 12 days ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated (innermost) termination proofs of term rewrite systems (TRSs). For any TRS, it generates inequalit...
166
click to vote
KBSE
2003
IEEE
16 years 8 days ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
179
click to vote
ICCBR
2003
Springer
16 years 6 days ago
2003
Springer
Case-Based Reasoning systems usually retrieve cases using a similarity function based on K-NN or some derivatives. These functions are sensitive to irrelevant or noisy features. We...
215
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
In discrete dynamical systems change results from actions. As such, given a set of observations, diagnoses often take the form of posited events that result in the observed behavi...