Van Rijsbergen, C. J. 1943
Overview
Works:  144 works in 352 publications in 4 languages and 4,307 library holdings 

Genres:  Conference papers and proceedings Instructional and educational works Periodicals Academic theses History 
Roles:  Author, Editor, htt, Other, Contributor 
Classifications:  Z699, 025.04 
Publication Timeline
.
Most widely held works by
C. J Van Rijsbergen
The geometry of information retrieval by
C. J Van Rijsbergen(
)
27 editions published between 2004 and 2007 in English and held by 1,032 WorldCat member libraries worldwide
"Information retrieval, IR, is the science of extracting information from documents. It can be viewed in a number of ways: logical, probabilistic and vector space models are some of the most important. In this book, the author shows how these three views can be combined in one mathematical framework, the very one used to formulate the general principles of quantum mechanics. Using this framework, van Rijsbergen presents a new theory for the foundations of IR, in particular a new theory of measurement. He shows how a document can be represented as a vector of Hilbert space, and the document's relevance by an Hermitian operator. All the usual quantummechanical notions, such as uncertainty, superposition and observable, have their IRtheoretic analogues. But the approach is more than just analogy: the standard theorems can be applied to address problems in IR, such as pseudorelevance feedback, relevance feedback and ostensive retrieval. The relation with quantum computing is also examined. To help keep the book selfcontained, appendices with background material on physics and mathematics are included, and each chapter ends with some suggestions for further reading. This is an important book for all those working in IR, AI and natural language processing."Jacket
27 editions published between 2004 and 2007 in English and held by 1,032 WorldCat member libraries worldwide
"Information retrieval, IR, is the science of extracting information from documents. It can be viewed in a number of ways: logical, probabilistic and vector space models are some of the most important. In this book, the author shows how these three views can be combined in one mathematical framework, the very one used to formulate the general principles of quantum mechanics. Using this framework, van Rijsbergen presents a new theory for the foundations of IR, in particular a new theory of measurement. He shows how a document can be represented as a vector of Hilbert space, and the document's relevance by an Hermitian operator. All the usual quantummechanical notions, such as uncertainty, superposition and observable, have their IRtheoretic analogues. But the approach is more than just analogy: the standard theorems can be applied to address problems in IR, such as pseudorelevance feedback, relevance feedback and ostensive retrieval. The relation with quantum computing is also examined. To help keep the book selfcontained, appendices with background material on physics and mathematics are included, and each chapter ends with some suggestions for further reading. This is an important book for all those working in IR, AI and natural language processing."Jacket
Information retrieval by
C. J Van Rijsbergen(
Book
)
50 editions published between 1975 and 1995 in 5 languages and held by 670 WorldCat member libraries worldwide
Automatic text analysis; Automatic classification; File structures; Search strategies; Evaluation; The future
50 editions published between 1975 and 1995 in 5 languages and held by 670 WorldCat member libraries worldwide
Automatic text analysis; Automatic classification; File structures; Search strategies; Evaluation; The future
Research and development in information retrieval : proceedings of the third joint BCS and ACM symposium, King's College,
Cambridge, 26 July 1984 by
C. J Van Rijsbergen(
)
24 editions published between 1984 and 1987 in English and held by 486 WorldCat member libraries worldwide
24 editions published between 1984 and 1987 in English and held by 486 WorldCat member libraries worldwide
Advances in information retrieval : 24th BCSIRSG European Colloquium on IR Research, Glasgow, UK, March 2527, 2002 : proceedings by
Fabio Crestani(
)
19 editions published in 2002 in English and held by 403 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 24th European Colloquium on Information Retrieval Research, ECIR 2002, held in Glasgow, UK, in March 2002. The 23 revised full papers presented were carefully reviewed and selected from a total of 52 submissions. The papers are organized in topical sections on multimedia, Webinformation retrieval, query modification, soft computing, models, categorization, structured documents, crosslanguage issues, and interactive systems
19 editions published in 2002 in English and held by 403 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 24th European Colloquium on Information Retrieval Research, ECIR 2002, held in Glasgow, UK, in March 2002. The 23 revised full papers presented were carefully reviewed and selected from a total of 52 submissions. The papers are organized in topical sections on multimedia, Webinformation retrieval, query modification, soft computing, models, categorization, structured documents, crosslanguage issues, and interactive systems
SIGIR '89, proceedings of the twelfth annual international acmsigir conference on research and development in information
retrieval : june 2528, 1989, Cambridge, Massachusetts, USA by
N. J Belkin(
)
5 editions published in 1989 in English and held by 250 WorldCat member libraries worldwide
5 editions published in 1989 in English and held by 250 WorldCat member libraries worldwide
Information retrieval : uncertainty and logics : advanced models for the representation and retrieval of information by
Fabio Crestani(
Book
)
10 editions published in 1998 in English and held by 188 WorldCat member libraries worldwide
The basis of a logical model for IR is the assumption that queries and documents can be represented effectively by logical formulae. Some logical models are able to represent within a uniform framework various features of IR systems such as hypermedia links, multimedia data, and user's knowledge. It also provides a common approach to the integration of IR systems with logical database systems. In 1986, Cornelis Joost van Rijsbergen proposed the uncertainty logical principle to model relevance as an uncertain inference process, but was not specific about which logic and which uncertainty theory to use. Various logics and uncertainty theories have been proposed and investigated. This collection of papers are proposing, developing, and implementing logical IR models
10 editions published in 1998 in English and held by 188 WorldCat member libraries worldwide
The basis of a logical model for IR is the assumption that queries and documents can be represented effectively by logical formulae. Some logical models are able to represent within a uniform framework various features of IR systems such as hypermedia links, multimedia data, and user's knowledge. It also provides a common approach to the integration of IR systems with logical database systems. In 1986, Cornelis Joost van Rijsbergen proposed the uncertainty logical principle to model relevance as an uncertain inference process, but was not specific about which logic and which uncertainty theory to use. Various logics and uncertainty theories have been proposed and investigated. This collection of papers are proposing, developing, and implementing logical IR models
SIGIR '94 : proceedings of the seventeenth Annual International ACMSIGIR Conference on Research and Development in Information
Retrieval, organised by Dublin City University by
W. Bruce Croft(
)
5 editions published in 1994 in English and held by 78 WorldCat member libraries worldwide
Information retrieval (IR) is becoming an increasingly important area as scientific, business and government organisations take up the notion of "information superhighways" and make available their full text databases for searching. Containing a selection of 35 papers taken from the 17th Annual SIGIR Conference held in Dublin, Ireland in July 1994, the book addresses basic research and provides an evaluation of information retrieval techniques in applications. Topics covered include text categorisation, indexing, user modelling, IR theory and logic, natural language processing, statistical and probabilistic models of information retrieval systems, routing, passage retrieval, and implementation issues
5 editions published in 1994 in English and held by 78 WorldCat member libraries worldwide
Information retrieval (IR) is becoming an increasingly important area as scientific, business and government organisations take up the notion of "information superhighways" and make available their full text databases for searching. Containing a selection of 35 papers taken from the 17th Annual SIGIR Conference held in Dublin, Ireland in July 1994, the book addresses basic research and provides an evaluation of information retrieval techniques in applications. Topics covered include text categorisation, indexing, user modelling, IR theory and logic, natural language processing, statistical and probabilistic models of information retrieval systems, routing, passage retrieval, and implementation issues
Quantum interaction : third international symposium, QI 2009, Saarbrücken, Germany, March 2527, 2009 : proceedings by
David Hutchison(
)
13 editions published in 2009 in English and Undetermined and held by 73 WorldCat member libraries worldwide
Annotation
13 editions published in 2009 in English and Undetermined and held by 73 WorldCat member libraries worldwide
Annotation
Adaptive multimedia retrieval : user, context, and feedback : third international workshop, AMR 2005, Glasgow, UK, July 2829,
2005 : revised selected papers by
Marcin Detyniecki(
)
9 editions published in 2006 in English and held by 69 WorldCat member libraries worldwide
This book is an extended collection of revised contributions that were initially submitted to the International Workshop on Adaptive Multimedia Retrieval (AMR 2005). This workshop was organized during July 2829, 2005, at the U versity of Glasgow, UK, as part of an information retrieval research festival and in colocation with the 19th International Joint Conference on Arti?cial Int ligence (IJCAI 2005). AMR 2005 was the third and so far the biggest event of the series of workshops that started in 2003 with a workshop during the 26th German Conference on Arti?cial Intelligence (KI 2003) and continued in 2004 as part of the 16th European Conference on Arti?cial Intelligence (ECAI 2004). Theworkshopfocussedespeciallyonintelligentmethodstoanalyzeandstr ture multimedia collections, with particular attention on methods that are able to support the user in the search process, e. g. , by providing additional userand contextadapted information about the search results as well as the data coll tion itself and especially by adapting the retrieval tool to the user's needs and interests. The invited contributions presented in the ?rst section of this book "Putting the User in the Loop: Visual Resource Discovery" from Stefan Rug ¨ er, "Using Relevance Feedback to Bridge the Semantic Gap" from Ebroul Izquierdo and Divna Djordjevic, and "Leveraging Context for Adaptive Multimedia  trieval: A Matter of Control" from Gary Marchioniniillustrate these core t ics: user,contextandfeedback. Theseaspectsarediscussedfromdi?erent points ofviewinthe18contributionsthatareclassi?edintosixmainchapters,following rather closely the workshop's sessions: ranking, systems, spatiotemporal re tions, using feedback, using context and metadata
9 editions published in 2006 in English and held by 69 WorldCat member libraries worldwide
This book is an extended collection of revised contributions that were initially submitted to the International Workshop on Adaptive Multimedia Retrieval (AMR 2005). This workshop was organized during July 2829, 2005, at the U versity of Glasgow, UK, as part of an information retrieval research festival and in colocation with the 19th International Joint Conference on Arti?cial Int ligence (IJCAI 2005). AMR 2005 was the third and so far the biggest event of the series of workshops that started in 2003 with a workshop during the 26th German Conference on Arti?cial Intelligence (KI 2003) and continued in 2004 as part of the 16th European Conference on Arti?cial Intelligence (ECAI 2004). Theworkshopfocussedespeciallyonintelligentmethodstoanalyzeandstr ture multimedia collections, with particular attention on methods that are able to support the user in the search process, e. g. , by providing additional userand contextadapted information about the search results as well as the data coll tion itself and especially by adapting the retrieval tool to the user's needs and interests. The invited contributions presented in the ?rst section of this book "Putting the User in the Loop: Visual Resource Discovery" from Stefan Rug ¨ er, "Using Relevance Feedback to Bridge the Semantic Gap" from Ebroul Izquierdo and Divna Djordjevic, and "Leveraging Context for Adaptive Multimedia  trieval: A Matter of Control" from Gary Marchioniniillustrate these core t ics: user,contextandfeedback. Theseaspectsarediscussedfromdi?erent points ofviewinthe18contributionsthatareclassi?edintosixmainchapters,following rather closely the workshop's sessions: ranking, systems, spatiotemporal re tions, using feedback, using context and metadata
SIGIR '94 : proceedings of the seventeenth annual International ACMSIGIR Conference on Research and Development in Information
Retrieval, organised by Dublin City University : 36 July 1994, Dublin, Ireland by Annual International ACMSIGIR Conference on Research & Development in Information Retrieval(
Book
)
2 editions published in 1994 in No Linguistic content and English and held by 67 WorldCat member libraries worldwide
2 editions published in 1994 in No Linguistic content and English and held by 67 WorldCat member libraries worldwide
SIGIR '94 : proceedings of the Seventeenth Annual International ACMSIGIR Conference on Research and Development in Information
Retrieval, organized by Dublin City University : held in cooperation with the ACMSIGIR ... : 36 July 1994, Dublin, Ireland by Annual International ACMSIGIR Conference on Research & Development in Information Retrieval(
Book
)
3 editions published in 1994 in English and held by 63 WorldCat member libraries worldwide
3 editions published in 1994 in English and held by 63 WorldCat member libraries worldwide
Information technology, research and development(
)
in English and held by 62 WorldCat member libraries worldwide
in English and held by 62 WorldCat member libraries worldwide
Proceedings of the Tenth Annual International ACMSIGIR Conference on Research & Development in Information Retrieval : New
Orleans, Louisiana, USA, June 35, 1987 by
C. T Yu(
Book
)
6 editions published in 1987 in English and held by 57 WorldCat member libraries worldwide
6 editions published in 1987 in English and held by 57 WorldCat member libraries worldwide
SIGIR '89 : proceedings of the Twelfth Annual International ACMSIGIR Conference on Research and Development in Information
Retrieval : Cambridge, Massachusetts, June 2528, 1989 by Annual International ACMSIGIR Conference on Research & Development in Information Retrieval(
Book
)
4 editions published in 1989 in English and held by 52 WorldCat member libraries worldwide
4 editions published in 1989 in English and held by 52 WorldCat member libraries worldwide
Proceedings of the 3rd annual ACM conference on Research and development in information retrieval by
C. J Van Rijsbergen(
)
2 editions published in 1981 in English and held by 35 WorldCat member libraries worldwide
2 editions published in 1981 in English and held by 35 WorldCat member libraries worldwide
New models in probabilistic information retrieval by
C. J Van Rijsbergen(
Book
)
14 editions published between 1980 and 1981 in English and held by 34 WorldCat member libraries worldwide
14 editions published between 1980 and 1981 in English and held by 34 WorldCat member libraries worldwide
Advances in Information Retrieval : 24th BCSIRSG European Colloquium on IR Research Glasgow, UK, March 2527, 2002 Proceedings by
Fabio Crestani(
)
1 edition published in 2002 in English and held by 33 WorldCat member libraries worldwide
1 edition published in 2002 in English and held by 33 WorldCat member libraries worldwide
Proceedings of the Twelfth Annual International ACMSIGIR Conference on Research & Development in Information Retrieval by
1989, Cambridge, Mass.) International Conference on Research and Development in Information Retrieval (12(
Book
)
1 edition published in 1989 in English and held by 29 WorldCat member libraries worldwide
1 edition published in 1989 in English and held by 29 WorldCat member libraries worldwide
A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia by
Jacques Fleuriot(
)
1 edition published in 2001 in English and held by 19 WorldCat member libraries worldwide
Abstract: "Sir Isaac Newton's Philosophiæ Naturalis Principia Mathematica (the Principia) was first published in 1687 and set much of the foundations that led to profound changes in modern science. Despite the influence of the work, the elegance of the geometrical techniques used by Newton is little known since the demonstrations of most of the theorems set out in it are usually done using calculus. Newton's reasoning also goes beyond the traditional boundaries of Euclidean geometry with the presence of both motion and infinitesimals. This thesis describes the mechanization of Lemmas and Propositions from the Principia using formal tools developed in the generic theorem prover Isabelle. We discuss the formalization of a geometry theory based on existing methods from automated geometry theorem proving. The theory contains extra geometric notions, including definitions of the ellipse and its tangent, that enable us to deal with the motion of bodies and other physical aspects. We introduce the formalization of a theory of filters and ultrafilters, and the purely definitional construction of the hyperreal numbers of Nonstandard Analysis (NSA). The hyperreals form a proper field extension of the reals that contains new types of numbers including infinitesimals and infinite numbers. By combining notions from NSA and geometry theorem proving, we propose an 'infinitesimal' geometry in which quantities can be infinitely small. This approach then reveals new properties of the geometry that only hold because infinitesimal elements are allowed. We also mechanize some analytic geometry and use it to verify the geometry theories of Isabelle. We then report on the main application of this framework. We discuss the formalization of several results from the Principia and give a detailed case study of one of its most important propositions: the Propositio Kepleriana. An anomaly is revealed in Newton's reasoning through our rigorous mechanization. Finally, we present the formalization of a portion of mathematical analysis using the nonstandard approach. We mechanize both standard and nonstandard definitions of familiar concepts, prove their equivalence, and use nonstandard arguments to provide intuitive yet rigorous proofs of many of their properties."
1 edition published in 2001 in English and held by 19 WorldCat member libraries worldwide
Abstract: "Sir Isaac Newton's Philosophiæ Naturalis Principia Mathematica (the Principia) was first published in 1687 and set much of the foundations that led to profound changes in modern science. Despite the influence of the work, the elegance of the geometrical techniques used by Newton is little known since the demonstrations of most of the theorems set out in it are usually done using calculus. Newton's reasoning also goes beyond the traditional boundaries of Euclidean geometry with the presence of both motion and infinitesimals. This thesis describes the mechanization of Lemmas and Propositions from the Principia using formal tools developed in the generic theorem prover Isabelle. We discuss the formalization of a geometry theory based on existing methods from automated geometry theorem proving. The theory contains extra geometric notions, including definitions of the ellipse and its tangent, that enable us to deal with the motion of bodies and other physical aspects. We introduce the formalization of a theory of filters and ultrafilters, and the purely definitional construction of the hyperreal numbers of Nonstandard Analysis (NSA). The hyperreals form a proper field extension of the reals that contains new types of numbers including infinitesimals and infinite numbers. By combining notions from NSA and geometry theorem proving, we propose an 'infinitesimal' geometry in which quantities can be infinitely small. This approach then reveals new properties of the geometry that only hold because infinitesimal elements are allowed. We also mechanize some analytic geometry and use it to verify the geometry theories of Isabelle. We then report on the main application of this framework. We discuss the formalization of several results from the Principia and give a detailed case study of one of its most important propositions: the Propositio Kepleriana. An anomaly is revealed in Newton's reasoning through our rigorous mechanization. Finally, we present the formalization of a portion of mathematical analysis using the nonstandard approach. We mechanize both standard and nonstandard definitions of familiar concepts, prove their equivalence, and use nonstandard arguments to provide intuitive yet rigorous proofs of many of their properties."
Automated theory formation in pure mathematics by
Simon Colton(
)
1 edition published in 2002 in English and held by 18 WorldCat member libraries worldwide
In recent years, Artificial Intelligence researchers have largely focused their efforts on solving specific problems, with less emphasis on 'the big picture'  automating large scale tasks which require humanlevel intelligence to undertake. The subject of this book, automated theory formation in mathematics, is such a large scale task. Automated theory formation requires the invention of new concepts, the calculating of examples, the making of conjectures and the proving of theorems. This book, representing four years of PhD work by Dr. Simon Colton demonstrates how theory formation can be automated. Building on over 20 years of research into constructing an automated mathematician carried out in Professor Alan Bundy's mathematical reasoning group in Edinburgh, Dr. Colton has implemented the HR system as a solution to the problem of forming theories by computer. HR uses various pieces of mathematical software, including automated theorem provers, model generators and databases, to build a theory from the bare minimum of information  the axioms of a domain. The main application of this work has been mathematical discovery, and HR has had many successes. In particular, it has invented 20 new types of number of sufficient interest to be accepted into the Encyclopaedia of Integer Sequences, a repository of over 60,000 sequences contributed by many (human) mathematicians
1 edition published in 2002 in English and held by 18 WorldCat member libraries worldwide
In recent years, Artificial Intelligence researchers have largely focused their efforts on solving specific problems, with less emphasis on 'the big picture'  automating large scale tasks which require humanlevel intelligence to undertake. The subject of this book, automated theory formation in mathematics, is such a large scale task. Automated theory formation requires the invention of new concepts, the calculating of examples, the making of conjectures and the proving of theorems. This book, representing four years of PhD work by Dr. Simon Colton demonstrates how theory formation can be automated. Building on over 20 years of research into constructing an automated mathematician carried out in Professor Alan Bundy's mathematical reasoning group in Edinburgh, Dr. Colton has implemented the HR system as a solution to the problem of forming theories by computer. HR uses various pieces of mathematical software, including automated theorem provers, model generators and databases, to build a theory from the bare minimum of information  the axioms of a domain. The main application of this work has been mathematical discovery, and HR has had many successes. In particular, it has invented 20 new types of number of sufficient interest to be accepted into the Encyclopaedia of Integer Sequences, a repository of over 60,000 sequences contributed by many (human) mathematicians
more
fewer
Audience Level
0 

1  
General  Special 
Related Identities
 Crestani, Fabio Other Author Editor
 British Computer Society
 Girolami, Mark 1963 Editor
 ACM Digital Library
 Association for Computing Machinery
 Belkin, N. J Author Editor
 Croft, W. Bruce Other Author Editor
 Association for Computing Machinery
 Lalmas, Mounia Other Editor
 Association for Computing Machinery Special Interest Group on Information Retrieval Other
Useful Links
Associated Subjects
Application software Artificial intelligence Automatic indexing Automatic theorem proving Cataloging of nonbook materialsData processing Computer architecture Computers Computer science Computer scienceMathematics Computer software Computer vision Database management Data structures (Computer science) Electronic data processing Expert systems (Computer science) Geometry GeometryFamous problems Image processingDigital techniques Indexing Information resources management Information retrieval Information retrievalMathematical models Information science Information storage and retrieval systems Information storage and retrieval systemsAudiovisual materials Information storage and retrieval systemsMathematical models Information storage and retrieval systemsMathematics Information storage and retrieval systemsResearch Information technology Information theory Interactive multimedia Libraries and mass mediaAutomation Logic, Symbolic and mathematical Management information systems Mathematics Mechanics Multimedia systems Natural language processing (Computer science) Nonstandard mathematical analysis Optical data processing Principia (Newton, Isaac) Probabilities Proof theory Quantum theory Searching, Bibliographical Selfadaptive software Text processing (Computer science) Translators (Computer programs)
Covers
Alternative Names
C. J. van Rijsbergen Dutch computer scientist
Cornelis Joost Van Rijsbergen
Cornelis Joost van Rijsbergen niederländischer Informatiker und Gründer des modernen Information Retrievals
Keith van Rijsbergen
Keith van Rijsbergen Nederlands informaticus
Rijsbergen, C. J. Keith Van
Rijsbergen, C. J. Keith van 1943
Rijsbergen, C.J. van
Rijsbergen, C. J. van 1943
Rijsbergen, C.J. van Computerwissenschaftler 1943
Rijsbergen, Cornelis Joost 1943
Rijsbergen, Cornelis Joost van.
Rijsbergen, Keith van 1943
Rijsbergen, Keith van Computerwissenschaftler 1943
Van Rijsbergen, C.J
Van Rijsbergen, C. J. 1943
Van Rijsbergen, Cornelis 1943
Van Rijsbergen, Cornelis J. 1943
Van Rijsbergen, Cornelis Joost.
Van Rijsbergen, Cornelis Joost 1943
Van Rijsbergen, Keith
Van Rijsbergen, Keith 1943
VanRijsbergen, C. J. 1943
VanRijsbergen, Cornelis J. 1943
VanRijsbergen, Keith 1943
К. Й. ван Рійсберґен
ריסברכן, קורנליס יוסט ון, 1943
سى. جيه. فان ريسبيرجن عالم كومبيوتر من مملكه نيديرلاند
سي. جيه. فان ريسبيرغن
Languages