Article

Free access

Retrieval of complex objects using a four-valued logic

Authors:

SIGIR '96: Proceedings of the 19th annual international ACM SIGIR conference on Research and development in information retrieval

Pages 206 - 214

https://doi.org/10.1145/243199.243268

Published: 18 August 1996 Publication History

PDF eReader

References

[1]

Brown, H. (1989). Standards for Structured Documents. The Computer Journal 32(6), pages 505-514.

Google Scholar

[2]

Christophides, V.; Abiteboul, S.; Cluet, S. (1994). From Structured Documents to Novel Query Facilities. In: Snodgrass, R. T.; M., W. (eds.): Proceedings of the 1994 ACM-SIGMOD. International Conference on Management of Data., pages 313-324. ACM, New York.

Digital Library

Google Scholar

[3]

Colby, L. S.; Saxton, L. ~.; van Gueht, D. (1994). Concepts for Modeling and Querying List-Structured Data. Information Processing & Management 30(5), pages 687-709.

Digital Library

Google Scholar

[4]

Fagin, R.; Halpern, J. (1994). Reasoning About Knowledge and Probability. Journal of the ACM 41(2), pages 340-367.

Digital Library

Google Scholar

[5]

Fuhr, N.; Riilleke, T. (1996). A Probabilistic Relational Algebra for the Integration of Information Retrieval and Database Systems. (To appear in: ACM Transactions on Information Systems).

Digital Library

Google Scholar

[6]

Fuhr, N. (1995a). Logical and Conceptual Models for the Integration of Information Retrieval and Database Systems. In: East/West Database Workshop, Klagenfurt 1994, pages 206-218. Springer, Berlin et al.

Crossref

Google Scholar

[7]

Fuhr, N. (1995b). Probabilistic Datalog- a Logic for Powerful Retrieval Method. In: Fox, E.; Ingwersen, P.; Fidel, R. (eds.): Proceedings of the 18th Annual International A CM SIGIR Conference on Research and Development in Information Retrieval, pages 282-290. ACM, New York.

Crossref

Google Scholar

[8]

Fuhr, N. (1996). Object-Oriented and Database Concepts for the Design of Networked Information Retrieval Systems. (submitted for publication). URL: http://ls6-www.informatik.unidortmund.de/reports/96/Fuhr-96.html.

Google Scholar

[9]

Halpern, J.; Moses, Y. (1992). A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief. Artificial Intelligence 54, pages 319-379.

Digital Library

Google Scholar

[10]

Kifer, M.; Lausen, G.; Wu, J. (1995). Logical Foundations of Object-Oriented and Frame-Based Languages. Journal of the Association for Computing Machinery 42(4), pages 741-843.

Digital Library

Google Scholar

[11]

Maeleod, I. (1990). Storage and Retrieval of Structured Documents. Information Processing and Management 26(2), pages 197-208.

Digital Library

Google Scholar

[12]

Meghini, C. (1995). An Image Retrieval Model Based on Classical Logic. In: Fox, E.; Ingwersen, P.; Fidel, R. (eds.): Proceedings of the 18th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, pages 300-309. ACM, New York.

Crossref

Google Scholar

[13]

Pfeifer, U.; Fuhr, N.; Huynh, T. (1995). Searching Structured Documents with the Enhanced Retrieval Functionality of freeWAIS-sf and SFgate. In: D. Kroemker (ed.): Computer Networks and ISDN Systems; Proceedings of the third International World-Wide Web Conference, pages 1027-1036. Elsevier, Amsterdam - Lausanne- New York- Oxford- Shannon- Tokyo.

Digital Library

Google Scholar

[14]

van Rijsbergen, C. J. (1986). A Non-Classical Logic for Information Retrieval. The Computer Journal 29(6), pages 481-485.

Google Scholar

[15]

van Rijsbergen, C.J. (1989). Towards an information Logic. in: Belkin, N.; van Rijsbergen, C. J. (eds.): Proceedings of the Twelfth Annual international ACM- SIGIR Conference on Research and Development in Information Retrieval, pages 77-86. ACM, New York.

Crossref

Google Scholar

[16]

Riilleke, T.; Fuhr, N. (1996). Retrieval of Complex Objects Using a Four-Valued Logic. Technical report, University of Dortmund.

Google Scholar

[17]

Wong, S.# Yao, '1r. (1995). On Modeling Information Retrieval with Probabilistic Inference. A CM Transactions on Information Systems 13(1), pages 38-68.

Digital Library

Google Scholar

Cited By

View all

Sabbah FFuhr N(2021)A Transparent Logical Framework for Aspect-Oriented Product Ranking Based on User ReviewsAdvances in Information Retrieval10.1007/978-3-030-72113-8_37(558-571)Online publication date: 27-Mar-2021
https://doi.org/10.1007/978-3-030-72113-8_37
Boughanem MAkermi IPasi GAbdulahhad K(2020)Information Retrieval and Artificial IntelligenceA Guided Tour of Artificial Intelligence Research10.1007/978-3-030-06170-8_5(147-180)Online publication date: 8-May-2020
https://doi.org/10.1007/978-3-030-06170-8_5
Abdulahhad KBerrut CChevallet JPasi G(2019)Modeling Information Retrieval by Formal LogicACM Computing Surveys10.1145/329104352:1(1-37)Online publication date: 21-Feb-2019
https://dl.acm.org/doi/10.1145/3291043
Show More Cited By

