3005 search results - page 75 / 601 » Logical Information Systems: from Taxonomies to Logics |
LFCS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We address the problem of quantitative comparison of classical and intuitionistic logics within the language of the full propositional system. We apply two different app...
124
click to vote
AIIA
2005
Springer
15 years 5 months ago
2005
Springer
Machine Learning systems are often distinguished according to the kind of representation they use, which can be either propositional or first-order logic. The framework working wi...
IFSA
2007
Springer
15 years 6 months ago
2007
Springer
The main objective of an information retrieval system is to be effective in providing a user with relevant information in response to a query. However, especially given the inform...
101
click to vote
MMM
1996
Springer
15 years 4 months ago
1996
Springer
Multimedia information systems are based on the evolving capability of computers to handle diverse types of information. Their most important characteristic is the integration of ...
ICSE
2004
IEEE-ACM
15 years 12 months ago
2004
IEEE-ACM
While the importance of multi-tier architectures for enterprise information systems is widely accepted and their benefits are well published, the systematic migration from monolit...