Sciweavers

5378 search results - page 121 / 1076
» Base Logics in Argumentation
Sort
View
DATE
1998
IEEE
121views Hardware» more  DATE 1998»
15 years 10 months ago
Fuzzy-logic digital-analogue interfaces for accurate mixed-signal simulation
A new approach to mixed-signal circuit interfacing based on fuzzy logic models is presented. Due to their continuous rather than discrete character, fuzzy logic models offer a sig...
Tom J. Kazmierski
DATE
2009
IEEE
123views Hardware» more  DATE 2009»
15 years 10 months ago
Novel library of logic gates with ambipolar CNTFETs: Opportunities for multi-level logic synthesis
This paper exploits the unique in-field controllability of the device polarity of ambipolar carbon nanotube field effect transistors (CNTFETs) to design a technology library with ...
M. Haykel Ben Jamaa, Kartik Mohanram, Giovanni De ...
LICS
2002
IEEE
15 years 11 months ago
Separation Logic: A Logic for Shared Mutable Data Structures
In joint work with Peter O’Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative pr...
John C. Reynolds
AAAI
1990
15 years 7 months ago
The Generalized Theory of Model Preference
In this paper we present a purely semantic view on non-monotonic reasoning. We follow the direction pointed in [16] and claim that any non-monotonic logic can be viewed as a resul...
Piotr Rychlik
DEON
2010
Springer
15 years 10 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...