8228 search results - page 383 / 1646 » Structural Logical Relations |
206
click to vote
FUIN
2010
15 years 4 months ago
2010
Abstract. Developing a good formalism and an efficient decision procedure for the instance checking problem is desirable for practical application of description logics. The data c...
182
click to vote
VLSID
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— This paper introduces a fuzzy logic based guidance architecture to a graph grammar framework for automated design of analog circuits. The grammar generates circuit topo...
171
click to vote
FPGA
2009
ACM
16 years 1 months ago
2009
ACM
In recent years, the maximum logic capacity of each successive FPGA family has been increasing by more than 50%, which motivates scalable solutions. Meanwhile, academic research i...
171
click to vote
SEMWEB
2007
Springer
16 years 28 days ago
2007
Springer
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. Fuzzy Description Logics were born to represent the former type of knowledge, but ...
172
click to vote
ECSQARU
2005
Springer
16 years 10 days ago
2005
Springer
Semi-revision is a model of belief change that differs from revision in that a new formula is not always accepted. Later, Fuhrmann defined multiple semi-revision by replacing a n...