2573 search results - page 49 / 515 » Combinations of Modal Logics |
120
Voted
ENTCS
2008
15 years 3 months ago
2008
The compositional method, introduced by Feferman and Vaught in 1959, allows to reduce the model-checking problem for a product structure to the model-checking problem for its fact...
148
Voted
SAC
2006
ACM
15 years 9 months ago
2006
ACM
Relatively little research has been conducted into designing interfaces that allow GIS users to interact effectively with geospatial data in mobile environments. Users on the mov...
131
Voted
AUSAI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We provide a conceptual analysis of several kinds of deadlines, represented in Temporal Modal Defeasible Logic. The paper presents a typology of deadlines, based on the f...
105
Voted
DEON
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. By making use of modal logic techniques, the paper disentangles two semantically different readings of statements of the type X counts as Y in context C (the classificato...
164
Voted
AIML
2000
15 years 5 months ago
2000
Notions of context for natural language interpretation are factored in terms of three processes: translation, entailment and attunement. The processes are linked by accessibility r...