452 search results - page 40 / 91 » Predicative semantics of loops |
SYNTHESE
2008
13 years 9 months ago
2008
The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in s...
EUSFLAT
2009
13 years 6 months ago
2009
This paper proposes an approach aimed at obviating empty answers for a family of conjunctive queries involving Boolean or fuzzy value constraints. Contrary to the approaches based ...
CBMS
2009
IEEE
14 years 3 months ago
2009
IEEE
Automated medical diagnosis systems based on knowledge-oriented descriptions have gained momentum with the emergence of Semantic Descriptions. However, soundness and efficiency of...
AIMSA
2006
Springer
14 years 22 days ago
2006
Springer
Abstract. We present a novel, simple, unsupervised method for characterizing the semantic relations that hold between nouns in noun-noun compounds. The main idea is to discover pre...
AAAI
2000
13 years 10 months ago
2000
We present an approach to building a verb lexicon compatible with WordNet but with explicitly stated syntactic and semantic information, using Levin verb classes to systematically...