Search results: Found 10

Listing 1 - 10 of 10
Sort by
Constructicography: Constructicon development across languages

Authors: --- --- ---
Book Series: Constructional Approaches to Language ISSN: 1573-594x ISBN: 9789027201003 9789027263865 Year: Volume: 22 Pages: 321 DOI: 10.1075/cal.22 Language: English
Publisher: John Benjamins Publishing Company
Subject: Linguistics
Added to DOAB on : 2018-07-16 15:28:00
License:

Loading...
Export citation

Choose an application

Abstract

In constructionist theory, a constructicon is an inventory of constructions making up the full set of linguistic units in a language. In applied practice, it is a set of construction descriptions – a “dictionary of constructions”. The development of constructicons in the latter sense typically means combining principles of both construction grammar and lexicography, and is probably best characterized as a blend between the two traditions. We call this blend constructicography.The present volume is a comprehensive introduction to the emerging field of constructicography. After a general introduction follow six chapters presenting constructicon projects for English, German, Japanese, Brazilian Portuguese, Russian, and Swedish, respectively, often in relation to a framenet of the language. In addition, there is a chapter addressing the interplay between linguistics and language technology in constructicon development, and a final chapter exploring the prospects for interlingual constructicography.This is the first major publication devoted to constructicon development and it should be particularly relevant for those interested in construction grammar, frame semantics, lexicography, the relation between grammar and lexicon, or linguistically informed language technology.

Inquisitive Semantics

Authors: --- ---
Book Series: Oxford Surveys in Semantics and Pragmatics ISBN: 9780198814788 Year: Pages: 240 DOI: 10.1093/oso/9780198814788.001.0001 Language: English
Publisher: Oxford University Press
Subject: Philosophy --- Linguistics
Added to DOAB on : 2019-05-14 11:21:02
License:

Loading...
Export citation

Choose an application

Abstract

There is an age-old tradition in linguistics and philosophy to identify the meaning of a entence with its truth-conditions. This can be explained by the fact that linguistic and philosophical investigations are usually carried out in a logical framework that was originally designed to characterize valid reasoning. Indeed, in order to determine whether an argument is valid, it suffices to know the truth-conditions of the premises and conclusion. However, argumentation is neither the sole, nor the primary function of language. One task that language more widely and ordinarily fulfils is to enable the exchange of information between conversational participants. Inquisitive semantics is a new logical framework for the analysis of this fundamental usage of language. Information exchange can be seen as a process of raising and resolving issues. Inquisitive semantics provides a new formal notion of issues, which makes it possible to model various concepts that are crucial for the analysis of linguistic information exchange in a more refined and more principled way than has been possible in previous frameworks. This book provides a detailed exposition of inquisitive semantics, and demonstrates its benefits with a range of applications in the semantic analysis of questions, coordination, modals, conditionals, and intonation.

Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Authors: ---
Book Series: Theoretical Computer Science and General Issues ISBN: 9783319893624 9783319893631 Year: Volume: 10802 Pages: 357 DOI: https://doi.org/10.1007/978-3-319-89363-1 Language: English
Publisher: Springer Grant: ETAPS e.V.
Subject: Computer Science
Added to DOAB on : 2018-06-28 17:40:03
License:

Loading...
Export citation

Choose an application

Abstract

This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections named: model-based software development; distributed program and system analysis; software design and verification; specification and program testing; family-based software development.

Language Technologies for the Challenges of the Digital Age: 27th International Conference, GSCL 2017, Berlin, Germany, September 13-14, 2017, Proceedings

Authors: ---
Book Series: Lecture Notes in Artificial Intelligence ISSN: 0302-9743 ISBN: 9783319737058 9783319737065 Year: Volume: 10713 Pages: 310 DOI: https://doi.org/10.1007/978-3-319-73706-5 Language: English
Publisher: Springer Grant: Bundesministerium für Bildung und Forschung (BMBF)
Subject: Linguistics --- Education --- Technology (General)
Added to DOAB on : 2018-06-29 12:25:05
License:

Loading...
Export citation

Choose an application

Abstract

This open access volume constitutes the refereed proceedings of the 27th biennial conference of the German Society for Computational Linguistics and Language Technology, GSCL 2017, held in Berlin, Germany, in September 2017, which focused on language technologies for the digital age. The 16 full papers and 10 short papers included in the proceedings were carefully selected from 36 submissions. Topics covered include text processing of the German language, online media and online content, semantics and reasoning, sentiment analysis, and semantic web description languages.

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Authors: ---
Book Series: Theoretical Computer Science and General Issues ISSN: 0302-9743 ISBN: 9783319893655 9783319893662 Year: Pages: 583 DOI: https://doi.org/10.1007/978-3-319-89366-2 Language: English
Publisher: Springer Grant: ETAPS e.V.
Subject: Computer Science
Added to DOAB on : 2018-06-26 16:52:58
License:

