DE eng

Search in the Catalogues and Directories

Hits 1 – 13 of 13

1
Logical reasoning with diagrams & sentences using Hyperproof
Barker-Plummer, Dave; Akhter, Murad (Mitwirkender); Etchemendy, John. - Stanford : CSLI Publications, 2017
BLLDB
UB Frankfurt Linguistik
Show details
2
Using edit distance to analyse errors in a natural language to logic translation corpus
Barker-Plummer, Dave; Dale, Robert; Cox, Richard. - : International Educational Data Mining Society, 2012
BASE
Show details
3
Using edit distance to analyse errors in a natural language to logic translation corpus
BASE
Show details
4
The Impact of Syntax on the Interpretation and Graphical Depiction of Underspecified Propositions
Kalb, Aaron; Barker-Plummer, Dave; Cox, Richard. - : Lawrence Erlbaum, 2010
BASE
Show details
5
Tarski's world
Etchemendy, John; Barwise, Jon; Barker-Plummer, Dave. - Stanford, Calif. : Center for the Study of Language and Information, 2008
BLLDB
UB Frankfurt Linguistik
Show details
6
Graphical revelations: Comparing students' translation errors in graphics and logic.
BASE
Show details
7
An Empirical Study of Errors in Translating Natural Language into Logic
Barker-Plummer, Dave; Cox, Richard; Dale, Robert. - : Cognitive Science Society, 2008
BASE
Show details
8
Diagrams 2006 - Fourth International Conference on the Theory and Applications of Diagrams (Lecture Notes in Computer Science 4045, Springer)
Barker-Plummer, Dave; Cox, Richard; Swoboda, Nik. - : Springer Verlag, 2006
Abstract: Diagrams 2006 is the fourth event in this conference series, which was launched in Edinburgh in September 2000, and which has emerged as the major international conference on this topic. For Diagrams 2006 we especially solicited papers in the area of Diagrams and Education - a topic that includes uses of diagrams in all subject areas and phases of education from primary schools to professional development, and which also concerns education for diagrammatic literacy. The call for papers for Diagrams 2006 solicited contributions of full papers, extended abstracts and tutorial proposals. Submissions were received from authors representing both academia and industry, twenty-three countries, % affiliation countries in submissions ()=double affiliation % Australia Austria Brazil Canada China France Germany Hungary India % Israel Italy Japan Korea Mexico Netherlands New_Zealand Norway % (Philippines) Poland (Spain) Taiwan UK USA and disciplines including: % Computer Science % Engineering % Division of Interactive and Intelligent Computing\\\\% NASA Ames Research Center % Department of Media Studies % Department of Spatial Information Science and Engineering \\\\% National Center for Geographic Information and Analysis\\\\% Department of Mathematical Sciences % Department of Informatics % Department of Education % Department of Educational Psychology % The Faculty of Physics, Astronomy and Applied Computer Science % Telematics % Department of Mathematics and Informatics % Department of Psychology \\\\% Engineering Design Centre % Faculty of Culture and Information Science\\\\% Naval Research Laboratory % Informatics % Psychology and Human Development % Philosophy % Department of Humanities Computing % Research group on Mathematical Linguistics % Graduate School of Computational Design % Graduate school of Information, Productions and Systems % IBM % Information Technology % Amazon aerospace,computer and information science, education, engineering, geographical and spacial information science linguistics, mathematics, philosophy, psychology and telecommunications. Submissions were reviewed by a distinguished international program committee with members from ten countries. Each submission was peer-reviewed by three members of the program committee or by reviewers that they nominated. This labor-intensive process was designed to ensure that only the submissions with the greatest technical merit, clearest communication, and widest interest were included in the conference. By this process we sought to maintain the quality and multidisciplinary balance characteristic of the conference series. Keeping to the high standards of previous Diagrams conferences, the acceptance rate for full papers was about 30\\\\% (thirteen papers), and that for extended abstracts 60\\\\% (twenty-two abstracts). Nine submissions chosen from the best of the extended abstracts
URL: http://sro.sussex.ac.uk/id/eprint/23771/
http://www.springerlink.com/content/g76k15hx6213/?p=60fc09245e894d0e856d34166142f3cd&pi=1110
BASE
Hide details
9
Diagrammatic reasoning : editorial introduction
In: Words, proofs, and diagrams (Stanford, 2002), p. 1-4
MPI für Psycholinguistik
Show details
10
Words, proofs, and diagrams
Tiede, Hans-Joerg (Mitarb.); Lemon, Oliver (Mitarb.); Koller, Alexander (Mitarb.). - Stanford, Calif. : Univ., Center for the Study of Language and Information, 2002
BLLDB
UB Frankfurt Linguistik
Show details
11
Words, proofs, and diagrams
MPI für Psycholinguistik
Show details
12
Z-match: An Inference Rule for Incrementally Elaborating Set Instantiations (J. Automated Reasoning 11, 391-428, 1993)
In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 12 (1994) 3, 411-412
OLC Linguistik
Show details
13
L-match: An Inference Rule for Incrementally Elaborating Set Instantiations
In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 11 (1993) 3, 391-428
OLC Linguistik
Show details

Catalogues
3
0
2
0
0
0
0
Bibliographies
3
0
0
0
0
0
0
0
2
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
6
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern