Info
Formal Approaches to Semantics and Pragmatics : Japanese and Beyond / / edited by Elin McCready, Katsuhiko Yabushita, Kei Yoshimoto
| Formal Approaches to Semantics and Pragmatics : Japanese and Beyond / / edited by Elin McCready, Katsuhiko Yabushita, Kei Yoshimoto |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (376 p.) |
| Disciplina | 401.4 |
| Collana | Studies in Linguistics and Philosophy |
| Soggetto topico |
Semantics
Pragmatism |
| ISBN | 94-017-8813-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction -- 2. The Noncooperative Basis of Implicatures -- 3. Meta-Lambda-Calculus: Syntax and Semantics -- 4. Coordinating and Subordinating Binding Dependencies -- 5. What is a universal? On the explanatory potential of evolutionary game theory in linguistics -- 6. Continuation Hierarchy and Quantifier Scope -- 7. Japanese Reported Speech: Towards an account of perspective shift as mixed quotation -- 8. What is Evidence in Natural Language? -- 9. A Categorial Grammar Account of Information Packaging in Japanese -- 10. A Note on the Projection of Appositives -- 11. Towards Computational Non-Associative Lambek Lambda-Calculi for Formal Pragmatics -- 12. On the functions of the Japanese discourse particle yo in declaratives -- 13. A Question of Priority -- 14.Measurement-Theoretic Foundations of Dynamic Epistemic Preference Logic -- 15. A Modal Scalar-Presuppositional Analysis of Only -- 16. Floating Quantifiers in Japanese as Adverbial Anaphora. |
| Record Nr. | UNINA-9910484952303321 |
| Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic and Engineering of Natural Language Semantics : 20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected Papers
| Logic and Engineering of Natural Language Semantics : 20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected Papers |
| Autore | Bekki Daisuke |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Cham : , : Springer, , 2024 |
| Descrizione fisica | 1 online resource (363 pages) |
| Altri autori (Persone) |
MineshimaKoji
McCreadyElin |
| Collana | Lecture Notes in Computer Science Series |
| ISBN | 3-031-60878-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- LENLS 20: Twenty Years of Logic and Language -- Organization -- Contents -- Putting the Argumentative Perspective Under Discussion - QUD vs. Argumentative Goals -- 1 The Argumentative Perspective on Language -- 2 QUD and Argumentative Goals -- 3 At-Issueness and Argumentation -- 4 Projective Content in Argumentation -- 5 A Revised Typology of Meaning -- References -- Perspective and the Self in Experiential Attitude Reports -- 1 Background -- 2 The Challenge from Observer Experiences -- 3 Capturing Perspectivity -- 4 De se-ness and Outside Imagining -- 5 Conclusion -- References -- Negation and Information Structure in Tree-Wrapping Grammar -- 1 Introduction -- 1.1 `Types' of Negation -- 1.2 Focus and Negation -- 2 Natural Language Negation and Pragmatic Structuring -- 3 Formal Modeling -- 3.1 Role and Reference Grammar -- 3.2 Formal Specification of the Grammar -- 3.3 Negation in Formalized RRG Using TWG -- 4 Further Phenomena -- 4.1 Denial and Correction -- 4.2 Negation and Morphosyntactic Restrictions -- 5 Conclusions -- References -- Towards a Theory of Anaphoric Binding in Event Semantics -- 1 Introduction -- 2 Polynomial Event Semantics: Brief Reminder -- 3 Polyconcepts in Context: Relative Denotations -- 4 Nominal Pronouns and Referents -- 4.1 Bound Variable Anaphora -- 5 Related Work -- 6 Conclusions and Future Work -- References -- Matrix and Relative Weak Crossover on the Level of the Individual: An Experimental Investigation -- 1 Introduction -- 2 Background -- 2.1 Dependent Type Semantics -- 2.2 The LFS Method -- 3 Design of Experiment -- 3.1 Forms of Sentences -- 3.2 X and Y for BVA(X, Y) -- 3.3 The Method of Conveying Interpretations -- 3.4 Further Details -- 4 Results -- 5 Conclusion -- References -- Additivity in Attention Semantics -- 1 Introduction -- 2 The Base Case of Obligatory Additive Marking.
3 Implicature-Based Accounts and Problematic Cases -- 4 Proposal -- 4.1 Attention Semantics and Pragmatics -- 4.2 State-Based Semantics -- 4.3 Lexical Specifications for the Attention Dimension -- 4.4 Discourse Management -- 4.5 Conversational Maxims -- 4.6 Answerability -- 5 Predictions -- 5.1 The `At Least' Case (5) -- 5.2 The Indefinite Case (6) -- 5.3 The Conjunction Case (8) -- 6 Conclusion -- References -- Extending Abstract Categorial Grammars with Feature Structures: Theory and Practice -- 1 Introduction -- 1.1 Abstract Categorial Grammar -- 1.2 Morphosyntax and Grammars -- 2 Proposed Extension -- 2.1 Modeling Feature Structures -- 2.2 Extended Abstract Categorial Grammar -- 3 Theoretical Results -- 3.1 Expressive Power -- 3.2 Parsing -- 4 Experimental Results -- 4.1 Grammar Factorization -- 4.2 Text Generation Performances -- 4.3 Conclusion -- References -- An Overt Operator Associating with Covert Focus: An Even-Like Semantics for Mandarin Gèng -- 1 Introduction -- 2 Motivating an Even-Like Analysis for Gèng's Combination with Non-gradable Predicates -- 3 Pursuing an Analysis of Even-Like Particles: Two Competing Proposals of English Even -- 3.1 The Likelihood-Based Account -- 3.2 Greenbeg's ch8Greenberg2018 Degree-Based Account -- 4 Our Proposal for Gèng's Combination with Non-gradable Predicates: An Even-Like Particle à la ch8Greenberg2018's Even -- 5 Extending Our Even-Like Proposal (19) to Gèng's Combination with Gradable Adjectives -- 5.1 Two Independently Motivated Assumptions -- 5.2 Proposal: Gèng Associating with Covert COMP -- 6 A Prediction: Superlative Force of Gèng -- 7 Gèng vs. Shènzhì: Parametric Variation -- 8 Conclusion -- References -- Internal Reading and Reciprocity -- 1 Introduction -- 2 Formal Preliminaries -- 3 Basic Formal Framework for Reciprocal Items -- 4 Further Refinements of the Framework. 4.1 Reciprocal Items in Non-Object Positions -- 4.2 Conjoined Phrases Containing Reciprocal Items -- 4.3 Downward Monotonic and Non-monotonic GQs -- 4.4 Weaker Reciprocal Meaning -- 4.5 Non-NP Triggers -- 5 Conclusion -- References -- Dot-to-Dot Semantic Representation -- 1 Introduction -- 2 Background and Examples -- 3 Steps for Deriving the Analysis -- 4 An Application: Querying the Text Based Encoding -- 5 Another Application: Assisting Old Japanese Annotation -- 6 Conclusion -- References -- Intonational Meaning at the Limits of Grammar -- 1 Overview -- 2 Prosodic Morphemes in English and Japanese -- 2.1 Final Rise/Fall in English and Japanese -- 2.2 Japanese Prosodic Morphemes and Pragmatic Particles -- 2.3 Expressive and Emotive Meaning in English Intonation -- 2.4 Compositionality of Intonation and SFPs -- 3 The Meaning of yo and yo -- 3.1 Premise and Expectation Management and yo -- 3.2 Formalism -- 3.3 Remarks on the Context Model -- 3.4 Meaning of yo -- 4 Prosodic Morphemes and Asking for Sympathy -- 4.1 Uses of yo and ``Pragmatic Reasoning'' -- 4.2 The Prosodic Morpheme in English -- References -- Comparing Degree-Based and Argumentative Analyses of Even -- 1 Introduction -- 2 Theoretical Background -- 2.1 Unlikelihood-Based Accounts of Even -- 2.2 The Degree-Based Account of Even -- 2.3 The Argumentative Account of Even -- 3 Comparing the Degree-Based and the Argumentative Analysis of Even -- 3.1 Methodology -- 3.2 Accounting for the Same Data with Even -- 3.3 Structural Similarity -- 3.4 A Final Potential Similarity: Interval-Based Instead of Points-Based Scales -- 4 Challenges and Open Questions -- 4.1 Cases with Irrelevant Alternatives -- 4.2 Cases of Mirative Even -- 5 Conclusion -- References -- Appositive Projection as Implicit Context Extension in Dependent Type Semantics -- 1 Introduction. 2 Properties of Appositive Relative Clauses -- 2.1 Discourse Properties -- 2.2 Scopal Properties -- 2.3 Anaphoric Dependencies -- 3 Framework -- 3.1 Dependent Type Theory -- 3.2 Underspecified Type -- 3.3 Type Checking and @-Elimination -- 3.4 Two-Stage Validation -- 4 Proposal -- 4.1 CI Type -- 4.2 Permutation -- 5 Predictions -- 5.1 Projection -- 5.2 Intra-sentential Anaphora -- 5.3 Inter-sentential Anaphora -- 5.4 ARC + Non-referential Quantifier -- 5.5 ARC + Referential Quantifier -- 5.6 Additional Analysis: Clause-Final ARCs -- 6 Related Work -- 6.1 DTS-Based Approach -- 6.2 Dynamic Approach -- 6.3 Orphan Approach -- 7 Conclusion -- References -- On the Semantics of Dependencies: Relative Clauses and Open Clausal Complements -- 1 Introduction -- 2 Foundational Principles of a Semantic Theory of Syntactic Dependencies -- 3 Relative Clauses and Wh-Extraction -- 4 Control Verbs and Open Clausal Complements -- 5 Taking Stock: The Question of Lexical Semantics -- 6 Bringing Everything Together -- 7 Conclusions -- References -- Semantics of Propositional Attitudes in Type-Theory of Algorithms -- 1 An Overview -- 2 Some Other Approaches to Propositional Attitudes -- 3 Syntax of Type-Theory of Algorithms -- 4 Gamma-Star Reduction Calculus of LAR -- 4.1 Extended Congruence Relation Between Terms -- 4.2 Reduction Rules of Extended LAR -- 4.3 Derived Reduction Rules -- 4.4 On the Denotational Semantics -- 5 Algorithmic Syntax-Semantics in Lar -- 6 Algorithmic Syntax-Semantics of Propositional Attitudes -- 7 Relation of the Type-Theory of Algorithms with Other Type-Theories for Semantics of Programming Languages -- 8 Conclusion: The General Algorithmic Pattern -- 9 Future Work -- References -- A Structured Witness Approach to Pair-List Answers of wh-Questions with Plural Definites -- 1 Introduction -- 2 Background. 3 Proposal: The Structured Witness Requesting Operator -- 4 Subclausal Compositionality in the Inquisitive Setting -- 5 Cardinals and Distributivity Within the wh-Restrictor -- 6 Issue-Preservation and Distributivity -- 7 Conclusion -- References -- Two Places Where We Need Plug-Negation in Update Semantics: Symmetrical Presupposition Filtering and Exclusive Disjunction -- 1 Background -- 2 Strong Kleene Trivalent Logic -- 3 Update Semantics -- 4 Proposal -- 4.1 Constraining the Plug-Negation -- 5 Discussions and a Remaining Issue -- 5.1 Discussion 1: Innocent Exclusion Does Not Avoid the Problem -- 5.2 Discussion 2: The Case of Conflicting Presuppositions and the Floating-A Theory -- 5.3 A Remaining Issue -- 6 Conclusion -- References -- Topology and Justified True Belief: A Baseless, Evidence-Free (and Pointless) Approach -- 1 Introduction -- 2 Topologies and Interior Operators -- 2.1 Definition and Basic Facts -- 2.2 Some Algebraic Remarks -- 3 The Evidence-Based Approach: A Review -- 3.1 From a Base to an Interior Operator -- 3.2 Evidence-Based Topological Semantics -- 4 Our Evidence-Free Approach: A Proposal -- 4.1 From a Monotone Map to a Topology -- 4.2 Evidence-Free Topological Semantics -- 4.3 Comparison to the Evidence-Based Approach -- 4.4 Induced Belief and Justified True Belief -- 4.5 Logic of Belief and Justified True Belief -- 5 Common Knowledge -- 6 Conclusion -- References -- Semantic-Pragmatic Account of Syntactic Structures -- 1 Introduction -- 2 Background -- 2.1 Discourse Representation Theory -- 2.2 Binding Theory of Presupposition -- 2.3 Specific Indefinites and Backgrounding -- 3 Instructional DRT -- 3.1 DRSs as Instructions -- 3.2 Syntactic Structures -- 3.3 Utterances as Programs -- 3.4 Formal Theory -- 3.5 Resolution Rules -- 4 Discussion -- 4.1 Syntactic Islands -- 4.2 Further Issues -- 5 Conclusions -- References. Author Index. |
| Record Nr. | UNISA-996601560903316 |
Bekki Daisuke
|
||
| Cham : , : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic and Engineering of Natural Language Semantics : 20th International Conference, LENLS20, Osaka, Japan, November 18–20, 2023, Revised Selected Papers / / edited by Daisuke Bekki, Koji Mineshima, Elin McCready
| Logic and Engineering of Natural Language Semantics : 20th International Conference, LENLS20, Osaka, Japan, November 18–20, 2023, Revised Selected Papers / / edited by Daisuke Bekki, Koji Mineshima, Elin McCready |
| Autore | Bekki Daisuke |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (363 pages) |
| Disciplina | 40,151 |
| Altri autori (Persone) |
MineshimaKoji
McCreadyElin |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Computer Science Logic and Foundations of Programming |
| ISBN |
9783031608780
303160878X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Putting the argumentative perspective under discussion - QUD vs argumentative goals -- Perspective and the Self in Experiential Attitude Reports -- Negation and information structure in Tree-Wrapping Grammar -- Towards a Theory of Anaphoric Binding in Event Semantics -- Matrix and Relative Weak Crossover on the Level of the Individual: An Experimental Investigation -- Additivity in Attention Semantics -- Extending Abstract Categorial Grammars with Feature Structures: Theory and Practice -- An Overt Operator Associating with Covert Focus: An Even-Like Semantics for Mandarin Geng -- Internal Reading and Reciprocity -- Dot-to-dot semantic representation -- Intonational meaning at the limits of grammar -- Comparing Degree-Based and Argumentative Analyses of Even -- Appositive Projection as Implicit Context Extension in Dependent Type Semantics -- On the semantics of dependencies: relative clauses and open clausal complements -- Semantics of Propositional Attitudes in Type-Theory of Algorithms -- A structured witness approach to pair-list answers of wh-questions with plural definites -- Two Places where We Need Plug-negation in Update Semantics: Symmetrical Presupposition Filtering and Exclusive Disjunction -- Topology and Justified True Belief: A Baseless, Evidence-Free (and Pointless) Approach -- Semantic-Pragmatic Account of Syntactic Structures. |
| Record Nr. | UNINA-9910865290503321 |
|
Bekki Daisuke
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic and Engineering of Natural Language Semantics : 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers / / Daisuke Bekki, Koji Mineshima, Elin McCready, editors
| Logic and Engineering of Natural Language Semantics : 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers / / Daisuke Bekki, Koji Mineshima, Elin McCready, editors |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] |
| Descrizione fisica | 1 online resource (245 pages) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Computer Science Series |
| Soggetto topico | Artificial intelligence |
| ISBN | 3-031-43977-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal Syntax -- Formal Semantics -- Formal Pragmatics -- Philosophy of Language -- Logic -- Computational Linguistics. |
| Record Nr. | UNISA-996558466203316 |
| Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic and Engineering of Natural Language Semantics : 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers / / Daisuke Bekki, Koji Mineshima, Elin McCready, editors
| Logic and Engineering of Natural Language Semantics : 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers / / Daisuke Bekki, Koji Mineshima, Elin McCready, editors |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] |
| Descrizione fisica | 1 online resource (245 pages) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Computer Science Series |
| Soggetto topico | Artificial intelligence |
| ISBN | 3-031-43977-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal Syntax -- Formal Semantics -- Formal Pragmatics -- Philosophy of Language -- Logic -- Computational Linguistics. |
| Record Nr. | UNINA-9910754095603321 |
| Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
New Frontiers in Artificial Intelligence [[electronic resource] ] : JSAI-isAI 2009 Workshops, LENLS, JURISIN, KCSD, LLLL, Tokyo, Japan, November 19-20, 2009, Revised Selected Papers / / edited by Kumiyo Nakakoji, Yohei Murakami, Eric McCready
| New Frontiers in Artificial Intelligence [[electronic resource] ] : JSAI-isAI 2009 Workshops, LENLS, JURISIN, KCSD, LLLL, Tokyo, Japan, November 19-20, 2009, Revised Selected Papers / / edited by Kumiyo Nakakoji, Yohei Murakami, Eric McCready |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XII, 374 p. 60 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Programming languages (Electronic computers) Data mining Application software Information storage and retrieval Database management Artificial Intelligence Programming Languages, Compilers, Interpreters Data Mining and Knowledge Discovery Information Systems Applications (incl. Internet) Information Storage and Retrieval Database Management |
| ISBN |
1-280-38821-8
9786613566133 3-642-14888-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Juris-Informatics -- Third International Workshop on Juris-Informatics -- Using BATNAs and WATNAs in Online Dispute Resolution -- Thai Succession and Family Law Ontology Building Using Ant Colony Algorithm -- Reflective Visualization of the Agreement Quality in Mediation -- Implementing Temporal Defeasible Logic for Modeling Legal Reasoning -- Evaluating Cases in Legal Disputes as Rival Theories -- Law-Aware Access Control: About Modeling Context and Transforming Legislation -- Knowledge Collaboration in Software Development -- 3rd International Workshop on Supporting Knowledge Collaboration in Software Development (KCSD2009) -- On the Central Role of Mailing Lists in Open Source Projects: An Exploratory Study -- A Proposal of TIE Model for Communication in Software Development Process -- Identifying the Concepts That Are Searchable with Keywords in Code Search Engines -- On the Use of Emerging Design as a Basis for Knowledge Collaboration -- A Time-Lag Analysis for Improving Communication among OSS Developers -- Comparison of Coordination Communication and Expertise Communication in Software Development: Motives, Characteristics, and Needs -- Logic and Engineering of Natural Language Semantics -- 6th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 6) -- Representing Covert Movements by Delimited Continuations -- Problems with Intervention and Binding into Relations -- A Translation from Logic to English with Dynamic Semantics -- Semantics of Possibility Suffix “(Rar)e” -- An Adaptive Logic for the Formal Explication of Scalar Implicatures -- Two Kinds of Procedural Semantics for Privative Modification -- On the Nature and Formal Analysis of Indexical Presuppositions -- Non-standard Uses of German 1st Person Singular Pronouns -- Learning with Logics and Logics for Learning -- The Sixth Workshop on Learning with Logics and Logics for Learning (LLLL2009) -- Inferability of Unbounded Unions of Certain Closed Set Systems -- Mining Frequent k-Partite Episodes from Event Sequences -- Learning from Positive Data Based on the MINL Strategy with Refinement Operators -- Computing Minimal Models by Positively Minimal Disjuncts. |
| Record Nr. | UNISA-996466204903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
New frontiers in artificial intelligence : JSAI-isAI 2009 workshops, LENLS, JURISIN, KCSD, LLLL, Tokyo, Japan, November 19-20, 2009 ;ai revised selected papers / / Kumiyo Nakakoji, Yohei Murakami, Eric McCready (eds.)
| New frontiers in artificial intelligence : JSAI-isAI 2009 workshops, LENLS, JURISIN, KCSD, LLLL, Tokyo, Japan, November 19-20, 2009 ;ai revised selected papers / / Kumiyo Nakakoji, Yohei Murakami, Eric McCready (eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2010 |
| Descrizione fisica | 1 online resource (XII, 374 p. 60 illus.) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
NakakojiKumiyo
MurakamiYohei McCreadyElin |
| Collana | Lecture notes in artificial intelligence |
| Soggetto topico |
Artificial intelligence
Database management |
| ISBN |
9786613566133
9781280388217 1280388218 9783642148880 3642148883 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Juris-Informatics -- Third International Workshop on Juris-Informatics -- Using BATNAs and WATNAs in Online Dispute Resolution -- Thai Succession and Family Law Ontology Building Using Ant Colony Algorithm -- Reflective Visualization of the Agreement Quality in Mediation -- Implementing Temporal Defeasible Logic for Modeling Legal Reasoning -- Evaluating Cases in Legal Disputes as Rival Theories -- Law-Aware Access Control: About Modeling Context and Transforming Legislation -- Knowledge Collaboration in Software Development -- 3rd International Workshop on Supporting Knowledge Collaboration in Software Development (KCSD2009) -- On the Central Role of Mailing Lists in Open Source Projects: An Exploratory Study -- A Proposal of TIE Model for Communication in Software Development Process -- Identifying the Concepts That Are Searchable with Keywords in Code Search Engines -- On the Use of Emerging Design as a Basis for Knowledge Collaboration -- A Time-Lag Analysis for Improving Communication among OSS Developers -- Comparison of Coordination Communication and Expertise Communication in Software Development: Motives, Characteristics, and Needs -- Logic and Engineering of Natural Language Semantics -- 6th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 6) -- Representing Covert Movements by Delimited Continuations -- Problems with Intervention and Binding into Relations -- A Translation from Logic to English with Dynamic Semantics -- Semantics of Possibility Suffix “(Rar)e” -- An Adaptive Logic for the Formal Explication of Scalar Implicatures -- Two Kinds of Procedural Semantics for Privative Modification -- On the Nature and Formal Analysis of Indexical Presuppositions -- Non-standard Uses of German 1st Person Singular Pronouns -- Learning with Logics and Logics for Learning -- The Sixth Workshop on Learning with Logics and Logics for Learning (LLLL2009) -- Inferability of Unbounded Unions of Certain Closed Set Systems -- Mining Frequent k-Partite Episodes from Event Sequences -- Learning from Positive Data Based on the MINL Strategy with Refinement Operators -- Computing Minimal Models by Positively Minimal Disjuncts. |
| Record Nr. | UNINA-9910483035003321 |
| Berlin ; ; New York, : Springer, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||