2611 search results - page 105 / 523 » A Logic for Concepts and Similarity |
109
click to vote
LOGCOM
2006
15 years 1 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics. It is well-known that various hybrid logics without binders are decidable, but decision p...
109
Voted
WADT
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. The conditions under which a formal system for reasoning about structural specifications, built over one logical system could be reused for reasoning about structured spe...
112
click to vote
PODS
1990
ACM
15 years 5 months ago
1990
ACM
Previous researchers have proposed generalizations of Horn clause logic to support negation and nondeterminism as two separate extensions. In this paper, we show that the stable m...
111
click to vote
COMPSAC
2008
IEEE
15 years 3 months ago
2008
IEEE
The formal specification of design patterns is widely recognised as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
104
click to vote
JOLLI
2006
15 years 1 months ago
2006
Applying the programming-language concept of continuations, we propose a new multimodal analysis of quantification in Type Logical Grammar. Our approach naturally gives rise to a n...