Index Terms

Retrieval of complex objects using a four-valued logic
1. Information systems
  1. Information retrieval
2. Theory of computation
  1. Models of computation
    1. Probabilistic computation

Recommendations

Another Useful Four-Valued Logic
Knowledge Science, Engineering and Management
Abstract
We propose a four-valued logic with intuitive semantics by the connectives that is useful for understanding the contradictions in knowledge representation. The intuitive semantics reflects that any assertion has dual character by whose information ...
An essay on complex valued propositional logic

In the decision making logic it is often necessary solving of logical equations for which, due to the features of disjunction and conjunction, no admissible solutions exist. An approach is suggested in which by introducing of Imaginary Logical Variables ...
Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic
Abstract
In this study, we prove the completeness and cut-elimination theorems for a first-order extension F4CC of Arieli, Avron, and Zamansky’s ideal paraconsistent four-valued logic known as 4CC. These theorems are proved using Schütte’s method, which ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

SIGIR '96: Proceedings of the 19th annual international ACM SIGIR conference on Research and development in information retrieval

August 1996

344 pages

ISBN:0897917928

DOI:10.1145/243199

Chairmen:
Hans-Peter Frei
Ubilab, Union Bank, Switzerland
,
Donna Harman,
Peter Schaübie,
Ross Wilkinson

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 18 August 1996

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

19SIGIR96

Sponsor:

SIGIR

19SIGIR96: 19th International Conference on Research Development in Information Retrieval

August 18 - 22, 1996

Zurich, Switzerland

Acceptance Rates

Overall Acceptance Rate 792 of 3,983 submissions, 20%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

22
Total Citations
View Citations
360
Total Downloads

Downloads (Last 12 months)38
Downloads (Last 6 weeks)9

Reflects downloads up to 22 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Sabbah FFuhr N(2021)A Transparent Logical Framework for Aspect-Oriented Product Ranking Based on User ReviewsAdvances in Information Retrieval10.1007/978-3-030-72113-8_37(558-571)Online publication date: 27-Mar-2021
https://doi.org/10.1007/978-3-030-72113-8_37
Boughanem MAkermi IPasi GAbdulahhad K(2020)Information Retrieval and Artificial IntelligenceA Guided Tour of Artificial Intelligence Research10.1007/978-3-030-06170-8_5(147-180)Online publication date: 8-May-2020
https://doi.org/10.1007/978-3-030-06170-8_5
Abdulahhad KBerrut CChevallet JPasi G(2019)Modeling Information Retrieval by Formal LogicACM Computing Surveys10.1145/329104352:1(1-37)Online publication date: 21-Feb-2019
https://dl.acm.org/doi/10.1145/3291043
Sabbah F(2019)Logic-Based Models for Social Media RetrievalAdvances in Information Retrieval10.1007/978-3-030-15719-7_47(348-352)Online publication date: 7-Apr-2019
https://doi.org/10.1007/978-3-030-15719-7_47
Abdulahhad KChevallet JBerrut C(2016)Logics, Lattices and Probability: The Missing Links to Information RetrievalThe Computer Journal10.1093/comjnl/bxw034Online publication date: 29-Jul-2016
https://doi.org/10.1093/comjnl/bxw034
Milajevs DSadrzadeh MRoelleke TAllan JCroft Bde Vries AZhai C(2015)IR meets NLPProceedings of the 2015 International Conference on The Theory of Information Retrieval10.1145/2808194.2809448(231-240)Online publication date: 27-Sep-2015
https://dl.acm.org/doi/10.1145/2808194.2809448
Roelleke T(2013)Information Retrieval Models: Foundations and RelationshipsSynthesis Lectures on Information Concepts, Retrieval, and Services10.2200/S00494ED1V01Y201304ICR0275:3(1-163)Online publication date: 26-Jul-2013
https://doi.org/10.2200/S00494ED1V01Y201304ICR027
Roelleke THersh WCallan JMaarek YSanderson M(2012)IR modelsProceedings of the 35th international ACM SIGIR conference on Research and development in information retrieval10.1145/2348283.2348535(1187-1188)Online publication date: 12-Aug-2012
https://dl.acm.org/doi/10.1145/2348283.2348535
Azzam HYahyaei SBonzanini MRoelleke TWang LYu GLu JWang W(2012)A schema-driven approach for knowledge-oriented retrieval and query formulationProceedings of the Third International Workshop on Keyword Search on Structured Data10.1145/2254736.2254746(39-46)Online publication date: 20-May-2012
https://dl.acm.org/doi/10.1145/2254736.2254746
Lalmas M(2009)XML RetrievalSynthesis Lectures on Information Concepts, Retrieval, and Services10.2200/S00203ED1V01Y200907ICR0071:1(1-111)Online publication date: Jan-2009
https://doi.org/10.2200/S00203ED1V01Y200907ICR007
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Another Useful Four-Valued Logic

An essay on complex valued propositional logic

Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic