Sciweavers

1121 search results - page 12 / 225
» Logics of Complementarity in Information Systems
Sort
View
ICEIS
2006
IEEE
14 years 1 months ago
OWL-Based Knowledge Discovery Using Description Logics Reasoners
Dimitrios A. Koutsomitropoulos, Dimitrios P. Meida...
WOLLIC
2007
Springer
14 years 1 months ago
A Formal Calculus for Informal Equality with Binding
Abstract. In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing capture-avoidance constraints on where variables can and c...
Murdoch Gabbay, Aad Mathijssen
TPLP
2002
99views more  TPLP 2002»
13 years 7 months ago
Using Methods of Declarative Logic Programming for Intelligent Information Agents
At present, the search for specific information on the World Wide Web is faced with several problems, which arise on the one hand from the vast number of information sources avail...
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...
WEBDB
2007
Springer
117views Database» more  WEBDB 2007»
14 years 1 months ago
XML Information Retrieval Considering Physical Page Layout of Logical Elements
XML information retrieval (XML-IR) systems utilize the logical structure of XML documents for retrieving relevant elements. From a practical point of view, displaying the search r...
Toshiyuki Shimizu, Masatoshi Yoshikawa
ECIR
2009
Springer
13 years 5 months ago
Graded-Inclusion-Based Information Retrieval Systems
This paper investigates the use of fuzzy logic mechanisms coming from the database community, namely graded inclusions, to model the information retrieval process. In this framewor...
Patrick Bosc, Vincent Claveau, Olivier Pivert, Lau...