3005 search results - page 195 / 601 » Logical Information Systems: from Taxonomies to Logics |
176
click to vote
ILP
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Despite the considerable success of Inductive Logic Programming, deployed ILP systems still have efficiency problems when applied to complex problems. Several techniques ...
207
click to vote
CSFW
2003
IEEE
15 years 12 months ago
2003
IEEE
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...
161
click to vote
EPIA
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. The two puzzles are the Lottery Paradox and the Amalgamation Paradox, which both point out difficulties for aggregating uncertain information. A generalization of the lot...
156
click to vote
SBCCI
2006
ACM
16 years 15 days ago
2006
ACM
This paper presents the design of asynchronous circuits on synchronous FPGAs and CPLDs. Different design styles have been investigated through the implementation of dual-rail full...
180
click to vote
ESWS
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we describe a web-based tool that supports the human in revising ontology alignments. Our tool uses logical reasoning as a basis for detecting conflicts in mappings ...