Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the campus of Indiana University, Bloomington, IN, USA in July 2015.The 14...
Saved in:
| Main Authors | , , , , |
|---|---|
| Format | eBook Book |
| Language | English |
| Published |
Berlin, Heidelberg
Springer Nature
2015
Springer Springer Berlin / Heidelberg |
| Edition | 1 |
| Series | LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Subjects | |
| Online Access | Get full text |
| ISBN | 3662477092 9783662477090 9783662477083 3662477084 |
Cover
| Abstract | Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the campus of Indiana University, Bloomington, IN, USA in July 2015.The 14 contributed papers, presented together with 8 invited lectures and 4 tutorials, were carefully reviewed and selected from 44 submissions. The focus of the workshop was on interdisciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. |
|---|---|
| AbstractList | Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the campus of Indiana University, Bloomington, IN, USA in July 2015.The 14 contributed papers, presented together with 8 invited lectures and 4 tutorials, were carefully reviewed and selected from 44 submissions. The focus of the workshop was on interdisciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. |
| Author | de Paiva, Valeria de Oliveira, Anjolina G de Queiroz, Ruy Moss, Lawrence S Leivant, Daniel |
| Author_xml | – sequence: 1 fullname: de Paiva, Valeria – sequence: 2 fullname: de Queiroz, Ruy – sequence: 3 fullname: Moss, Lawrence S – sequence: 4 fullname: Leivant, Daniel – sequence: 5 fullname: de Oliveira, Anjolina G |
| BackLink | https://cir.nii.ac.jp/crid/1130000794331990272$$DView record in CiNii |
| BookMark | eNqN0EtLw0AQB_AVH9jWfocggggN7Ptx1FC1EPAiXsNms5vGprs1m9qvb2xEPHqZYf78GJiZgjMfvD0BU8I5pkJAhU__DhdgohCWHELGL8E8xncIIWJMMiEnIM1D3ZhFkmtf73VtF8nKu9Btdd8Ev0i0r5IsbHf7_hhcgXOn22jnP30G3h6Xr9lzmr88rbL7PNUEEyRTUVldKo1LoQ3UrLJcOOao4Q4J6UjJBVfIsKoixHFBpao4E0bBylFkBS3JDNyNi3Xc2ENch7aPxWdryxA2sVBC_t4HB3s72l0XPvY29sWRGev7TrfF8iHjWDLG1D_koBgUaJA3o_RNU5jmuyJEhsdBoSghSCmIBR7Y9ciMjrodWLENPtSd3q1jwSiiEDPyBRTCdgw |
| ContentType | eBook Book |
| DBID | I4C RYH |
| DEWEY | 511 |
| DatabaseName | Casalini Torrossa eBooks Institutional Catalogue CiNii Complete |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Mathematics Computer Science |
| EISBN | 3662477092 9783662477090 |
| Edition | 1 2015 |
| Editor | de Paiva, Valeria de Queiroz, Ruy Moss, Lawrence S Leivant, Daniel |
| Editor_xml | – sequence: 1 fullname: Leivant, Daniel – sequence: 2 fullname: Moss, Lawrence S – sequence: 3 fullname: de Paiva, Valeria – sequence: 4 fullname: de Queiroz, Ruy |
| ExternalDocumentID | 9783662477090 EBC6285559 EBC5595071 BB20660375 5414025 |
| GroupedDBID | 0D6 0DA 38. AABBV AAGZE AAZAK AAZUS ABBVZ ABFTD ABMNI ACKNT ACRRC AEDXK AEKFX AETDV AEZAY ALMA_UNASSIGNED_HOLDINGS APFYR AZZ BBABE CZZ I4C IEZ IY- LDH NUC SAO SBO SFQCF TMQGW TPJZQ TSXQS TWXRB Z88 AEJLV RYH Z83 |
| ID | FETCH-LOGICAL-a32318-7deab9a2b7ac0a5de67f5f4c6f178f3b67691c5dd33f67489d657c90df41e74b3 |
| ISBN | 3662477092 9783662477090 9783662477083 3662477084 |
| IngestDate | Fri Nov 08 04:32:41 EST 2024 Fri May 30 22:01:10 EDT 2025 Tue Apr 22 04:26:21 EDT 2025 Thu Jun 26 22:32:43 EDT 2025 Tue Nov 14 22:49:30 EST 2023 |
| IsPeerReviewed | false |
| IsScholarly | false |
| LCCallNum_Ident | QA |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-a32318-7deab9a2b7ac0a5de67f5f4c6f178f3b67691c5dd33f67489d657c90df41e74b3 |
| Notes | Includes bibliographical references and index |
| OCLC | 912860056 |
| PQID | EBC5595071 |
| PageCount | 219 |
| ParticipantIDs | askewsholts_vlebooks_9783662477090 proquest_ebookcentral_EBC6285559 proquest_ebookcentral_EBC5595071 nii_cinii_1130000794331990272 casalini_monographs_5414025 |
| PublicationCentury | 2000 |
| PublicationDate | 2015 c2015 2015-06-28 |
| PublicationDateYYYYMMDD | 2015-01-01 2015-06-28 |
| PublicationDate_xml | – year: 2015 text: 2015 |
| PublicationDecade | 2010 |
| PublicationPlace | Berlin, Heidelberg |
| PublicationPlace_xml | – name: Netherlands – name: Heidelberg – name: Berlin, Heidelberg |
| PublicationSeriesTitle | LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| PublicationYear | 2015 |
| Publisher | Springer Nature Springer Springer Berlin / Heidelberg |
| Publisher_xml | – name: Springer Nature – name: Springer – name: Springer Berlin / Heidelberg |
| SSID | ssj0001558578 |
| Score | 1.9461981 |
| Snippet | Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on... |
| SourceID | askewsholts proquest nii casalini |
| SourceType | Aggregation Database Publisher |
| SubjectTerms | Computer logic Computer logic -- Congresses Logic, Symbolic and mathematical Logic, Symbolic and mathematical -- Congresses Mathematics. General principles |
| Subtitle | 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings |
| TableOfContents | Intro -- Preface -- Organization -- Invited Papers -- Modeling Language Design for Complex Systems Simulation -- Formalization of Mathematics for Fun and Profit -- From Residuated Lattices via GBI-Algebras to BAOs -- Towards a Nominal Chomsky Hierarchy -- Multi-linear Algebraic Semantics for Natural Language -- Categories of Games -- Learning in the Limit, General Topology, and Modal Logic -- Contents -- The Word Problem for Finitely Presented Quandles is Undecidable -- 1 Introduction -- 2 The Theory of Quandles -- 2.1 The Inner Automorphism Group of a Quandle -- 2.2 The Group Quandle -- 3 The Quandle QG -- 3.1 Representing G in Inn(QG) -- 4 The Embedding -- 4.1 The Group Gx -- 4.2 The Free Product G*"426830A x"526930B -- 4.3 The Word Problem for Quandles -- 5 Racks -- 6 Conclusion and Future Work -- A Identities -- A.1 Idempotence -- A.2 Right Distributivity -- B RQ Is the Same Algebra as Q -- References -- Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language -- 1 Introduction -- 2 The System iFOL -- 3 The System iAL -- 3.1 The Transitive Closure Operator -- 3.2 Realizability Semantics for iAL -- 3.3 Proof System for iAL over Domain D -- 3.4 Soundness for iAL -- 3.5 Reasoning About Programs in iAL -- 4 Further Research -- References -- On Topologically Relevant Fragments of the Logic of Linear Flows of Time -- 1 Introduction -- 2 Linear Flows of Time -- 3 Topological Modal Logic -- 4 Topologies Arising from Combined Tense Modalities -- 5 Supplementary Issues -- 6 Conclusions -- References -- An Equation-Based Classical Logic -- 1 Introduction -- 2 Algebraic Preliminaries -- 3 The Logic -- 3.1 Deductive System -- 3.2 Soundness and Completeness -- 4 Decidability -- 5 Conclusion and Future Work -- 6 Appendix -- References -- Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing 1 Introduction -- 1.1 Cyclic MLL -- 2 Proof Structures -- 2.1 Correctness of Proof Structures -- 2.2 Cut Reduction -- 2.3 Sequentialization -- 3 Embedding Lambek Calculus into CyMLL PNs -- 4 Parsing via Lambek CyMLL PNs -- 5 Conclusions and Further Works -- A Technical Appendices -- A.1 Proof of Theorem 1: Stability of PNs under Cut Reduction -- A.2 Proof of Lemma 1: Splitting -- A.3 Proof of Lemma 2: Cyclic Order Conclusions of a PN -- A.4 Proof of Theorem 5: Sequentialization of Lambek CyMLL PNs -- References -- A Dichotomy Result for Ramsey Quantifiers -- 1 Motivations -- 2 Preliminaries -- 2.1 Generalized Quantifiers -- 2.2 Computational Complexity -- 3 Ramsey Quantifiers -- 3.1 Ramsey Theory and Quantifiers -- 3.2 Basic Proportional Ramsey Quantifiers -- 3.3 Tractable Ramsey Quantifiers -- 3.4 Intermediate Ramsey Quantifiers -- 3.5 Intractable Ramsey Quantifiers -- 4 Conclusions and Outlook -- References -- Parametric Polymorphism --- Universally -- 1 Introduction -- 2 Reynolds' Parametrically Polymorphic Functions -- 3 Fibrational Tools -- 4 Parametrically Polymorphic Functions, Axiomatically -- 5 Conclusion -- References -- On the Weak Index Problem for Game Automata -- 1 Introduction -- 2 Preliminaries -- 3 Computing the Weak Index -- 4 On the Correctness of the Algorithm -- 5 Conclusions -- A Upper Bounds -- B Lower Bounds -- References -- Proof-Theoretic Aspects of the Lambek-Grishin Calculus -- 1 Introduction -- 2 Lambek-Grishin Calculus -- 3 Classical Non-associative Lambek Calculus -- 4 Translation of LG into CNL -- 5 Multimodal Classical Non-Assiociative Lambek Calculus -- 6 Translation of LG into 2-CNL -- 7 Grishin Interactions -- 8 A Sequent Calculus for LG -- 9 Conclusion -- A Proof of Proposition1 -- B Proof of Proposition2 -- References -- Syllogistic Logic with ``Most'' -- 1 Introduction -- 2 Syntax and Semantics -- 3 Proof System 4 Completeness -- 4.1 The Proof When Is All A*are B*. -- 4.2 The Proof When Is MostA*areB* -- 4.3 Starting the Proof When Is SomeA*areB* -- 4.4 A Lemma on Falling Sums -- 4.5 Notation for Sets in Our Model Construction -- 4.6 The Model and the Verification -- 5 No Finite Axiomatization -- 6 Conclusion and Future Work -- References -- Characterizing Frame Definability in Team Semantics via the Universal Modality -- 1 Introduction -- 2 Modal Logic with Universal Modality -- 3 Modal Frame Definability -- 4 Goldblatt--Thomason -style Theorem for -- 5 Frame Definability in Logics with Team Semantics -- 5.1 Syntax and Semantics -- 5.2 Frame Definability in Team Semantics -- 6 Conclusion -- A Modal Logic with Universal Modality -- B Goldblatt-Thomason Theorem -- C Modal Logics with Team Semantics -- References -- An Epistemic Separation Logic -- 1 Introduction -- 2 An Epistemic Separation Logic -- 3 Modelling with Epistemic Separation Logic -- 4 A Tableaux Calculus for Epistemic Separation Logic -- 5 Conclusion -- References -- Equational Properties of Stratified Least Fixed Points (Extended Abstract) -- 1 Introduction -- 2 Categories of Stratified Complete Lattices -- 3 Stratified Least Fixed Points -- 4 The Cartesian Fixed Point Identities -- 5 Appendix -- References -- The p-adic Integers as Final Coalgebra -- 1 Introduction -- 2 The Final Fp-coalgebra -- 3 The Addition and the Multiplication in p -- 3.1 The Addition in p -- 3.2 The Multiplication in p -- References -- Author Index |
| Title | Logic, Language, Information, and Computation |
| URI | http://digital.casalini.it/9783662477090 https://cir.nii.ac.jp/crid/1130000794331990272 https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=5595071 https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=6285559 https://www.vlebooks.com/vleweb/product/openreader?id=none&isbn=9783662477090 |
| Volume | 9160 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LbxMxELZouJATTxFKkYW4sYv2ZXuXWxMFNVXbC23obWWvbRG1SiQ2VGr_A_-ZGe_LDQgEl9Vm5Xit-ZzMN-N5EPLOFq4KShTC9jEhbopQ8UiFPLFWF1IlXOOJ7ukZP7rIji_Z5dDwzmWXbNWH6u63eSX_gyo8A1wxS_YfkO0nhQdwD_jCFRCG6w757T-2mcv4h4XS6dyNeN_WQHXRGm1MZuV6NrQYg-2fJC7613cCore8_rpxbeq-bMC0n70Hbc0c7tfAqocI-4WLCLj4fNjmVd_CwBArMgzfGNRhT9W7-fFUol_2ibfsxbBst-bZsOaeZRtguqsbx3OXoNGa0OjeWxGzHW9F5628Z8WmnCeZEFHT0Wan_PV0igXnsVPvHtkTIh-Rh4fz45Pl4EhjYPGIHPN2unmago_evGMylvUVaA3QKNsaKYisJWaeAqNYr1a_6GFHLs4fkxEmnDwhD8z6KRmf9nV062fkh5NYQDuYA-qBHFAQF_Ugph8pAkzvAUw7AALawEtRYAH1wA3o4iygAGxAEVbqYA3acR6kz8ny0_x8dhS2DTRCmQJvz0OhjVSFTJSQVSSZNlxYZrOK21jkNlUY3xxXTOs0tdh1ptCciaqItM1iIzKVviCj9WZtXhKaMRNxq_I4lUkmrZamgEGyECyuIp3KCXnribi8uXaH_XXp4VBEE7LfSb6E32JTlL0usRU9cO8JOQAwymqF1xjPWYHAFpjSB5QpEcmE0A6m0s3exi-X8-kMDGO0bP40BJOFYdirv7xlnzwaNu5rMtp--24OgHhu1Zt26_0E0AV4Ag |
| linkProvider | Library Specific Holdings |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Logic%2C+language%2C+information%2C+and+computation+%3A+22nd+International+Workshop%2C+WoLLIC+2015%2C+Bloomington%2C+IN%2C+USA%2C+July+20-23%2C+2015%2C+proceedings&rft.au=Workshop+on+Logic%2C+Language%2C+Information+and+Computation&rft.au=De+Paiva%2C+Valeria&rft.date=2015-01-01&rft.pub=Springer&rft.isbn=9783662477083&rft.externalDocID=BB20660375 |
| thumbnail_m | http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fvle.dmmserver.com%2Fmedia%2F640%2F97836624%2F9783662477090.jpg |