7988 search results - page 267 / 1598 » A Useful Undecidable Theory |
111
Voted
SIGLEX
1991
15 years 4 months ago
1991
Metaphor and other forms of non-literal language are essential parts of language which have direct bearing on theories of lexical semantics. Neither narrow theories of lexical sem...
88
Voted
DAGSTUHL
2001
15 years 2 months ago
2001
We give two finite axiomatizations of indexed inductive-recursive definitions in intuitionistic type theory. They extend our previous finite axiomatizations of inductive-recursive...
IADIS
2003
15 years 2 months ago
2003
This paper describes capturing design experiences by applying grounded theory to pattern mining. The presented approach aims at inducing expert development knowledge and its subse...
83
Voted
AVI
1998
15 years 2 months ago
1998
Information Foraging (IF) Theory addresses user strategies and technology for seeking, gathering, and using on-line information. We present IF-based models and evaluations of two ...
105
click to vote
IJCAI
1989
15 years 2 months ago
1989
Recent results in the foundations of probability theory indicate that a conditional probability can be viewed as a probability attached to a mathematical entity called a measure-f...