305 search results - page 20 / 61 » A Connectionist Framework for Reasoning: Reasoning with Exam... |
108
click to vote
AAAI
1990
15 years 3 months ago
1990
A central problem in text-understanding research is the indeterminacy of natural language. Two related issues that arise in confronting this problem are the need to make complex i...
112
click to vote
ARCS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
143
Voted
WCRE
2003
IEEE
15 years 7 months ago
2003
IEEE
There are many good reasons why organizations should perform software architecture reconstructions. However, few organizations are willing to pay for the effort. Software architec...
135
Voted
ESORICS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...
117
Voted
FAABS
2000
Springer
15 years 5 months ago
2000
Springer
This paper discusses automated reasoning in the KARO framework. The KARO framework accommodates a range of expressive modal logics for describing the behaviour of intelligent agent...