SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Computer Journal

Volumn 44, Issue 5, 2001, Pages 410-424

A logical model for information retrieval based on propositional logic and belief revision

(2) Losada, D E a Barreiro, A a

a UNIVERSITY OF A CORUÑA (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; FORMAL LOGIC; POLYNOMIALS; QUERY LANGUAGES;

BELIEF REVISION; LOGICAL MODEL; PROPOSITIONAL LOGIC;

INFORMATION RETRIEVAL SYSTEMS;

EID: 0035655503 PISSN: 00104620 EISSN: None Source Type: Journal
DOI: 10.1093/comjnl/44.5.410 Document Type: Article

Times cited : (22)

References (27)

1
- 0032154798
- The use of logic in information retrieval modeling
- (1998) Knowledge Eng. Rev. , vol.13 , pp. 263-295
- Lalmas, M.¹ Bruza, P.D.²

2
- 0032679869
- Towards a logical reconstruction of information retrieval theory
- (1999) Cybernet. Sys. , vol.30 , pp. 411-428
- Sebastiani, F.¹

3
- 0007460541
- Logic-based information retrieval: Is it really worth it?
- (1997) Proc. of EUFIT'96, 4th Eur. Cong. on Intelligent Techniques and Soft Computing, Aachen, 2-5 September 1996 , pp. 841-845
- Bruza, P.D.¹ Lalmas, M.²

4
- 0027709747
- Subtopic structuring for full-length document access
- In Korfhage, R., Rasmussen, E. and Willett, P. (eds); ACM Press
- (1993) Proc. SIGIR-93, 16th ACM Conf. on Research and Development in Information Retrieval, Pittsburgh, PA, 27 June-1 July , pp. 59-68
- Hearst, M.¹ Plaunt, C.²

5
- 85029933081
- Passage-level evidence in document retrieval
- In Croft, B. and van Rijsbergen, C. J. (eds); Springer, Berlin
- (1994) Proc. SIGIR-94, 17th ACM Conference on Research and Development in Information Retrieval, Dublin, 3-6 July , pp. 302-310
- Callan, J.P.¹

6
- 0007436081
- Experiences in information retrieval modelling using structured formalisms and modal logic
- In Crestani, F., Lalmas, M. and van Rijsbergen, C. J. (eds); Kluwer Academic, Norwell, MA
- (1998) Information Retrieval, Uncertainty and Logics: Advanced Models for the Representation and Retrieval of Information , pp. 39-72
- Chevallet, J.-P.¹ Chiaramella, Y.²

7
- 0023014685
- A non-classical logic for information retrieval
- (1986) Comp. J. , vol.29 , pp. 481-485
- Van Rijsbergen, C.J.¹

8
- 0003660689
- Crestani, F., Lalmas, M. and van Rijsbergen C. J. (eds); Kluwer Academic, Norwell, MA
- (1998) Information Retrieval, Uncertainty and Logics: Advanced Models for the Representation and Retrieval of Information

9
- 85156265719
- Investigations into a theory of knowledge base revision: Preliminary report
- AAAI Press
- (1988) Proc. AAAI-88, 77th Nat. Conf. on Artificial Intelligence, Saint Paul, USA, 21-26, August , pp. 475-479
- Dalal, M.¹

10
- 0026383919
- Propositional knowledge base revision and minimal change
- (1991) Art. Intell. , vol.52 , pp. 263-294
- Katsuno, H.¹ Mendelzon, A.O.²

11
- 0000128393
- On the logic of theory change: Partial meet contraction and revision functions
- (1985) J. Symb. Logic , vol.50 , pp. 510-530
- Alchourrón, C.E.¹ Gärdenfors, P.² Makinson, D.³

12
- 0026940077
- On the complexity of propositional knowledge base revision, updates, and counterfactuals
- (1992) Art. Intell. , vol.57 , pp. 227-270
- Eiter, T.¹ Gottlob, G.²

13
- 0000051673
- Syntactic characterizations of belief change operators
- Morgan Kaufmann
- (1993) Proc. IJCAI'93, 13th Int. Joint Conf. on Artificial Intelligence, Chambery, France, 28 August-3 September , pp. 540-545
- Del Val, A.¹

14
- 84964428105
- Using a belief revision operator for document ranking in extended boolean models
- In Hearst, M., Gey, F. and Tong, R. (eds); ACM Press
- (1999) Proc. SIGIR-99, 22nd ACM Conf. on Research and Development in Information Retrieval, Berkeley, USA, 15-19 August , pp. 66-73
- Losada, D.E.¹ Barreiro, A.²

15
- 0024898139
- An information retrieval model based on modal logic
- (1989) Info. Proc. Management , vol.25 , pp. 477-491
- Nie, J.-Y.¹

16
- 0002028294
- Exploiting the similarity of non-matching terms at retrieval time
- (2000) Inf. Retrieval , vol.2 , pp. 25-45
- Crestani, F.¹

17
- 0007426445
- Information retrieval as counterfactual
- (1995) Comp. J. , vol.38 , pp. 643-657
- Nie, J.-Y.¹ Brisebois, M.² Lepage, F.³

18
- 0007458728
- General propositions and causality
- Braithwaite, R. B. (ed.); Routledge and Kegan Paul, New York
- (1950) Foundations of Mathematics and Other Logical Essays , pp. 237-257
- Ramsey, F.P.¹

19
- 0002447997
- Belief revisions and the Ramsey test for conditionals
- (1986) Phil. Rev. , vol.95 , pp. 81-93
- Gärdenfors, P.¹

20
- 84949965241
- Retrieval situations and belief change
- IEEE Computer Society Press
- (2000) Proc. LUMIS'2000, DEXA'2000 Int. Workshop on Logical and Uncertainty Models for Information Systems, Greenwich, UK, 4-8 September , pp. 531-537
- Losada, D.E.¹ Barreiro, A.²

21
- 4243208367
- Belief revision and update
- PhD Thesis, Stanford University, Stanford, CA
- (1993)
- Del Val, A.¹

22
- 84947761169
- A study of belief revision in the context of adaptive information filtering
- (1999) Proc. ICSC'99, 5th Int. Comp. Sci. Conf., Berlin, Germany, 13-15 December , pp. 1-10
- Lau, R.¹ Ter Hofstede, A.H.M.² Bruza, P.D.³

23
- 0007441063
- Applying maxi-adjustment to adaptive information filtering agents
- In Baral, C. and Trusczynski, M. (eds)
- (2000) Proc. NMR'2000, 8th Int. Workshop on Non-Monotonic Reasoning, Beckenridge, USA, 9-11 April
- Lau, R.¹ Ter Hofstede, A.H.M.² Bruza, P.D.³

24
- 0347867411
- Belief revision for adaptive information filtering agents
- World Scientific Publishing Pty Ltd.
- (2001) Int. J. Cooperative Information Sys. , vol.10 , pp. 57-79
- Lau, R.¹ Ter Hofstede, A.H.M.² Bruza, P.D.³

25
- 0007375693
- Belief revision and possibilistic logic for adaptive information filtering agents
- IEEE Press
- (2000) Proc. 12th IEEE Int. Conf. on Tools with Artificial Intelligence, British Columbia, Canada, 13-15 November , pp. 19-26
- Lau, R.¹ Ter Hofstede, A.H.M.² Bruza, P.D.³ Wong, K.F.⁴

26
- 0034799976
- An homogeneous framework to model relevance feedback
- (to appear). ACM Press
- (2001) Poster Session of SIGIR'2001, 24th ACM Conf. on Research and Development in Information Retrieval, New Orleans, 9-13 September
- Losada, D.E.¹ Barreiro, A.²

27
- 84949783604
- Rating the impact of logical representations on retrieval performance
- to appear
- (2001) Proc. LUMIS 2001, DEXA 2001 Int. Workshop on Logical and Uncertainty Models for Information Systems, Munich, Germany, 3-7 September
- Losada, D.E.¹ Barreiro, A.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.