Argument structure patterns can be used to represent classes of safety arguments. Such patterns can become quite complex, making use of loops and choices, posing a potential challenge for comprehension and evaluation, offsetting the likely gains that might follow from creating arguments using them. We show how complex patterns can be constructed by composition of simpler patterns. We provide a ...

A conjecture of V. Sós [3] is proved that any set of 34 (n 3 ) + cn2 triples from an n-set, where c is a suitable absolute constant, must contain a copy of the Fano configuration (the projective plane of order two). This is an asymptotically sharp estimate. Given a 3-uniform hypergraph F , let ex3(n,F) denote the maximum possible size of a 3-uniform hypergraph of order n that does not contain a...

Suppose that a circular fire spreads in the plane at unit speed. A single fire fighter can build a barrier at speed v > 1. How large must v be to ensure that the fire can be contained, and how should the fire fighter proceed? We contribute two results. First, we analyze the natural curve FFv that develops when the fighter keeps building, at speed v, a barrier along the boundary of the expanding...

This article first argues that states have not balanced against US unipolar power because the potential balancers do not view the United States as a major threat, because they believe it has benign security-seeking motives, at least with regard to other major powers. This explanation runs counter to the Brooks–Wohlforth argument, which holds that states are not balancing because the magnitude o...

AIFdb Corpora provides a facility to group Argument Interchange Format (AIF) argument maps and search for maps that are related to each other (for example, analyses of related texts.) Users can create and share corpora containing any number of argument maps from within AIFdb. By integrating with the OVA+ analysis tool, AIFdb Corpora allows for the creation of corpora compliant with both AIF and...

Canonical subjects of eventive predicates are agentive and animate—so goes one of the over-arching, and idealized, generalizations of argument realization1. As robust as this generalization is, caveats are always made (e.g. Comrie 1989:107,128), in part due to a set of recalcitrant counter-examples, known as “instrumental subjects”, which violate this generalization on both counts. A paradigm c...

The paper describes the proper interpretation of the fiducial argument, as given by Fisher in (only) his first papers on the subject. It argues that far from being a quaint, little, isolated idea, this was the first attempt to build a bridge between aleatory probabilities (the only ones used by Neyman) and epistemic probabilities (the only ones used by Bayesians), by implicitly introducing, as ...

The Verb Argument Browser is a linguistically relevant corpus query tool, which can be used for investigating argument structure of verbs. The original tool was developed for Hungarian corpora but the methodology is claimed to be language independent because of the dependecy grammar based representation. This paper examines this language independency applying the methodology to a language with ...

While significant progress has been made in understanding the theoretical properties of different argumentation logics and in specifying argumentation dialogues, there remain major barriers to the development and practical deployment of argumentation systems. One of these barriers is the lack of a shared, agreed notation or “interchange format” for argumentation and arguments. In the last years...

religious experience argument is one of the most significant arguments in proving the existence of god in the west. swinburne – the theistic philosopher – has presented a particular exposition of this argument based on the specific principles he calls “credibility principle” and “witness principle”, which have attracted the attention of the philosophers of religion. it is attempted in this rese...