2611 search results - page 187 / 523 » A Logic for Concepts and Similarity |
114
click to vote
INFOCOM
2009
IEEE
15 years 8 months ago
2009
IEEE
: Given a logical topology and a physical topology , the survivable logical topology design problem in an IP-overWDM optical network is to map the logical links into lightpaths in ...
133
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We consider an extension of bi-intuitionistic logic with the traditional modalities , , and from tense logic Kt. Proof theoretically, this extension is obtained simply by extendin...
122
click to vote
JUCS
2006
15 years 1 months ago
2006
Abstract: Multi-adjoint logic programming represents a very recent, extremely flexible attempt for introducing fuzzy logic into logic programming. In this setting, the execution of...
119
click to vote
ISSTA
2004
ACM
15 years 7 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
130
click to vote
SEMWEB
2007
Springer
15 years 8 months ago
2007
Springer
OntoDNA is an automated ontology mapping and merging system that utilizes unsupervised data mining methods, comprising of Formal Concept analysis (FCA), Self-Organizing map (SOM) a...