2611 search results - page 120 / 523 » A Logic for Concepts and Similarity |
104
click to vote
MICAI
2007
Springer
15 years 7 months ago
2007
Springer
In this paper some results are obtained regarding the existence and reachability of minimal fixed points for multiple-valued functions on a multilattice. The concept of inf-preser...
FLAIRS
2003
15 years 3 months ago
2003
This paper proposes a modelling of information security policies in the framework of possibilistic logic. Our modelling is based on the concept of roles associated with users. Acc...
CSL
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Graded path quantifiers have been recently introduced and investigated as a useful framework for generalizing standard existential and universal path quantifiers in the b...
107
click to vote
ENTCS
2000
15 years 1 months ago
2000
The coincidence between the model-theoretic and the procedural semantics of SLDresolution does not carry over to a Prolog system that also implements non-logical features like cut...
149
click to vote
DLOG
2011
14 years 5 months ago
2011
We propose an extension of SROIQ with nominal schemas which can be used like “variable nominal concepts” within axioms. This feature allows us to express arbitrary DL-safe rule...