736 search results - page 24 / 148 » Moving Specification Structures Between Logical Systems |
166
Voted
COLING
1996
15 years 4 months ago
1996
A domain independent model is proposed for the automated interpretation of nominal compounds in English. This model is meant to account for productive rules of interpretation whic...
129
Voted
EDBTW
2010
Springer
15 years 6 months ago
2010
Springer
Business Intelligence (BI) applications allow their users to query, understand, and analyze existing data within their organizations in order to acquire useful knowledge, thus mak...
97
Voted
BIRTHDAY
2010
Springer
15 years 20 days ago
2010
Springer
In this case study we describe an approach to a general logical framework for tracking evidence within epistemic contexts. We consider as basic an example which features two justi...
119
Voted
CORR
1999
Springer
15 years 2 months ago
1999
Springer
In this article, we study parameterized complexity theory from the perspective of logic, or more specifically, descriptive complexity theory. We propose to consider parameterized ...
100
Voted
ENTCS
2006
15 years 2 months ago
2006
We introduce a simple graph logic that supports specification of Quality of Service (QoS) properties of applications. The idea is that we are not only interested in representing w...