In order to argue effectively one must have a grasp of both the normative strength of the inferences that come into play and the effect that the proposed inferences will have on the audience. In this paper we describe a program, NAG (Nice Argument Generator), that attempts to generate arguments that are both persuasive and correct. To do so NAG incorporates two models: a normative model, for ju...

The BankXX system models the process of perusing and gathering information for argument as a heuristic best-first search for relevant cases, theories, and other domain-specific information. As BankXX searches its heterogeneous and highly interconnected network of domain knowledge, information is incrementally analyzed and amalgamated into a dozen desirable ingredients for argument (called argum...

Bootle et al. (EUROCRYPT 2016) construct an extremely efficient zero-knowledge argument for arithmetic circuit satisfiability in the discrete logarithm setting. However, the argument does not treat relations involving commitments, and furthermore, for simple polynomial relations, the complex machinery employed is unnecessary. In this work, we give a framework for expressing simple relations bet...

The goal of this paper is to discuss how adaptive search systems should be evaluated. We argue that a state-of-the art evaluation of adaptive search systems should follow a “layered evaluation” approach. To support and explain this argument we describe how layered approach was applied to evaluation of adaptive search component of Knowledge Sea II system that is powered by a social navigation su...

This paper surveys current notions of social and cultural presence as they may help the evaluation of cultural heritage projects. We argue that cultural heritage requires specialized evaluation, as key issues both connect and separate the aims of presence researchers and cultural heritage experts. To support this argument, three case studies of virtual heritage evaluations are summarized, and r...

The Doomsday Argument and the Simulation Argument share certain structural features, and hence are often discussed together (Bostrom 2003, Are you living in a computer simulation, Philosophical Quarterly, 53:243–255; Aranyosi 2004, The Doomsday Simulation Argument. Or why isn’t the end nigh, and you’re not living in a simulation, http://philsci-archive.pitt.edu/190/; Richmond 2008, Doomsday, Bi...

the contraposition (musāmita) argument is among the arguments for proving the finitude of dimensions that has received attention in discussing physics and has yielded some philosophical consequences. contraposition argument is based on the two concepts of motion and contraposition, and by proving the impossibility of the motion of circle in case of the infinitude of dimensions, it deals with th...

This short paper presents a first implementation of a knowledge-driven argument mining approach. The major processing steps and language resources of the system are surveyed. An indicative evaluation outlines challenges and improvement directions.