5378 search results - page 344 / 1076 » Base Logics in Argumentation |
207
click to vote
EUSFLAT
2009
15 years 5 months ago
2009
-- An approach to estimate the number of rules by spectral analysis of the training dataset has been recently proposed [1]. This work presents an analysis of such a method in high ...
247
click to vote
SIAMCOMP
2012
13 years 10 months ago
2012
Abstract. In the framework of Carter and Wegman, a k-independent hash function maps any k keys independently. It is known that 5independent hashing provides good expected performan...
182
click to vote
IAT
2008
IEEE
16 years 2 months ago
2008
IEEE
We aim at providing artificial agents with logical tools to reason specifically on privacy-related regulations, in order to comply with them. In order to express these regulatio...
188
click to vote
KI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We provide an interactive method for knowledge acquisition combining approaches from description logic and formal concept analysis. Based on present data, hypothetical ru...
201
click to vote
CADE
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...