4978 search results - page 127 / 996 » Logical models of argument |
129
Voted
VLSID
2007
IEEE
16 years 4 months ago
2007
IEEE
Accurate electrical masking modeling represents a significant challenge in soft error rate analysis for combinational logic circuits. In this paper, we use table lookup MOSFET mode...
125
Voted
EXACT
2007
15 years 6 months ago
2007
Given a model and a property expressed in temporal logic, a model checker normally produces a counterexample in case the model does not satisfy the property. This counterexample i...
120
click to vote
ICANN
2009
Springer
15 years 10 months ago
2009
Springer
We propose to model human reasoning tasks using completed logic programs interpreted under the three-valued Lukasiewicz semantics. Given an appropriate immediate consequence operat...
139
click to vote
CICLING
2010
Springer
15 years 19 days ago
2010
Springer
Abstract. Human-like holder plays an important role in identifying actual emotion expressed in text. This paper presents a baseline followed by syntactic approach for capturing emo...
LPAR
2005
Springer
15 years 9 months ago
2005
Springer
In [2] Gentzen calculi for intuitionistic logic extended with an existence predicate were introduced. Such logics were first introduced by Dana Scott, who provided a proof system ...