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 | ||
![]() | ||
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 |
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. | UNINA-9910865290503321 |
Bekki Daisuke
![]() |
||
Cham : , : Springer, , 2024 | ||
![]() | ||
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 |
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] | ||
![]() | ||
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 |
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] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
New Frontiers in Artificial Intelligence [[electronic resource] ] : JSAI-isAI 2021 Workshops, JURISIN, LENLS18, SCIDOCA, Kansei-AI, AI-BIZ, Yokohama, Japan, November 13–15, 2021, Revised Selected Papers / / edited by Katsutoshi Yada, Yasufumi Takama, Koji Mineshima, Ken Satoh |
Autore | Yada Katsutoshi |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (403 pages) |
Disciplina | 006.3 |
Altri autori (Persone) |
TakamaYasufumi
MineshimaKoji SatohKen |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer science Data structures (Computer science) Information theory Database management Image processing—Digital techniques Computer vision Artificial Intelligence Theory of Computation Data Structures and Information Theory Database Management System Computer Imaging, Vision, Pattern Recognition and Graphics |
ISBN | 3-031-36190-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | JURISIN 2021 -- LENLS 18 -- SCIDOCA 2021 -- KANSEIAI 2021 -- AI-Biz 2021. . |
Record Nr. | UNISA-996542665803316 |
Yada Katsutoshi
![]() |
||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
New Frontiers in Artificial Intelligence : JSAI-isAI 2021 Workshops, JURISIN, LENLS18, SCIDOCA, Kansei-AI, AI-BIZ, Yokohama, Japan, November 13–15, 2021, Revised Selected Papers / / edited by Katsutoshi Yada, Yasufumi Takama, Koji Mineshima, Ken Satoh |
Autore | Yada Katsutoshi |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (403 pages) |
Disciplina | 006.3 |
Altri autori (Persone) |
TakamaYasufumi
MineshimaKoji SatohKen |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer science Data structures (Computer science) Information theory Database management Image processing—Digital techniques Computer vision Artificial Intelligence Theory of Computation Data Structures and Information Theory Database Management System Computer Imaging, Vision, Pattern Recognition and Graphics |
ISBN | 3-031-36190-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | JURISIN 2021 -- LENLS 18 -- SCIDOCA 2021 -- KANSEIAI 2021 -- AI-Biz 2021. . |
Record Nr. | UNINA-9910735385303321 |
Yada Katsutoshi
![]() |
||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
New Frontiers in Artificial Intelligence [[electronic resource] ] : JSAI-isAI 2018 Workshops, JURISIN, AI-Biz, SKL, LENLS, IDAA, Yokohama, Japan, November 12–14, 2018, Revised Selected Papers / / edited by Kazuhiro Kojima, Maki Sakamoto, Koji Mineshima, Ken Satoh |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XIV, 494 p. 303 illus., 84 illus. in color.) |
Disciplina | 343.09944 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Information storage and retrieval Computers Application software Artificial Intelligence Information Storage and Retrieval Theory of Computation Computer Appl. in Administrative Data Processing |
ISBN | 3-030-31605-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | AI-Biz2018 -- Artificial Intelligence of and for Business (AI-Biz2018) -- Feature selection on Credit Risk prediction for Peer-to-Peer Lending -- Capturing Corporate Attributes in a New Perspective through Fuzzy Clustering -- Influences of Diversity on Organizational Performance - By using Faultline Theory -- A Study of New Variable Selection Method within A Framework of Real-coded Genetic Algorithm -- Intelligent Data Analytics and Applications (IDAA) -- International Workshop of Intelligent Data Analytics and Applications (IDAA2018) -- Single Image Dehazing Using Improved Gray World Theory and Dark Channel Prior -- Analysis of pulse diagnosis data from a TCM doctor and a device by Random Forest -- A Vision Sensor Network to Study Viewers’ Visible Behavior of Art Appreciation -- Multi-View Learning of Network Embedding -- JURISIN2018 -- Twelfth International Workshop on Juris-Informatics (JURISIN 2018) -- ContractFrames: Bridging the gap between Natural Language and Logics in Contract Law -- Reasoning by a Bipolar Argumentation Framework for PROLEG -- An empirical evaluation of AMR parsing for legal documents -- Legal Debugging in Propositional Legal Representation -- An Agile Approach to Validate a Formal Representation of the GDPR -- COLIEE-2018: Evaluation of the Competition on Legal Information Extraction and Entailment -- Legal Question Answering System using FrameNet -- Question Answering System for Legal Bar Examination using Predicate Argument Structure -- LENLS -- Logic and Engineering of Natural Language Semantics (LENLS) 15 -- Against Grammatical Competition: The Case of MaxElide -- The dog ate the damn cake! The syntax of expressive adjectives -- Applicatives for Anaphora and Presupposition -- Switch Reference and Discourse Anaphora: lessons from Mbyá -- Reconciling Inquisitive Semantics and Generalized Quantifier Theory -- Solving the individuation and counting puzzle with λ-DRT and MGL -- Polynomial Event Semantics -- The logical principles of honorification and dishonorification in Japanese -- On the deliberative use of the German modal sollte -- Scalar particles in comparatives: A QUD approach -- Event Quantification in Infinitival Complements: A Free-Logic Approach -- A probabilistic view on erotetic argumentation within language -- LENLS14 -- Logic and Engineering of Natural Language Semantics (LENLS)14 -- Quality as a speech-act CI and presuppositions -- Explaining prefix contributions in Russian using Frame Semantics and RSA -- SKL2018 -- Fifth International Workshop on Skill Science -- Prediction of Basketball Free Throw Shooting by OpenPose -- Constraints on joint degrees of freedom affect human postural dynamics: A pilot study -- Effects of the difference in accented beat between jazz and classical music styles through sight-reading of a jazz ad-lib solo -- Detecting Freezing-of-Gait Symptom in Parkinson’s Disease by Analyzing Vertical Motion from Force Plate -- Effects of Casual Computer Game on Cognitive Performance through Hemodynamic Signals. . |
Record Nr. | UNISA-996466180503316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
New Frontiers in Artificial Intelligence : JSAI-isAI 2018 Workshops, JURISIN, AI-Biz, SKL, LENLS, IDAA, Yokohama, Japan, November 12–14, 2018, Revised Selected Papers / / edited by Kazuhiro Kojima, Maki Sakamoto, Koji Mineshima, Ken Satoh |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XIV, 494 p. 303 illus., 84 illus. in color.) |
Disciplina |
343.09944
006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Information storage and retrieval Computers Application software Artificial Intelligence Information Storage and Retrieval Theory of Computation Computer Appl. in Administrative Data Processing |
ISBN | 3-030-31605-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | AI-Biz2018 -- Artificial Intelligence of and for Business (AI-Biz2018) -- Feature selection on Credit Risk prediction for Peer-to-Peer Lending -- Capturing Corporate Attributes in a New Perspective through Fuzzy Clustering -- Influences of Diversity on Organizational Performance - By using Faultline Theory -- A Study of New Variable Selection Method within A Framework of Real-coded Genetic Algorithm -- Intelligent Data Analytics and Applications (IDAA) -- International Workshop of Intelligent Data Analytics and Applications (IDAA2018) -- Single Image Dehazing Using Improved Gray World Theory and Dark Channel Prior -- Analysis of pulse diagnosis data from a TCM doctor and a device by Random Forest -- A Vision Sensor Network to Study Viewers’ Visible Behavior of Art Appreciation -- Multi-View Learning of Network Embedding -- JURISIN2018 -- Twelfth International Workshop on Juris-Informatics (JURISIN 2018) -- ContractFrames: Bridging the gap between Natural Language and Logics in Contract Law -- Reasoning by a Bipolar Argumentation Framework for PROLEG -- An empirical evaluation of AMR parsing for legal documents -- Legal Debugging in Propositional Legal Representation -- An Agile Approach to Validate a Formal Representation of the GDPR -- COLIEE-2018: Evaluation of the Competition on Legal Information Extraction and Entailment -- Legal Question Answering System using FrameNet -- Question Answering System for Legal Bar Examination using Predicate Argument Structure -- LENLS -- Logic and Engineering of Natural Language Semantics (LENLS) 15 -- Against Grammatical Competition: The Case of MaxElide -- The dog ate the damn cake! The syntax of expressive adjectives -- Applicatives for Anaphora and Presupposition -- Switch Reference and Discourse Anaphora: lessons from Mbyá -- Reconciling Inquisitive Semantics and Generalized Quantifier Theory -- Solving the individuation and counting puzzle with λ-DRT and MGL -- Polynomial Event Semantics -- The logical principles of honorification and dishonorification in Japanese -- On the deliberative use of the German modal sollte -- Scalar particles in comparatives: A QUD approach -- Event Quantification in Infinitival Complements: A Free-Logic Approach -- A probabilistic view on erotetic argumentation within language -- LENLS14 -- Logic and Engineering of Natural Language Semantics (LENLS)14 -- Quality as a speech-act CI and presuppositions -- Explaining prefix contributions in Russian using Frame Semantics and RSA -- SKL2018 -- Fifth International Workshop on Skill Science -- Prediction of Basketball Free Throw Shooting by OpenPose -- Constraints on joint degrees of freedom affect human postural dynamics: A pilot study -- Effects of the difference in accented beat between jazz and classical music styles through sight-reading of a jazz ad-lib solo -- Detecting Freezing-of-Gait Symptom in Parkinson’s Disease by Analyzing Vertical Motion from Force Plate -- Effects of Casual Computer Game on Cognitive Performance through Hemodynamic Signals. . |
Record Nr. | UNINA-9910349273303321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
New Frontiers in Artificial Intelligence [[electronic resource] ] : JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, November 13-15, 2017, Revised Selected Papers / / edited by Sachiyo Arai, Kazuhiro Kojima, Koji Mineshima, Daisuke Bekki, Ken Satoh, Yuiko Ohta |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XV, 415 p. 112 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Natural language processing (Computer science) Information storage and retrieval Application software Mathematical logic Artificial Intelligence Natural Language Processing (NLP) Information Storage and Retrieval Computer Appl. in Administrative Data Processing Mathematical Logic and Formal Languages |
ISBN | 3-319-93794-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465702103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
New Frontiers in Artificial Intelligence : JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, November 13-15, 2017, Revised Selected Papers / / edited by Sachiyo Arai, Kazuhiro Kojima, Koji Mineshima, Daisuke Bekki, Ken Satoh, Yuiko Ohta |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XV, 415 p. 112 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Natural language processing (Computer science) Information storage and retrieval Application software Mathematical logic Artificial Intelligence Natural Language Processing (NLP) Information Storage and Retrieval Computer Appl. in Administrative Data Processing Mathematical Logic and Formal Languages |
ISBN | 3-319-93794-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910349433103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|