3005 search results - page 126 / 601 » Logical Information Systems: from Taxonomies to Logics |
177
click to vote
SAC
2006
ACM
16 years 12 days ago
2006
ACM
In this paper, we show that representation and reasoning techniques used in traditional knowledge engineering and the emerging Semantic Web can play an important role for heteroge...
142
click to vote
CSL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...
185
click to vote
DGO
2007
15 years 8 months ago
2007
Government e-services available to citizens represent one of the most frequent and critical points of contact between public administrations and citizens. In addition to common se...
197
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
This is a case-study in knowledge representation. We analyze the ‘one hundred prisoners and a lightbulb’ puzzle. In this puzzle it is relevant what the agents (prisoners) know...
156
click to vote
LOGCOM
2008
15 years 6 months ago
2008
Fibring is a metalogical constructor that permits to combine different logics by operating on their deductive systems under certain natural restrictions, as for example that the t...