887 search results - page 38 / 178 » A Science of Reasoning |
IDEAL
2004
Springer
14 years 2 months ago
2004
Springer
AURA (Advanced Uncertain Reasoning Architecture) is a parallel pattern matching technology intended for high-speed approximate search and match operations on large unstructured dat...
KR
2004
Springer
14 years 2 months ago
2004
Springer
Modeling complex compositional objects in the field of the life sciences requires to solve intricate ontological problems, especially those related to parts of a whole, space and...
WSPI
2004
13 years 10 months ago
2004
Abstract. We examine the possibility of applying knowledge representation and automated reasoning in the context of philosophical ontology. For this purpose, we use the axioms and ...
EUSFLAT
2009
13 years 6 months ago
2009
Abstract: We consider application of Zadeh's impossibility principle and extended logic FLe to approximate scientific explanation from the standpoint of the philosophy of scie...
IEEESP
2011
13 years 9 days ago
2011
We present a representative development in the science of security that includes a generic model of computer systems, their security properties and adversaries who actively interf...