7289 search results - page 295 / 1458 » A Dependent Set Theory |
192
click to vote
CADE
2003
Springer
16 years 7 months ago
2003
Springer
Abstract. We present an abstract view of existential variables in a dependently typed lambda-calculus based on modal type theory. This allows us to justify optimizations to pattern...
166
click to vote
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
Agents often want to protect private information, while at the same acting upon the information. These two desires are in conflict, and this conflict can be modeled in strategic...
149
click to vote
ESWS
2004
Springer
16 years 4 days ago
2004
Springer
Knowledge Provenance is an approach to determining the origin and validity of knowledge/information on the web by means of modeling and maintaining information sources and dependen...
174
click to vote
IJCAI
2003
15 years 8 months ago
2003
A promising technique used in some planning systems to improve their performance is the use of domain dependent search control knowledge. We present a procedure for compiling sear...
173
Voted
ENTCS
2006
15 years 6 months ago
2006
Locality is a standard notion of finite model theory. There are two well known flavors of it, based on Hanf's and Gaifman's theorems. Essentially they say that structure...