Results 251 to 260 of about 2,273,730 (292)
Some of the next articles are maybe not open access.
A Structure for Dependability Arguments
2010How should a software system be verified? Much research is currently focused on attempts to show that code modules meet their specifications. This is important, but bugs in code are not the weakest link in the chain. The larger problems are identifying and articulating critical properties, and ensuring that the components of a system - not only ...
Daniel Jackson 0001, Eunsuk Kang
openaire +1 more source
2023
AbstractThe chapter is concerned, on the one hand, with the meaning of interactives. It is argued that interactives have both an expressive and a descriptive meaning component, that they are depictions rather than descriptions, and that they show a number of similarities to gestures.
openaire +2 more sources
AbstractThe chapter is concerned, on the one hand, with the meaning of interactives. It is argued that interactives have both an expressive and a descriptive meaning component, that they are depictions rather than descriptions, and that they show a number of similarities to gestures.
openaire +2 more sources
2007
Recent developments in the generative tradition have created new interest in matters of argument structure and argument projection, giving prominence to the discussion on the role of lexical entries. Particularly, the more traditional lexicalist view that encodes argument structure information on lexical entries is now challenged by a syntactic view ...
Reuland, E.J. +2 more
openaire +4 more sources
Recent developments in the generative tradition have created new interest in matters of argument structure and argument projection, giving prominence to the discussion on the role of lexical entries. Particularly, the more traditional lexicalist view that encodes argument structure information on lexical entries is now challenged by a syntactic view ...
Reuland, E.J. +2 more
openaire +4 more sources
On Strategic Argument Selection in Structured Argumentation Systems
2011This paper deals with strategical issues of arguing agents in a multi-agent setting. We investigate different scenarios of such argumentation games that differ in the protocol used for argumentation, i.e. direct, synchronous, and dialectical argumentation protocols, the awareness that agents have on other agents beliefs, and different settings for the ...
Matthias Thimm, Alejandro Javier García
openaire +1 more source
2021
Content description Argumentation advanced by a doctor or a patient in medical consultations consists in the simplest case of just one single argument, but can also have a more complex structure.
openaire +1 more source
Content description Argumentation advanced by a doctor or a patient in medical consultations consists in the simplest case of just one single argument, but can also have a more complex structure.
openaire +1 more source
2014
While the argument structure of verbs has long been a central issue in linguistic research of all varieties and continues to be a vexed area of research across a wide range of theoretical and empirical approaches, the inter-disciplinary perspective and dialogue remain largely under explored.
openaire +1 more source
While the argument structure of verbs has long been a central issue in linguistic research of all varieties and continues to be a vexed area of research across a wide range of theoretical and empirical approaches, the inter-disciplinary perspective and dialogue remain largely under explored.
openaire +1 more source
1991
This book is about systems methodology, and therefore it might be well to start by saying something about the meaning of the terms methodology and systems.
openaire +1 more source
This book is about systems methodology, and therefore it might be well to start by saying something about the meaning of the terms methodology and systems.
openaire +1 more source
2017
Abstract Chapter 5 develops the workings of the four basic rhetorical operators in argumentation and in logic, which give rise to the basic logical connectives we recognize from logic textbooks. Argumentation can deal with questions (ad rem) or bear on the questioners themselves (ad hominem).
openaire +1 more source
Abstract Chapter 5 develops the workings of the four basic rhetorical operators in argumentation and in logic, which give rise to the basic logical connectives we recognize from logic textbooks. Argumentation can deal with questions (ad rem) or bear on the questioners themselves (ad hominem).
openaire +1 more source