1917 search results - page 85 / 384 » Experimenting with Nonmonotonic Reasoning |
180
click to vote
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
Abstract--Security evaluation according to ISO 15408 (Common Criteria) is a resource and time demanding activity, as well as being costly. For this reason, only few companies take ...
154
Voted
KI
2007
Springer
16 years 27 days ago
2007
Springer
How do we reason about spatial descriptions? In recent years a lot of research has been investigated in order to determine factors of complexity in spatial relational reasoning. S...
215
click to vote
NMR
2004
Springer
16 years 3 days ago
2004
Springer
Probabilistic reasoning with multiply sectioned Bayesian networks (MSBNs) has been successfully applied in static domains under the cooperative multiagent paradigm. Probabilistic ...
179
click to vote
TCAD
2002
15 years 6 months ago
2002
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
204
click to vote
DLOG
2011
14 years 10 months ago
2011
Abstract. The pressing need for scalable query answering has motivated the development of many incomplete ontology-based reasoners. Improving the completeness of such systems witho...