Loading...
Export citation

Choose an application

Abstract

This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections named: semantics; linearity; concurrency; lambda-calculi and types; category theory and quantum control; quantitative models; logics and equational theories; and graphs and automata.

Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Authors: ---
Book Series: Security and Cryptology ISBN: 9783319897219 9783319897226 Year: Volume: 10804 Pages: 347 DOI: https://doi.org/10.1007/978-3-319-89722-6 Language: English
Publisher: Springer Grant: ETAPS e.V.
Subject: Computer Science
Added to DOAB on : 2018-06-29 14:49:22
License:

Loading...
Export citation

Choose an application

Abstract

This book constitutes the proceedings of the 7th International Conference on Principles of Security and Trust, POST 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 13 papers presented in this volume were carefully reviewed and selected from 45 submissions. The papers are organized in topical sections named: information flow and non-intereference; leakage, information flow, and protocols; smart contracts and privacy; firewalls and attack-defense trees.

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Author:
Book Series: Theoretical Computer Science and General Issues Series ISBN: 9783319898834 9783319898841 Year: Volume: 10801 Pages: 1058 DOI: https://doi.org/10.1007/978-3-319-89884-1 Language: English
Publisher: Springer Grant: ETAPS e.V.
Subject: Computer Science
Added to DOAB on : 2018-06-29 15:05:43
License:

Loading...
Export citation

Choose an application

Abstract

This book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The papers are organized in topical sections named: language design; probabilistic programming; types and effects; concurrency; security; program verification; program analysis and automated verification; session types and concurrency; concurrency and distribution; and compiler verification.

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Authors: ---
Book Series: Theoretical Computer Science and General Issues ISBN: 9783319899596 9783319899602 Year: Volume: 10805 Pages: 429 DOI: https://doi.org/10.1007/978-3-319-89960-2 Language: English
Publisher: Springer Grant: ETAPS e.V.
Subject: Computer Science
Added to DOAB on : 2018-07-19 14:22:46
License:

Loading...
Export citation

Choose an application

Abstract

The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The total of 43 full and 11 short papers presented in these volumes was carefully reviewed and selected from 154submissions. The papers are organized in topical sections as follows:Part I: theorem proving; SAT and SMT I; deductive verification; software verification and optimization; model checking; and machine learning.Part II: concurrent and distributed systems; SAT and SMT II; security and reactive systems; static and dynamic program analysis; hybrid and stochastic systems; temporal logic and mu-calculus; 7th Competition on Software Verification – SV-COMP.

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Authors: ---
Book Series: Theoretical Computer Science and General Issues ISBN: 9783319899626 9783319899633 Year: Volume: 10806 Pages: 465 DOI: https://doi.org/10.1007/978-3-319-89963-3 Language: English
Publisher: Springer Grant: ETAPS e.V.
Subject: Computer Science
Added to DOAB on : 2018-07-19 14:26:47
License:

Loading...
Export citation

Choose an application

Abstract

The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The total of 43 full and 11 short papers presented in these volumes was carefully reviewed and selected from 154submissions. The papers are organized in topical sections as follows:Part I: theorem proving; SAT and SMT I; deductive verification; software verification and optimization; model checking; and machine learning.Part II: concurrent and distributed systems; SAT and SMT II; security and reactive systems; static and dynamic program analysis; hybrid and stochastic systems; temporal logic and mu-calculus; 7th Competition on Software Verification – SV-COMP.

Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

Authors: ---
Book Series: Theoretical Computer Science and General Issues ISBN: 9783319699523 9783319699530 Year: Volume: 10776 Pages: 293 DOI: https://doi.org/10.1007/978-3-319-69953-0 Language: English
Publisher: Springer Grant: National Supercomputing Centre (NSCC), Singapore
Subject: Computer Science
Added to DOAB on : 2018-07-20 15:24:25
License:

Loading...
Export citation

Choose an application

Abstract

It constitutes the refereed proceedings of the 4th Asian Supercomputing Conference, SCFA 2018, held in Singapore in March 2018. Supercomputing Frontiers will be rebranded as Supercomputing Frontiers Asia (SCFA), which serves as the technical programme for SCA18. The technical programme for SCA18 consists of four tracks: Application, Algorithms & LibrariesProgramming System SoftwareArchitecture, Network/Communications & ManagementData, Storage & VisualisationThe 20 papers presented in this volume were carefully reviewed nd selected from 60 submissions.

Listing 1 - 10 of 10
Sort by
Narrow your search

Publisher

Springer (8)

John Benjamins Publishing Company (1)

Oxford University Press (1)


License

CC by (8)

CC by-nc-nd (2)


Language

english (10)


Year
From To Submit

2018 (10)