Research graph
References from On the role of logic in information retrieval. Local targets link to admitted publications; unresolved targets remain external evidence.
Stratified information disclosure
1993 · External reference
Investigating aboutness axioms using information fields
1994 · External reference
Efficient context-sensitive plausible inference for information disclosure
1993 · External reference
Semantic information
10.1093/bjps/iv.14.147 · 1953 · External reference
Extending a logic-based model with algebraic knowledge
1996 · External reference
About retrieval models and logic
10.1093/comjnl/35.3.233 · 1992 · External reference
A definition of relevance for information retrieval
10.1016/0020-0271(71)90024-6 · 1971 · External reference
The troubles with using a logical model of IR on a large collection of documents
1995 · External reference
Probability kinematics in information retrieval
1995 · External reference
Theorem proving and information retrieval
1969 · External reference
Making CATS out of kittens: description logics with aggregates
1995 · External reference
Diagnosing multiple faults
10.1016/0004-3702(87)90063-4 · 1987 · External reference
Implication
1992 · External reference
The use of description logics in KBSE systems
1994 · External reference
Relevance logic and entailment
1986 · External reference
Logical form and knowledge representation: towards a reconciliation
1996 · External reference
Probabilistic Datalog: a logic for powerful retrieval methods
1995 · External reference
Unresolved reference
1997 · External reference
Knowledge in flux
1988 · External reference
Unresolved reference
1979 · External reference
Unresolved reference
1978 · External reference
An analysis of first-order logics of probability
10.1016/0004-3702(90)90019-v · 1990 · External reference
Unresolved reference
1981 · External reference
Using default logic in information retrieval
1995 · External reference
A short companion to the naive physics manifesto
1985 · External reference
A model of an information retrieval system based on situation theory and Dempster-Shafer theory of evidence
1993 · External reference
Analysis of part-of reasoning in description logics for use in a document management application
1995 · External reference
A logic of implicit and explicit belief
1984 · External reference
Making believers out of computers
10.1016/0004-3702(86)90068-8 · 1986 · External reference
Making believers out of computers
1989 · External reference
Expressiveness and tractability in knowledge representation and reasoning
10.1111/j.1467-8640.1987.tb00176.x · 1987 · External reference
Tarskian semantics, or: no notation without denotation!
10.1207/s15516709cog0203_5 · 1978 · External reference
Description-logic based configuration for consumers
1995 · External reference
An image retrieval model based on classical logic
1995 · External reference
A relevance description logic for information retrieval
1996 · External reference
A model of information retrieval based on a terminological logic
1993 · External reference
The terminological image model
1997 · External reference
Query expansion in an abductive information retrieval system
1994 · External reference
Unresolved reference
1989 · External reference
An information retrieval model based on modal logic
10.1016/0306-4573(89)90019-8 · 1989 · External reference
ARGON: knowledge representation meets information retrieval
1984 · External reference
Towards a logical reconstruction of relational database theory
1984 · External reference
Towards a logical reconstruction of relational database theory
1989 · External reference
A theory of diagnosis from first principles
10.1016/0004-3702(87)90062-2 · 1987 · External reference
Term-weighting approaches in automatic text retrieval
10.1016/0306-4573(88)90021-0 · 1988 · External reference
A probabilistic terminological logic for modelling information retrieval
1994 · External reference
A new method for solving hard satisfiability problems
1992 · External reference
A theory of conditionals
1968 · External reference
A theory of conditionals
1981 · External reference
A semantical analysis of conditional logic
10.1111/j.1755-2567.1970.tb00408.x · 1970 · External reference
Document retrieval by relevance terminological logics
1996 · External reference
Inference networks for document retrieval
1990 · External reference
Evaluation of an inference network-based retrieval model
10.1145/125187.125188 · 1991 · External reference
A non-classical logic for information retrieval
10.1093/comjnl/29.6.481 · 1986 · External reference
Towards an information logic
1989 · External reference
Probabilistic retrieval revisited
10.1093/comjnl/35.3.291 · 1992 · External reference
Information calculus for information retrieval
10.1002/(sici)1097-4571(199605)47:5<385::aid-asi6>3.0.co;2-s · 1996 · External reference
A probabilistic inference model for information retrieval
10.1016/0306-4379(91)90003-r · 1991 · External reference
