1368 search results - page 71 / 274 » Personality-Based Practical Reasoning |
119
click to vote
FLAIRS
2006
15 years 3 months ago
2006
The inherent vagueness and ambiguity of non-monotonic reasoning makes it impossible to formulate detailed specifications to validate KBS performance by using traditional test-case...
110
click to vote
WSPI
2004
15 years 3 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 ...
112
click to vote
FLAIRS
2000
15 years 3 months ago
2000
To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. We study this question using a prominent e...
IGPL
2008
15 years 2 months ago
2008
A new version of transition logic is presented. It integrates (dynamic) transitions, which change world states, and classical (static) reasoning, restricted in the paper to Horn l...
WCE
2007
15 years 3 months ago
2007
— Although experimentation is a frequent activity of engineers, they usually use primitive strategies to carry on their experiments. A survey identifies the needs of using an eff...