268 search results - page 12 / 54 » Revising Contextual Theories |
DALT
2005
Springer
15 years 3 months ago
2005
Springer
Agents need to be able to change their beliefs; in particular, they should be able to contract or remove a certain belief in order to restore consistency to their set of beliefs, a...
TYPES
1999
Springer
15 years 1 months ago
1999
Springer
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...
OTM
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. To date, ontology research seems to have come to an equilibrium: there is a wide variety of theories, methods and tools for extracting, representing, storing and browsing...
81
Voted
SIGIR
2004
ACM
15 years 2 months ago
2004
ACM
Contextual retrieval is a critical technique for facilitating many important applications such as mobile search, personalized search, PC troubleshooting, etc. Despite of its impor...
75
Voted
FOSSACS
2005
Springer
15 years 3 months ago
2005
Springer
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...