1737 search results - page 35 / 348 » On Interpolation in Existence Logics |
159
click to vote
ICALP
2005
Springer
15 years 11 months ago
2005
Springer
Labeled unranked trees are used as a model of XML documents, and logical languages for them have been studied actively over the past several years. Such logics have different purpo...
139
Voted
ICCD
1992
IEEE
15 years 10 months ago
1992
IEEE
ct Digital's NVAX high-performance microprocessor has a complex logical design. A rigorous simulation-based verification effort was undertaken to ensure that there were no log...
167
click to vote
ATAL
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We argue that none of the existing epistemic logics can adequately serve the needs of agent theories. We suggest a new concept of knowledge which generalizes both implici...
147
click to vote
LPAR
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. In this paper, we continue the recently started work on integrating action formalisms with description logics (DLs), by investigating planning in the context of DLs. We p...
158
click to vote
CAGD
2008
15 years 6 months ago
2008
A classic problem in geometric modelling is curve interpolation to data points. Some of the existing interpolation schemes only require point data, whereas others, require higher ...