4401 search results - page 243 / 881 » Computing with Default Logic |
123
click to vote
IJCAI
2007
15 years 6 months ago
2007
Numerous logics have been developed for reasoning about inconsistency which differ in (i) the logic to which they apply, and (ii) the criteria used to draw inferences. In this pap...
144
click to vote
LOGCOM
2007
15 years 5 months ago
2007
The syntactic approach to epistemic logic avoids the logical omniscience problem by taking knowledge as primary rather than as defined in terms of possible worlds. In this study, ...
169
click to vote
EUSFLAT
2009
15 years 3 months ago
2009
Abstract-- Planning resources for a supply chain is a major factor determining its success or failure. In this paper we introduce an Interval Type-2 Fuzzy Logic model of a distribu...
165
click to vote
ICCAD
2002
IEEE
16 years 2 months ago
2002
IEEE
Reversible, or information-lossless, circuits have applications in digital signal processing, communication, computer graphics and cryptography. They are also a fundamental requir...
164
click to vote
TLCA
2009
Springer
16 years 1 hour ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...