Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
846
DiaLaw: Levels, Dialog Trees, Convincing Arguments
"... DiaLaw is a dialogical model of legal justification. An important characteristic of the formal and implemented model DiaLaw is that both logic-based arguments and mere convincing statements can be modelled. The support of both structural (logic-based) arguments and procedural arguments (mere convinc ..."
Abstract
- Add to MetaCart
DiaLaw is a dialogical model of legal justification. An important characteristic of the formal and implemented model DiaLaw is that both logic-based arguments and mere convincing statements can be modelled. The support of both structural (logic-based) arguments and procedural arguments (mere
Model Checking Programs
, 2003
"... The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it easier to experiment with mechanized formal methods such as theorem provers, proof checkers and model checkers. In this pape ..."
Abstract
-
Cited by 592 (63 self)
- Add to MetaCart
. In this paper we will attempt to give convincing arguments for why we believe it is time for the formal methods community to shift some of its attention towards the analysis of programs written in modern programming languages. In keeping with this philosophy we have developed a verification and testing
Cognitive consequences of forced compliance
- J. Abnormal Soc. Psych
, 1959
"... WHAT happens to a person's private opinion if he is forced to do or say something contrary to that opinion? Only recently has there been, any experimental work related to this question. Two studies reported by Janis and King (1954; 1956) clearly showed that, at least under some conditions, the ..."
Abstract
-
Cited by 330 (1 self)
- Add to MetaCart
and thinking up new arguments. Inthisway, they propose, theperson who is forced to improvise a speech convinces himself. They present some evidence, which is not altogether conclusive, in support of this explanation. We will have more to say concerning this explanation in discussing the results of our
Argumentation
"... Abstract—Safety assurance and certification are amongst the most expensive and time-consuming tasks in the development of critical systems. Compliance with safety standards involves providing convincing evidence that the system is safe to use according to the criteria of the standards. Oftentimes, s ..."
Abstract
- Add to MetaCart
Abstract—Safety assurance and certification are amongst the most expensive and time-consuming tasks in the development of critical systems. Compliance with safety standards involves providing convincing evidence that the system is safe to use according to the criteria of the standards. Oftentimes
BIDE: Efficient Mining of Frequent Closed Sequences
"... Previous studies have presented convincing arguments that a frequent pattern mining algorithm should not mine all frequent patterns but only the closed ones because the latter leads to not only more compact yet complete result set but also better efficiency. However, most of the previously developed ..."
Abstract
-
Cited by 160 (12 self)
- Add to MetaCart
Previous studies have presented convincing arguments that a frequent pattern mining algorithm should not mine all frequent patterns but only the closed ones because the latter leads to not only more compact yet complete result set but also better efficiency. However, most of the previously
Computationally convincing proofs of knowledge (Extended Abstract)
- Proc. of the 8th STACS
, 1991
"... this paper, we give a more general definition, which is capable of taking into account very adversarial behaviour from the prover. We also prove that constant-round arguments for NP-- ..."
Abstract
-
Cited by 7 (0 self)
- Add to MetaCart
this paper, we give a more general definition, which is capable of taking into account very adversarial behaviour from the prover. We also prove that constant-round arguments for NP--
How convinced should we be by negative evidence
- Proceedings of the Annual Conference of the Cognitive Science Society
, 2005
"... Since John Locke, the so-called argument from ignorance has been considered to be a fallacy, and is widely represented in informal logic textbooks as an example of incorrect reasoning. This might seem surprising to researchers in many scientific disciplines who routinely draw inferences from negativ ..."
Abstract
-
Cited by 10 (6 self)
- Add to MetaCart
Since John Locke, the so-called argument from ignorance has been considered to be a fallacy, and is widely represented in informal logic textbooks as an example of incorrect reasoning. This might seem surprising to researchers in many scientific disciplines who routinely draw inferences from
Reasoning, Argumentation and Rationality
"... Recent “argumentative approaches ” in the study of reasoning are deemed by many to offer the most promising avenue in this field. Such approaches provide good theoretical grounds for the idea that reasoning is argumentative in nature and a large body of evidence supporting it. My aim here is to exam ..."
Abstract
- Add to MetaCart
between reasoning and argumentation to the fact that reasoning produces convincing arguments, these approaches mainly highlight reasoning’s persuasive and therefore instrumental function. I then conclude by proposing an alternative argumentative conception of rationality, outlined by Paul Grice
Will Moral, Ethical and Legal Arguments
"... Space has long been militarised but not yet weaponized. This paper argues that space weaponization is inevitable and that moral, ethical and legal arguments will not prevent it. Information drawn from contemporary academic literature has been used to frame the current debate regarding weaponization. ..."
Abstract
- Add to MetaCart
. Pro-weaponizers would agree that military utility is the most convincing argument for placing weapons in the ‘ultimate high ground’. Pro-sanctuary lobbyists employ various arguments against weaponization but all would seek to achieve this through international treaties. This paper argues
Using Argumentation to Control Lexical Choice: A Functional Unification Implementation
, 1992
"... This thesis investigates the impact of the pragmatic situation on surface generation. It presents new surface generation techniques that improve on both aspects of surface generation: (1) lexical choice, which consists of choosing words and their associated syntactic structures and (2) syntactic rea ..."
Abstract
-
Cited by 100 (8 self)
- Add to MetaCart
sensitivity to pragmatic factors than was previously possible. Specifically, this research focuses on the impact on lexical choice of one part of the pragmatic situation: the speaker’s argumentative intent, i.e., the goal of the speaker to convince the hearer of a certain conclusion. The argumentative intent
Results 1 - 10
of
846
