Advanced Language Technologies for Digital Libraries [[electronic resource] ] : International Workshops on NLP4DL 2009, Viareggio, Italy, June 15, 2009 and AT4DL 2009, Trento, Italy, September 8, 2009 / / edited by Raffaella Bernardi, Frederique Segond, Ilya Zaihrayeu |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (XI, 171 p. 53 illus., 32 illus. in color.) |
Disciplina | 025.04 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Information storage and retrieval systems
Database management Application software Artificial intelligence Machine theory Information Storage and Retrieval Database Management Computer and Information Systems Applications Artificial Intelligence Formal Languages and Automata Theory |
ISBN | 3-642-23160-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465714903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Grammar [[electronic resource] ] : 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings / / edited by Raffaella Bernardi, Greg Kobele, Sylvain Pogodalla |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (IX, 117 p. 305 illus., 2 illus. in color.) |
Disciplina | 005.131 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Logic programming Computer science Natural language processing (Computer science) Information storage and retrieval systems Formal Languages and Automata Theory Logic in AI Computer Science Logic and Foundations of Programming Natural Language Processing (NLP) Information Storage and Retrieval |
ISBN | 3-662-59648-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466442303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Grammar [[electronic resource] ] : 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings / / edited by Raffaella Bernardi, Greg Kobele, Sylvain Pogodalla |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (IX, 117 p. 305 illus., 2 illus. in color.) |
Disciplina | 005.131 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Logic programming Computer science Natural language processing (Computer science) Information storage and retrieval systems Formal Languages and Automata Theory Logic in AI Computer Science Logic and Foundations of Programming Natural Language Processing (NLP) Information Storage and Retrieval |
ISBN | 3-662-59648-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910349308003321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Proceedings of the Fifth Italian Conference on Computational Linguistics CLiC-it 2018 : 10-12 December 2018, Torino / / Elena Cabrio, Alessandro Mazzei, Fabio Tamburini |
Autore | Abramova Ekaterina |
Pubbl/distr/stampa | Torino, : Accademia University Press, 2019 |
Descrizione fisica | 1 online resource (382 p.) |
Altri autori (Persone) |
AdorniGiovanni
AgrawalRuchit AinaLaura AlbaneseTeresa AlbanesiDavide AlzettaChiara AmoreMatteo AntonelliOronzo AprosioAlessio Palmero BalaramanVevake BasilePierpaolo BasileValerio BasiliRoberto BassignanaElisa BellandiAndrea BentivogliLuisa BernardiRaffaella BertoldiNicola BondielliAlessandro BosJohan BoscoCristina BottiniRoberto BrunatoDominique Brunato⋄Dominique BüchlerMarco BuonoMaria Pia di BussoLucia CabrioElena CarusoValeria CaselliTommaso CecchiniFlavio CelliFabio CervoneAlessandra ChesiCristiano ChingachamAnupama ChiriattiGiulia CiminoAndrea Cocciu•Eleonora CollaDavide ComandiniGloria CordeiroSilvio Ricardo CrepaldiDavide CroceDanilo CurtoniPaolo CutugnoFrancesco dell’OglioPietro Dell’OrlettaFelice Dell’Orletta⋄Felice De FeliceIrene De MartinoMaria DiniLuca Di IorioAngelo Di NunzioGiorgio Maria DraettaLia DucceschiLuca EliaAnnibale FalavignaDaniele FedericoMarcello FeltraccoAnna FernándezRaquel FerroMichele FieromonteMartina FranziniGreta GagliardiGloria GalaValentina Della GambiEnrico GhezziIlaria GiovannettiEmiliano GobbiJacopo GretterRoberto GuarasciRaffaele GueriniMarco GüntherFritz GurevychIryna HerzogLeonardo JezekElisabetta KocevaForsina LaiMirko LaudannaAlessandro LenciAlessandro LepriBruno LianoAnnarita LimpensFreddy LouvanSamuel LydingVerena MagniniBernardo MagnoliniSimone MairanoPaolo MambriniFrancesco ManaDario MancusoAzzurra MarchiSimone MarelliMarco MariniCostanza MazzeiAlessandro McGregorStephen MelnikovaElena MeniniStefano MensaEnrico MerendaFlavio MolloEleonora MontemagniSimonetta Montemagni⋄Simonetta MontiJohanna MorettiGiovanni MoritzMaria NadaliniAndrea NegriMatteo NicolasLionel NissimMalvina NovielliNicole OkininaNadezda PannittoLudovica PapernoDenis PassalacquaSamuele PassaroLucia C PassarottiMarco PattiViviana PecchioliAlessandra PellegriniMatteo PetrolitoRuggero PettenatiMaria Chiara PiantanidaGiovanni PoggiIsabella PorporatoAureliano QuinciVito RadicioniDaniele P RamischCarlos RappAmon RiccardiGiuseppe RossiniDaniele RotondiAgata RuffoloPaolo RussoIrene SagriMaria Teresa SangatiFederico SanguinettiManuela SavaryAgata SavyRenata SimeoniRossana SimiMaria SorgenteAntonio SperanzaManuela SprugnoliRachele StedeManfred StepanovEvgeny A StingoMichele TamburiniFabio TebbifakhrAmirhossein TonelliSara TorreIlaria TortoretoGiuliano TotisPietro TrottaDaniela TurchiMarco ValerianiMartina VenturiGiulia Venturi⋄Giulia VezzaniFederica VillataSerena VinczeVeronika ZaghiClaudia ZovatoEnrico |
Soggetto topico |
History & Philosophy Of Science
linguistica computazionale elaborazione del linguaggio naturale analisi semantica Gurevych (Iryna) Bos (Johan) Computational Linguistics Natural Language Processing semantic parsing |
Soggetto non controllato |
Computational Linguistics
Natural Language Processing Gurevych (Iryna) Bos (Johan) semantic parsing |
ISBN | 88-31978-68-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910316452003321 |
Abramova Ekaterina
![]() |
||
Torino, : Accademia University Press, 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Proceedings of the Seventh Italian Conference on Computational Linguistics CLiC-it 2020 : Bologna, Italy, March 1-3, 2021 / / Felice Dell'Orletta, Johanna Monti, Fabio Tamburini |
Autore | Altuna Begoña |
Pubbl/distr/stampa | Torino, : Accademia University Press, 2021 |
Descrizione fisica | 1 online resource (487 p.) |
Altri autori (Persone) |
AlzettaChiara
AnselmaLuca AntinoriAlessandro AprosioAlessio Palmero ArditoLuca ArgeseChiara BaccoLuca BaisaVít BalaramanVevake Barrón-CedeñoAlberto BasilePierpaolo BasileValerio BasiliRoberto BassignanaElisa BenvenutiNicola BernardiRaffaella BertinoEnrico BiasionDavide BiffiMarco BolioliAndrea BonadimanDaniele BonoraPaolo BoscaAlessio BoscoCristina BrambillaSilvia BrunatoDominique BucurAna-Maria CafagnaMichele CaligioreGaia CappaClaudia CaputoAnnalina CarlinoCarola CaselliTommaso CassottiPierluigi CastagnoliSara CasulaCamilla CecchiniFlavio M CelliFabio CervoneAlessandra ChiusaroliFrancesca ChungYi-Ling CignarellaAlessandra Teresa CiminoAndrea CollaDavide ColtrinariRiccardo ColucciIlaria CorinoElisa CroceDanilo Dell’OrlettaFelice DelsantoMatteo De GemmisMarco De MatteiLorenzo de VardaAndrea Gregor DinuLiviu P di BuonoMaria Pia Di GangiMattia Antonino Di LascioMirko DucretMartina FabrisAlessandro FalcoMariacristina FavalliAndrea FavaroManuel FeldmanAnna FernándezRaquel FernicolaFrancesco FerroMarcello FranziniGreta GabrieliGiuliano GagliardiGloria GaidoMarco GandolfiGreta GarceaFederico GattAlbert GemmisMarco de GiannoneCristina GiuliviSara GregoriLorenzo GualdoniEleonora GueriniMarco HosteVeronique IavaroneBenedetta JezekElisabetta KarakantaAlina KoppStefan KruseLauren LavelliAlberto LenciAlessandro LielloLuca Di LimAlfred LopsPasquale LouvanSamuel MagniniBernardo MambriniFrancesco ManaDario MannaRaffaele MarinoGian Manuel MartinezCarlos MarziClaudia MasiniFrancesca MatteiAndrea MazzeiAlessandro MeniniStefano MensaEnrico MeroneMario MiaschiAlessio MicheliM. Silvia MontemagniSimonetta MontiJohanna MorettiGiovanni MorisioMaurizio MoschittiAlessandro MuffoMatteo MustoCataldo NadaliniAndrea NegriMatteo NissimMalvina NolanoGennaro NuovoElisa Di OliveriIsabeau OnnisLuca OrigliaAntonio OsenovaPetya O’BrienBeth A Palmero AprosioAlessio PapaSirio PascucciAntonio PassarottiMarco PattiViviana PaulonLuca PellegriniMatteo PelosiSerena PengJing PezzelleSandro PierucciMaria Laura PirinenTommi A PirrelliVito PolignanoMarco RadicioniDaniele P RavelliAndrea Amelio RescignoArgentina Anna RiccardiGiuseppe RizzoGiuseppe RobertiPierluigi RoccabrunaGabriel RodellaAnna RomagnoliRaniero RomaniEmma RuggieroGaetana SanguinettiManuela SartiGabriele SemeraroGiovanni SilvelloGianmaria SimeoniRossana SimiMaria SimonielloVincenzo SimovKiril SperanzaGiulia SperanzaManuela SpilloGiuseppe SprugnoliRachele StrapparavaCarlo SucameliIrene SuozziAlice SustoGian Antonio TamburiniFabio TaxitariLoukia TekiroğluSerra Sinem TestoniAlberto TonelliSara TripodiRocco TrosterudTrond TurchiMarco UvaAntonio VanmassenhoveEva VarvaraRossella VassalloMarco VenturiGiulia VigorelliPietro VitalePierluigi WayAndy WiechetekLinda YavuzMehmet Can ZampedriFederica ZaninelloAndrea ZanoliRoberto ZarinoWanda Punzi ZhangShibingfeng Dell'OrlettaFelice |
Collana | Collana dell'Associazione Italiana di Linguistica Computazionale |
Soggetto topico |
Linguistics
Computational Linguistics Fine-grained sentiment analysis Distributional Semantics Quantitative Linguistic Investigations Gender Bias Depression from Social Media Online Hate Speech Automatic Sarcasm Detection TrAVaSI AriEmozione AEREST COVID-19 Linguistic Ostracism in Social Networks Multilingual NLU E3C Project DistilBERT Twitter during Pandemic |
Soggetto non controllato |
Computational Linguistics
Fine-grained sentiment analysis Distributional Semantics Quantitative Linguistic Investigations Gender Bias Depression from Social Media Online Hate Speech Automatic Sarcasm Detection TrAVaSI AriEmozione AEREST COVID-1 |
ISBN | 979-1-280-13633-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | Proceedings of the Seventh Italian Conference on Computational Linguistics CLiC-it 2020 |
Record Nr. | UNINA-9910495994903321 |
Altuna Begoña
![]() |
||
Torino, : Accademia University Press, 2021 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Proceedings of the Third Italian Conference on Computational Linguistics CLiC-it 2016 : 5-6 December 2016, Napoli / / Anna Corazza, Simonetta Montemagni, Giovanni Semeraro |
Autore | Abad Azad |
Pubbl/distr/stampa | Torino, : Accademia University Press, 2017 |
Descrizione fisica | 1 online resource (317 p.) |
Altri autori (Persone) |
AbelAndrea
AlfieriLinda AlicanteAnita ArcaraGiorgio BaiamonteDaniela BarlacchiGianni BasilePierpaolo BasileValerio BasiliRoberto BellandiAndrea BenjaminMartin BenottoGiulia BernardiRaffaella BogersToine BompolasStavros BondielliAlessandro BordeaGeorgeta BoscoCristina BottiniRoberto BracchiAlice BrunatoDominique BudassiMarco BuitelaarPaul CabrioElena CaputoAnnalina CardilloFranco Alberto CardilloFranco Alberto CarusoValeria CasasantoDaniel CaselliTommaso ChatterjeeRajen CherchiManuela ChiusaroliFrancesca CorazzaAnna CorinoElisa CrepaldiDavide CroceDanilo CulyChris CurciAntonietta CutugnoFrancesco DavidAlfter Dell’OrlettaFelice Del TrediciMarco DesantisAnna De MartinoMaria De MeoAnna Di NunzioGiorgio Maria EspositoFabrizio FantiniAnna FeltraccoAnna FerroMarcello FerroNicola FiliceSimone FranzonFrancesca FreyJennifer-Carmen GagnéChristina L GebremelakGebremedhen GiovannettiEmiliano GlaznieksAivars GregoriLorenzo GuglielmiFrancesca HerbelotAurelie Hernández FaríasDelia Irazú IovinoRossella IsgròFrancesco JezekElisabetta LaiMirko LaudannaAlessandro LavelliAlberto LebaniGianluca E LenciAlessandro LietoAntonio LittaEleonora LogozzoFelicia LuisiRoberta MaggioValerio MagniniBernardo MaistroMaria MancusoAzzurra MansourSina MarchiSimone MarziClaudia MazzeiAlessandro MencariniLetizia MensaEnrico MinardAnne-Lyse MitkovRuslan MontemagniSimonetta MontiJohanna MorettiGiovanni MoschittiAlessandro MozzachiodiMichele NadaliniAndrea NardiDaniele NegriMatteo NicolasLionel NissimMalvina OrlettiFranca Palmero AprosioAlessio PanunziAlessandro PassaroLucia C PassarottiMarco PattiViviana PezzelleSandro PicciniSilvia PieriGiulia PirontiAntonio PirrelliVito PisanoSimone PontiEdoardo Maria ProdanofIrina QwaiderMohammed R. H RadicioniDaniele P RavelliAndrea Amelio RoddaMartina A RossinelliEmanuele RussoClaudio RussoIrene SaltoriFrancesca SangatiFederico ScannielloGiuseppe SemeraroGiovanni SenaldiMarco S.G SenaldiMarco S. G SilvelloGianmaria SilvestriStefano SoriaClaudia SorodocIonut SpaldingThomas L SperanzaManuela SprugnoliRachele StedeManfred StemleEgon StemleEgon W SulisEmilio TamburiniFabio TaslimipoorShiva TonelliSara TurchiMarco TusaErica UvaAntonio VanzoAndrea VenturiGiulia VignoliDaniele VillataSerena VitaleVincenzo Norman YuriBizzoni ZaninelloAndrea ZaniniChiara ZilioDaniel |
Soggetto topico |
Language & Linguistics (General)
Computational Linguistics natural language experimental methodologies Linguistica Computazionale linguaggio naturale metodologie sperimentali Linguistique Computationelle langage naturel méthodes expérimentales |
Soggetto non controllato |
Computational Linguistics
natural language experimental methodologies |
ISBN | 88-99982-54-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910214918803321 |
Abad Azad
![]() |
||
Torino, : Accademia University Press, 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Selected Reflections in Language, Logic, and Information [[electronic resource] ] : ESSLLI 2019, ESSLLI 2020 and ESSLLI 2021 Student Sessions, Selected Papers / / edited by Alexandra Pavlova, Mina Young Pedersen, Raffaella Bernardi |
Edizione | [1st ed. 2024.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
Descrizione fisica | 1 online resource (XIV, 221 p. 17 illus., 6 illus. in color.) |
Disciplina | 006.33 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Expert systems (Computer science)
Natural language processing (Computer science) Information storage and retrieval systems Knowledge Based Systems Natural Language Processing (NLP) Information Storage and Retrieval |
ISBN | 3-031-50628-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Conversational Reasoning in the Absence of Quantity -- 1 Introduction -- 1.1 Scalar Implicature Through Pragmatic Strengthening -- 1.2 Scalar Implicature Through Grammatical Exhaustification -- 2 Background -- 3 Experiment -- 3.1 Research Question -- 3.2 Methods -- 3.3 Design and Materials -- 3.4 Results -- 4 Conclusion -- 4.1 Discussion of Results -- References -- Silence, Dissent, and Common Ground -- 1 Introduction -- 2 Silence and Common Ground -- 3 Silent Dissent -- 4 Silence and Default Attitudes -- 4.1 Dialogue Cooperativeness -- 4.2 Identifying Dialogue Situations -- 4.3 From Cooperativeness to Interpretation of Silence -- 5 Silence and Updates -- 6 Conclusions -- References -- Sentence-Final Particle de in Mandarin as an Informativity Maximizer -- 1 Introduction -- 2 Data -- 3 Analysis -- 3.1 Background -- 3.2 Formal Implementation -- 3.3 Comparison with Other Proposals -- 4 Extensions -- 4.1 Cases with Enriched Prior Knowledge -- 4.2 Other Particles -- 5 Conclusion -- References -- The Impact of Propositional Messages on Termination of Declarative Distributed Systems -- 1 Introduction -- 2 Preliminaries -- 2.1 Configuration Graphs -- 2.2 2 Counter Machines -- 2.3 Multisets and Queues -- 2.4 Petri Nets -- 2.5 Databases -- 3 Declarative Distributed Systems -- 3.1 Networks -- 3.2 Data-Sources and Configurations -- 3.3 Computation Cycle -- 3.4 Programs -- 3.5 DDS Configuration Graphs -- 4 Propositional DDSs -- 5 Undecidability over Queues -- 6 Decidability over Unordered Channels -- 6.1 Closed pDDSs -- 6.2 Interactive pDDSs -- 6.3 Autonomous pDDSs -- 7 Conclusions -- References -- Formalizing Henkin-Style Completeness of an Axiomatic System for Propositional Logic -- 1 Introduction -- 1.1 Structure of the Paper -- 1.2 A History of Formalized Completeness Proofs -- 2 Syntax and Semantics.
3 Proof System -- 4 Consistency and Maximality -- 5 Extension -- 5.1 Consistency -- 5.2 Maximality -- 6 Hintikka Sets -- 6.1 Model Existence -- 6.2 Maximal Consistency -- 7 Completeness -- 8 Conclusion -- References -- Hope for Epistemic Reasoning with Faulty Agents! -- 1 Introduction -- 2 Basic Concepts -- 3 Axiomatizing Hope -- 4 Soundness and Completeness -- 5 Conclusions -- References -- Sentential Negativity and Anaphoric Polarity-Tags: A Hyperintensional Account -- 1 Introduction -- 2 Reference to Negative Propositions -- 3 Outline of the Formal Account -- 3.1 Hyperintensional CDRT -- 3.2 Deriving Discourse Polarity in Hyperintensional CDRT -- 3.3 The Discourse-Effect of Negative Sentences -- 3.4 Polar Additives -- 3.5 Interim Discussion -- 4 Comparison with Analyses of PolPs -- 4.1 Roelofsen and Farkas (2015) -- 4.2 Intensional Propositions and Discourse Coherence -- 4.3 Ellipsis Accounts -- 4.4 Neg-Raising and Discourse Inferences -- 5 Conclusion -- References -- Temporal Modification of Event Kinds -- 1 Introduction -- 2 Do Temporal Modifiers Modify Event Kind Descriptions? -- 3 Verbal Gerunds as Kind Descriptions -- 4 Data -- 5 Frequency Adjectives and Adverbs -- 6 Discussion -- 7 Conclusion -- References -- Assessing the Effect of Text Type on the Choice of Linguistic Mechanisms in Scientific Publications -- 1 Introduction -- 1.1 Related Work -- 2 Experimental Setup -- 2.1 Linguistic Features Under Consideration -- 3 Evaluation -- 3.1 Quantitative Assessment -- 3.2 Discussion -- 4 Conclusion and Future Work -- References -- Limited Symmetry -- 1 Introduction -- 2 Schlenker 2009 -- 3 Limited Symmetry -- 3.1 The System Informally -- 3.2 Formalization -- 3.3 Results -- 4 Conclusion -- References -- A Problem for Downward Closure in the Semantics of Counterfactuals -- 1 Introduction -- 1.1 Downward Closure. 2 De Morgan's Law in Counterfactual Antecedents -- 3 Exclusification -- 3.1 A Scenario with New Wiring -- 3.2 Embedded Exclusivity Operators -- 4 When Exclusification is Too Strong -- 5 Counterfactual Exhaustification -- 6 Conclusion -- References -- Lambek Calculus with Optional Divisions -- 1 Introduction -- 2 Preliminaries -- 2.1 Lambek Calculus and Its Extensions -- 2.2 Categorial Grammars -- 2.3 Context-Free Grammars -- 3 Lambek Calculus with Optional Divisions -- 4 Proofs of Theorems -- 4.1 Free Group Interpretation -- 4.2 Interpretable Lambek Grammars -- 4.3 Telescopic Conjunction -- 4.4 Proof of Theorem 2 -- 4.5 Proof of Theorem 3 -- 5 Conclusion and Future Work -- References -- A Logical Framework for Understanding Why -- 1 Introduction -- 2 Preliminary -- 2.1 Philosophical Views -- 2.2 A Logic of Knowing Why and Fitting Model -- 3 A Framework for Understanding Why -- 4 An Axiomatization -- 5 Conclusions and Future Work -- References -- Author Index. |
Record Nr. | UNINA-9910799234803321 |
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Selected Reflections in Language, Logic, and Information [[electronic resource] ] : ESSLLI 2019, ESSLLI 2020 and ESSLLI 2021 Student Sessions, Selected Papers / / edited by Alexandra Pavlova, Mina Young Pedersen, Raffaella Bernardi |
Edizione | [1st ed. 2024.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
Descrizione fisica | 1 online resource (XIV, 221 p. 17 illus., 6 illus. in color.) |
Disciplina | 006.33 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Expert systems (Computer science)
Natural language processing (Computer science) Information storage and retrieval systems Knowledge Based Systems Natural Language Processing (NLP) Information Storage and Retrieval |
ISBN | 3-031-50628-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Conversational Reasoning in the Absence of Quantity -- 1 Introduction -- 1.1 Scalar Implicature Through Pragmatic Strengthening -- 1.2 Scalar Implicature Through Grammatical Exhaustification -- 2 Background -- 3 Experiment -- 3.1 Research Question -- 3.2 Methods -- 3.3 Design and Materials -- 3.4 Results -- 4 Conclusion -- 4.1 Discussion of Results -- References -- Silence, Dissent, and Common Ground -- 1 Introduction -- 2 Silence and Common Ground -- 3 Silent Dissent -- 4 Silence and Default Attitudes -- 4.1 Dialogue Cooperativeness -- 4.2 Identifying Dialogue Situations -- 4.3 From Cooperativeness to Interpretation of Silence -- 5 Silence and Updates -- 6 Conclusions -- References -- Sentence-Final Particle de in Mandarin as an Informativity Maximizer -- 1 Introduction -- 2 Data -- 3 Analysis -- 3.1 Background -- 3.2 Formal Implementation -- 3.3 Comparison with Other Proposals -- 4 Extensions -- 4.1 Cases with Enriched Prior Knowledge -- 4.2 Other Particles -- 5 Conclusion -- References -- The Impact of Propositional Messages on Termination of Declarative Distributed Systems -- 1 Introduction -- 2 Preliminaries -- 2.1 Configuration Graphs -- 2.2 2 Counter Machines -- 2.3 Multisets and Queues -- 2.4 Petri Nets -- 2.5 Databases -- 3 Declarative Distributed Systems -- 3.1 Networks -- 3.2 Data-Sources and Configurations -- 3.3 Computation Cycle -- 3.4 Programs -- 3.5 DDS Configuration Graphs -- 4 Propositional DDSs -- 5 Undecidability over Queues -- 6 Decidability over Unordered Channels -- 6.1 Closed pDDSs -- 6.2 Interactive pDDSs -- 6.3 Autonomous pDDSs -- 7 Conclusions -- References -- Formalizing Henkin-Style Completeness of an Axiomatic System for Propositional Logic -- 1 Introduction -- 1.1 Structure of the Paper -- 1.2 A History of Formalized Completeness Proofs -- 2 Syntax and Semantics.
3 Proof System -- 4 Consistency and Maximality -- 5 Extension -- 5.1 Consistency -- 5.2 Maximality -- 6 Hintikka Sets -- 6.1 Model Existence -- 6.2 Maximal Consistency -- 7 Completeness -- 8 Conclusion -- References -- Hope for Epistemic Reasoning with Faulty Agents! -- 1 Introduction -- 2 Basic Concepts -- 3 Axiomatizing Hope -- 4 Soundness and Completeness -- 5 Conclusions -- References -- Sentential Negativity and Anaphoric Polarity-Tags: A Hyperintensional Account -- 1 Introduction -- 2 Reference to Negative Propositions -- 3 Outline of the Formal Account -- 3.1 Hyperintensional CDRT -- 3.2 Deriving Discourse Polarity in Hyperintensional CDRT -- 3.3 The Discourse-Effect of Negative Sentences -- 3.4 Polar Additives -- 3.5 Interim Discussion -- 4 Comparison with Analyses of PolPs -- 4.1 Roelofsen and Farkas (2015) -- 4.2 Intensional Propositions and Discourse Coherence -- 4.3 Ellipsis Accounts -- 4.4 Neg-Raising and Discourse Inferences -- 5 Conclusion -- References -- Temporal Modification of Event Kinds -- 1 Introduction -- 2 Do Temporal Modifiers Modify Event Kind Descriptions? -- 3 Verbal Gerunds as Kind Descriptions -- 4 Data -- 5 Frequency Adjectives and Adverbs -- 6 Discussion -- 7 Conclusion -- References -- Assessing the Effect of Text Type on the Choice of Linguistic Mechanisms in Scientific Publications -- 1 Introduction -- 1.1 Related Work -- 2 Experimental Setup -- 2.1 Linguistic Features Under Consideration -- 3 Evaluation -- 3.1 Quantitative Assessment -- 3.2 Discussion -- 4 Conclusion and Future Work -- References -- Limited Symmetry -- 1 Introduction -- 2 Schlenker 2009 -- 3 Limited Symmetry -- 3.1 The System Informally -- 3.2 Formalization -- 3.3 Results -- 4 Conclusion -- References -- A Problem for Downward Closure in the Semantics of Counterfactuals -- 1 Introduction -- 1.1 Downward Closure. 2 De Morgan's Law in Counterfactual Antecedents -- 3 Exclusification -- 3.1 A Scenario with New Wiring -- 3.2 Embedded Exclusivity Operators -- 4 When Exclusification is Too Strong -- 5 Counterfactual Exhaustification -- 6 Conclusion -- References -- Lambek Calculus with Optional Divisions -- 1 Introduction -- 2 Preliminaries -- 2.1 Lambek Calculus and Its Extensions -- 2.2 Categorial Grammars -- 2.3 Context-Free Grammars -- 3 Lambek Calculus with Optional Divisions -- 4 Proofs of Theorems -- 4.1 Free Group Interpretation -- 4.2 Interpretable Lambek Grammars -- 4.3 Telescopic Conjunction -- 4.4 Proof of Theorem 2 -- 4.5 Proof of Theorem 3 -- 5 Conclusion and Future Work -- References -- A Logical Framework for Understanding Why -- 1 Introduction -- 2 Preliminary -- 2.1 Philosophical Views -- 2.2 A Logic of Knowing Why and Fitting Model -- 3 A Framework for Understanding Why -- 4 An Axiomatization -- 5 Conclusions and Future Work -- References -- Author Index. |
Record Nr. | UNISA-996587866303316 |
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|