-
1
-
-
0004015944
-
-
CLSI Lectures Notes 17, Stanford, California
-
Barwise, J. The Situation in Logic. CLSI Lectures Notes 17, Stanford, California, 1989.
-
(1989)
The Situation in Logic
-
-
Barwise, J.1
-
2
-
-
0012806480
-
Constraints, channels and the flow of information
-
To appear
-
Barwise, J. Constraints, channels and the flow of information. In Situation Theory and its Application (1992), vol. III. (To appear).
-
(1992)
Situation Theory and Its Application
, vol.3
-
-
Barwise, J.1
-
4
-
-
0039588319
-
Information, infons, and inference
-
CSLI Lecture Notes 22
-
Barwise, J., and Etchemendy, J. Information, infons, and inference. In Situation Theory and its Applications (1990), vol. I, CSLI Lecture Notes 22, pp. 33-78.
-
(1990)
Situation Theory and Its Applications
, vol.1
, pp. 33-78
-
-
Barwise, J.1
Etchemendy, J.2
-
5
-
-
0003872995
-
-
Bradford Books, MIT Press, Cambridge, Massachusetts
-
Barwise, J., and Perry, J. Situations and Attitudes. Bradford Books, MIT Press, Cambridge, Massachusetts, 1983.
-
(1983)
Situations and Attitudes
-
-
Barwise, J.1
Perry, J.2
-
6
-
-
30244533255
-
A framework based on situation theory for searching on a thesaurus
-
Crewe, England, J. Rowley, Ed.
-
Berger, F. C., and Huibers, T. W. C. A framework based on situation theory for searching on a thesaurus. In The new Review of Document and text Management, Proceedings of the 17th British Computer Society Information Retrieval Colloquium (Crewe, England, 1995), J. Rowley, Ed., vol. 1, pp. 253-276.
-
(1995)
The New Review of Document and Text Management, Proceedings of the 17th British Computer Society Information Retrieval Colloquium
, vol.1
, pp. 253-276
-
-
Berger, F.C.1
Huibers, T.W.C.2
-
7
-
-
0006449414
-
-
Series in Artificial Intelligence. Ellis Horwood
-
Łukaszewicz, W. Non-Monotonic Reasoning. Series in Artificial Intelligence. Ellis Horwood, 1990.
-
(1990)
Non-Monotonic Reasoning
-
-
Łukaszewicz, W.1
-
9
-
-
5944223749
-
-
Tech. rep., Department of Computer Science, Utrecht University, The Netherlands. Technical Report UU-CS-1995-09
-
Bruza, P. D., and Huibers, T. W. C. How monotonic is aboutness? Tech. rep., Department of Computer Science, Utrecht University, The Netherlands. Technical Report UU-CS-1995-09.
-
How Monotonic Is Aboutness?
-
-
Bruza, P.D.1
Huibers, T.W.C.2
-
10
-
-
84885578695
-
Investigating aboutness axioms using information fields
-
Dublin, Ireland, W. C. Croft and C. J. van Rijsbergen, Eds.
-
Bruza, P. D., and Huibers, T. W. C. Investigating aboutness axioms using information fields. In Proceedings of ACM SIGIR Conference on Research and Development in Information Retrieval (Dublin, Ireland, 1994), W. C. Croft and C. J. van Rijsbergen, Eds., pp. 112-121.
-
(1994)
Proceedings of ACM SIGIR Conference on Research and Development in Information Retrieval
, pp. 112-121
-
-
Bruza, P.D.1
Huibers, T.W.C.2
-
12
-
-
85033002200
-
-
Department of Computing Science, University of Glasgow, Scotland (Unpublished)
-
Crestani, F., Campbell, I., Lalmas, M., and van Rijsbergen, C. J. Is this document relevant?. . . probably. A survey of probabilistic models in Information Retrieval. Department of Computing Science, University of Glasgow, Scotland (Unpublished), 1996.
-
(1996)
Is This Document Relevant?. . . Probably. A Survey of Probabilistic Models in Information Retrieval
-
-
Crestani, F.1
Campbell, I.2
Lalmas, M.3
Van Rijsbergen, C.J.4
-
13
-
-
0003717511
-
-
Cambridge University Press, Cambridge, England
-
Devlin, K. J. Logic and Information. Cambridge University Press, Cambridge, England, 1991.
-
(1991)
Logic and Information
-
-
Devlin, K.J.1
-
19
-
-
5944263385
-
-
Tech. Rep. RAP95-004, Group MRIM of the Laboratoire de Génie Informatique, Grenoble, France
-
Huibers, T., Ounis, I., and Chevallet, J. P. Axiomatization of a conceptual graph formalism for information retrieval in a situated framework. Tech. Rep. RAP95-004, Group MRIM of the Laboratoire de Génie Informatique, Grenoble, France, 1995.
-
(1995)
Axiomatization of a Conceptual Graph Formalism for Information Retrieval in a Situated Framework
-
-
Huibers, T.1
Ounis, I.2
Chevallet, J.P.3
-
20
-
-
84925525227
-
Situations, a general framework for studying information retrieval
-
Drymen, Scotland, (To appear)
-
Huibers, T. W. C., and Bruza, P. D. Situations, a general framework for studying information retrieval. In Proceedings of the 16th British Computer Society Information Retrieval Colloquium (Drymen, Scotland, 1994). (To appear).
-
(1994)
Proceedings of the 16th British Computer Society Information Retrieval Colloquium
-
-
Huibers, T.W.C.1
Bruza, P.D.2
-
21
-
-
5944233243
-
-
Tech. Rep. RAP95-005, Groupe MRIM of the Laboratoire de Génie Informatique, Grenoble, France
-
Huibers, T. W. C., and Denos, N. A qualitative ranking method for logical information retrieval models. Tech. Rep. RAP95-005, Groupe MRIM of the Laboratoire de Génie Informatique, Grenoble, France, 1995.
-
(1995)
A Qualitative Ranking Method for Logical Information Retrieval Models
-
-
Huibers, T.W.C.1
Denos, N.2
-
22
-
-
5944263384
-
Een theorie voor het bestuderen van information retrieval modellen
-
Stichting StinfoN, L. G. M. Noordman and W. A. M. de Vroom, Eds., (In Dutch)
-
Huibers, T. W. C., van Linder, B., , and Bruza, P. D. Een theorie voor het bestuderen van information retrieval modellen. In Een theorie voor het bestuderen van information retrieval modellen (Stichting StinfoN, 1994), L. G. M. Noordman and W. A. M. de Vroom, Eds., pp. 85-102. (In Dutch).
-
(1994)
Een Theorie Voor Het Bestuderen Van Information Retrieval Modellen
, pp. 85-102
-
-
Huibers, T.W.C.1
Van Linder, B.2
Bruza, P.D.3
-
23
-
-
0043154143
-
Formalising Intelligent Information Retrieval Agents
-
Manchester Metropolitan University, England, UK
-
Huibers, T. W. C., and van Linder, B. Formalising Intelligent Information Retrieval Agents. In Proceedings of the 18th British Computer Society Information Retrieval Colloquium (Manchester Metropolitan University, England, UK, 1996), pp. 125-143.
-
(1996)
Proceedings of the 18th British Computer Society Information Retrieval Colloquium
, pp. 125-143
-
-
Huibers, T.W.C.1
Van Linder, B.2
-
24
-
-
84957355759
-
Using default logic in information retrieval
-
Lectures Notes in Computing Science
-
Hunter, A. Using default logic in information retrieval. In Symbolic and Quantitative Approaches to Uncertainty, vol. 946. Lectures Notes in Computing Science, 1995, pp. 235-242.
-
(1995)
Symbolic and Quantitative Approaches to Uncertainty
, vol.946
, pp. 235-242
-
-
Hunter, A.1
-
25
-
-
85033028035
-
From a qualitative towards a quantitative representation of uncertainty on a situation theory based model of an information retrieval system
-
Technical Report TR-1995-18, Department of Computing Science, University of Glasgow, Scotland
-
Lalmas, M. From a qualitative towards a quantitative representation of uncertainty on a situation theory based model of an information retrieval system. In First Workshop on the treatment on uncertainty in logic-based models of information retrieval systems. Technical Report TR-1995-18, Department of Computing Science, University of Glasgow, Scotland, 1995.
-
(1995)
First Workshop on the Treatment on Uncertainty in Logic-based Models of Information Retrieval Systems
-
-
Lalmas, M.1
-
27
-
-
85033023514
-
-
Tech. Rep. TR-1996-1, Department of Computing Science, University of Glasgow, Scotland
-
Lalmas, M. The use of logic in information retrieval modelling. Tech. Rep. TR-1996-1, Department of Computing Science, University of Glasgow, Scotland, 1996.
-
(1996)
The Use of Logic in Information Retrieval Modelling
-
-
Lalmas, M.1
-
29
-
-
0042653211
-
Situation Theory and Dempster-Shafer's Theory of Evidence for Information Retrieval
-
Concordia University, Montreal, Canada
-
Lalmas, M., and van Rijsbergen, C. J. Situation Theory and Dempster-Shafer's Theory of Evidence for Information Retrieval. In Proceedings of Workshop on Incompleteness and Uncertainty in Information Systems (Concordia University, Montreal, Canada, 1993), pp. 62-67.
-
(1993)
Proceedings of Workshop on Incompleteness and Uncertainty in Information Systems
, pp. 62-67
-
-
Lalmas, M.1
Van Rijsbergen, C.J.2
-
31
-
-
0027747709
-
A model of information retrieval based on terminological logic
-
Pittsburgh, USA, E. R. R. Korfhage and P. Willet, Eds.
-
Meghini, C., Sebastiani, F., Straccia, U., and Thanos, C. A model of information retrieval based on terminological logic. In Proceedings of ACM SIGIR Conference on Research and Development in Information Retrieval (Pittsburgh, USA, 1993), E. R. R. Korfhage and P. Willet, Eds., pp. 298-307.
-
(1993)
Proceedings of ACM SIGIR Conference on Research and Development in Information Retrieval
, pp. 298-307
-
-
Meghini, C.1
Sebastiani, F.2
Straccia, U.3
Thanos, C.4
-
33
-
-
49149147322
-
A logic for default reasoning
-
Reiter, R. A logic for default reasoning. Artificial Intelligence 13, 1 (1980), 81-132.
-
(1980)
Artificial Intelligence 13
, vol.1
, pp. 81-132
-
-
Reiter, R.1
-
34
-
-
85015368459
-
Word sense disambiguation and information retrieval
-
Dublin, Ireland, W. B. Croft and C. J. van Rijsbergen, Eds.
-
Sanderson, M. Word sense disambiguation and information retrieval. In Proceedings of ACM SIGIR Conference on Research and Development in Information Retrieval (Dublin, Ireland, 1994), W. B. Croft and C. J. van Rijsbergen, Eds., pp. 142-151.
-
(1994)
Proceedings of ACM SIGIR Conference on Research and Development in Information Retrieval
, pp. 142-151
-
-
Sanderson, M.1
-
35
-
-
85011515070
-
A probabilistic terminological logic for modelling information retrieval
-
Dublin, Ireland, W. B. Croft and C. J. van Rijsbergen, Eds.
-
Sebastiani, F. A probabilistic terminological logic for modelling information retrieval. In Proceedings of ACM SIGIR Conference on Research and Development in Information Retrieval (Dublin, Ireland, 1994), W. B. Croft and C. J. van Rijsbergen, Eds., pp. 122-131.
-
(1994)
Proceedings of ACM SIGIR Conference on Research and Development in Information Retrieval
, pp. 122-131
-
-
Sebastiani, F.1
-
37
-
-
84976714253
-
A new theoretical framework for information retrieval
-
Pisa, Italy, F. Rabitti, Ed.
-
van Rijsbergen, C. J. A new theoretical framework for information retrieval. In Proceedings of ACM SIGIR Conference on Research and Development in Information Retrieval (Pisa, Italy, 1986), F. Rabitti, Ed., pp. 194-200.
-
(1986)
Proceedings of ACM SIGIR Conference on Research and Development in Information Retrieval
, pp. 194-200
-
-
Rijsbergen, C.J.1
-
38
-
-
0023014685
-
A non-classical logic for information retrieval
-
van Rijsbergen, C. J. A non-classical logic for information retrieval. The Computer Journal 29, 6 (1986), 481-485.
-
(1986)
The Computer Journal 29
, vol.6
, pp. 481-485
-
-
Van Rijsbergen, C.J.1
-
39
-
-
0024673915
-
Towards an information logic
-
Cambridge, Massachusetts USA, N. J. Belkin and C. J. van Rijsbergen, Eds.
-
van Rijsbergen, C. J. Towards an information logic. In Proceedings of ACM SIGIR Conference on Research and Development in information Retrieval (Cambridge, Massachusetts USA, 1989), N. J. Belkin and C. J. van Rijsbergen, Eds., pp. 77-86.
-
(1989)
Proceedings of ACM SIGIR Conference on Research and Development in Information Retrieval
, pp. 77-86
-
-
Van Rijsbergen, C.J.1
-
41
-
-
0027718887
-
Using WordNet to disambiguate word sense for text retrieval
-
Pittsburgh, PA USA, R. Korfhage, E. Rasmussen, and P. Willet, Eds.
-
Voorhees, E. M. Using WordNet to disambiguate word sense for text retrieval. In Proceedings of ACM SIGIR Conference on Research and Development in Information Retrieval (Pittsburgh, PA USA, 1993), R. Korfhage, E. Rasmussen, and P. Willet, Eds., pp. 171-180.
-
(1993)
Proceedings of ACM SIGIR Conference on Research and Development in Information Retrieval
, pp. 171-180
-
-
Voorhees, E.M.1
|