3776 search results - page 339 / 756 » Partition-Based Logical Reasoning |
161
click to vote
FLOPS
2010
Springer
15 years 11 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
157
click to vote
GPC
2010
Springer
15 years 11 months ago
2010
Springer
Scalability of reasoning systems is one of the main criteria which will determine the success of Semantic Web systems in the future. The focus of recent work is either on (a) expre...
132
click to vote
CEEMAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. An autonomous agent may largely benefit from its ability to reconstruct another agent’s reasoning principles from records of past events and general knowledge about th...
198
click to vote
IDA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper introduces Higher-Order Bayesian Networks, a probabilistic reasoning formalism which combines the efficient reasoning mechanisms of Bayesian Networks with the...
131
click to vote
DLOG
2007
15 years 7 months ago
2007
We present a novel reasoning calculus for the Description Logic SHIQ. In order to reduce the nondeterminism due to general inclusion axioms, we base our calculus on hypertableau an...