Sciweavers

1947 search results - page 30 / 390
» A presentation of Quantum Logic based on an
Sort
View
CORR
2004
Springer
119views Education» more  CORR 2004»
15 years 14 days ago
On Role Logic
We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of ...
Viktor Kuncak, Martin C. Rinard
173
Voted
DEON
2010
Springer
15 years 4 months ago
Avoiding Deontic Explosion by Contextually Restricting Aggregation
Abstract. In this paper, we present an adaptive logic for deontic conflicts, called P2.1r , that is based on Goble’s logic SDLaPe—a bimodal extension of Goble’s logic P that...
Joke Meheus, Mathieu Beirlaen, Frederik Van De Put...
105
Voted
EUSFLAT
2007
154views Fuzzy Logic» more  EUSFLAT 2007»
15 years 2 months ago
Resolution Strategies for Fuzzy Description Logic
The paper presents experimental comparison of several resolution strategies for reasoning in Fuzzy Description Logic based on Fuzzy Predicate Logic with evaluated syntax. Resoluti...
Hashim Habiballa
FPGA
2004
ACM
117views FPGA» more  FPGA 2004»
15 years 6 months ago
A magnetoelectronic macrocell employing reconfigurable threshold logic
In this paper, we introduce a reconfigurable fabric based around a new class of circuit element: the hybrid Hall effect (HHE) magnetoelectronic device. Because they incorporate a ...
Steve Ferrera, Nicholas P. Carter
ISCAS
2006
IEEE
122views Hardware» more  ISCAS 2006»
15 years 6 months ago
A new look at reversible memory elements
Abstract— Although many researchers are investigating techniques to synthesize reversible combinational logic, there is little work in the area of sequential reversible logic. We...
Jacqueline E. Rice