Sage Journals: Discover world-class research

Open access

Research article

First published 2015-1-2

Senses of ‘argument’ in instantiated argumentation frameworks †

Adam Wyner, Trevor Bench-Capon, Paul Dunne [...]

Argument & Computation

Retricted access

Research article

First published 2009-10

Instruction Sequences with Dynamically Instantiated Instructions

Jan A. Bergstra, Cornelis A. Middelburg

Fundamenta Informaticae

Retricted access

Research article

First published 2007-4

Refinement,Decomposition,and Instantiation of Discrete Models: Application to Event-B

Jean-Raymond Abrial, Stefan Hallerstede

Fundamenta Informaticae

Open access

Research article

First published 2021-6

Instantiation: Reconceptualising the role of technology as a carrier of organisational strategising

João Baptista, Alexander D Wilson, Robert D Galliers

Journal of Information Technology

Retricted access

Research article

First published 1979-5

Instantiation of Verbs

Alan Garnham

Quarterly Journal of Experimental Psychology

Free access

Research article

First published 1981-9

The Validity of the Instantiation Hypothesis

Mariam Jean Dreher, Harry Singer

Journal of Literacy Research

Free access

Research article

First published 1978-6

Instantiation of Word Meanings in Children

Richard C. Anderson, Kathleen C. Stevens, Zohara Shifrin [...]

Journal of Literacy Research

Retricted access

Research article

First published 1983-5

Instantiation in Skilled and Less Skilled Comprehenders

Jane Oakhill

Quarterly Journal of Experimental Psychology

Open access

Research article

First published 2016-7-5

Working on the argument pipeline: Through flow issues between natural language argument,instantiated arguments,and argumentation frameworks

Adam Wyner, Tom van Engers, Anthony Hunter

Argument & Computation

Open access

Research article

First published 2007-2

Disequality Management in Integer Difference Logic via Finite Instantiations 1

Hyondeuk Kim, Hoonsang Jin, Fabio Somenzi

Journal on Satisfiability,Boolean Modelling and Computation

Search results