2920 search results - page 209 / 584 » Finite information logic |
192
click to vote
AAAI
2011
14 years 6 months ago
2011
A general game player automatically learns to play arbitrary new games solely by being told their rules. For this purpose games are specified in the game description language GDL...
156
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
In this paper, we study unsatisfiable queries posed to a mediator in an information integration system and expressed in the logical formalism of the information integration system...
168
click to vote
SIGIR
1999
ACM
15 years 11 months ago
1999
ACM
This paper claims that Belief Revision can be seen as a theoretical framework for document ranking in Extended Boolean Models. For a model of Information Retrieval based on propos...
178
click to vote
FSKD
2006
Springer
15 years 10 months ago
2006
Springer
Information security evaluation of software-intensive systems typically relies heavily on the experience of the security professionals. Obviously, automated approaches are needed ...
189
Voted
ICFCA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In a previous paper, we have introduced an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using informat...