5378 search results - page 82 / 1076 » Base Logics in Argumentation |
160
click to vote
ICCAD
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, we present a new approach to the problem of inverter elimination in domino logic synthesis. A small piece of static CMOS logic is introduced to the circuit to avoid...
168
click to vote
ISIPTA
2005
IEEE
15 years 11 months ago
2005
IEEE
This article presents a probabilistic logic whose sentences can be interpreted as asserting the acceptability of gambles described in terms of an underlying logic. This probabilis...
158
click to vote
ISMIS
2005
Springer
15 years 11 months ago
2005
Springer
Deontic logic is appropriate to model a wide variety of legal arguments, however this logic suffers form certain paradoxes of which the so-called Chisholm is one of the most notor...
167
click to vote
EON
2008
15 years 7 months ago
2008
One of the arguments for choosing description logics as the basis for the Web Ontology Language is the ability to support the development of complex ontologies through logical reas...
171
click to vote
LMCS
2006
15 years 5 months ago
2006
It is well known that the resolution method (for propositional logic) is complete. However, completeness proofs found in the literature use an argument by contradiction showing tha...