3353 search results - page 400 / 671 » Laver and set theory |
152
click to vote
COGSCI
2002
15 years 6 months ago
2002
Selectional preferences have a long history in both generative and computational linguistics. However, since the publication of Resnik's dissertation in 1993, a new approach ...
157
click to vote
COLING
2002
15 years 6 months ago
2002
: Motivated by a systematic representation of the Chinese aspect forms that explores their intrinsic semantics and temporal logical relations, we are constructing a Chinese aspect ...
174
click to vote
JLP
2000
15 years 6 months ago
2000
The independent choice logic (ICL) is part of a project to combine logic and decision/game theory into a coherent framework. The ICL has a simple possible-worlds semantics charact...
190
click to vote
JSC
2000
15 years 6 months ago
2000
Tarski-Givant's map calculus is briefly reviewed, and a plan of research is outlined aimed at investigating applications of this ground equational formalism in the theorem-pr...
170
click to vote
ITP
2002
15 years 6 months ago
2002
Presents a theoretical approach to understanding the local culture of firms in the multinational information sector. Called situating culture, this approach holds that cultural und...