912 search results - page 111 / 183 » Abstract Saturation-Based Inference |
141
Voted
ECSQARU
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
108
click to vote
ICIC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. As the information in the internet proliferates, the methods for effectively providing the information have been exploited, especially in conversational agents. Bayesian ...
179
Voted
IDA
2005
Springer
15 years 8 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...
IDEAL
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Gaussian processes have been favourably compared to backpropagation neural networks as a tool for regression. We show that a recurrent neural network can implement exact ...
150
Voted
MRCO
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. One of the cornerstones of any intelligent entity is the ability to understand how occurrences in the surrounding world influence its own behaviour. Different states, o...