Logic, language, information and computation : 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008 : proceedings
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008, held in Edinbur...
Saved in:
| Main Authors | , , |
|---|---|
| Format | eBook Book |
| Language | English |
| Published |
Berlin ; New York
Springer
2008
Springer Berlin / Heidelberg |
| Edition | 1 |
| Series | Lecture Notes in Computer Science |
| Subjects | |
| Online Access | Get full text |
Cover
Loading…
| Abstract | Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008, held in Edinburgh, UK, in July 2008.The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed and selected from numerous submissions. The papers cover all pertinent subjects in computer science with particular interest in cross-disciplinary topics. Typical areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. |
|---|---|
| AbstractList | Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008, held in Edinburgh, UK, in July 2008.The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed and selected from numerous submissions. The papers cover all pertinent subjects in computer science with particular interest in cross-disciplinary topics. Typical areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. |
| Author | Workshop on Logic, Language, Information and Computation Hodges, Wilfrid Queiroz, Ruy J. G. B. de |
| Author_xml | – sequence: 1 fullname: Workshop on Logic, Language, Information and Computation – sequence: 2 fullname: Hodges, Wilfrid – sequence: 3 fullname: Queiroz, Ruy J. G. B. de |
| BackLink | https://cir.nii.ac.jp/crid/1130282270827627520$$DView record in CiNii |
| BookMark | eNpVkMlOwzAQho1YRCl9Bx-QEFIiObYTO9wgKlCIxIXlGDm2k4amdokTEHceHLeBA3OY9dOvmTkBB8YavQdmKeMkpihJU8L4Pjj5KxJ-BCaYYYISnuJjMHPuDXkjsTcyAd-5rRsZwFaYehC1DmBjKtutRd9YA4VRUNr1ZujH-hJGcb-EC9PrzuxaooWvtlu5pd0EPsvzRQYxQjyAc9WYcujqZQCfHwJ4P7RfMAppsBt7pU1npdYeqt0pOKxE6_TsN07By838KbsL88fbRXaVh4JiREmIE05IrEusBRXcHyRRyhBhCZVESayUFFVVkSiRZUUSqaSmpaYpilWl0ijSZAouRmHhVvrTL932rvhodWntyhX_fujZ85H1i74P2vXFDpPa9J1oi_l1tv0pZcyTZyNpmqaQzdZHEUGYY8wQxyzBLMaI_ADa9Xnq |
| ContentType | eBook Book |
| DBID | RYH |
| DatabaseName | CiNii Complete |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering Mathematics Computer Science Philosophy |
| DocumentTitleAlternate | WoLLIC 2008 |
| EISBN | 9783540699378 3540699376 |
| Edition | 1 2008 edition. |
| ExternalDocumentID | 9783540699378 EBC3068477 BA90050291 |
| GroupedDBID | 089 0D6 0DA 2HV 38. A4J AABBV AABFA AAJYQ AATVQ AAUKK ABBUY ABCYT ABGTP ABMNI ACANT ACDTA ACDUY ACHXG ACKTP AEDXK AEHEY AEJLV AEKFX AETDV AEZAY AHNNE ALMA_UNASSIGNED_HOLDINGS ATJMZ AZZ BBABE CZZ E6I IW- JJU MA. MMI NUU RYH SBO SVJCK TPJZQ TSXQS AAFYB LDH SAO |
| ID | FETCH-LOGICAL-a42043-268335eb2ea4a8689c09703764c3dc2ddcafff316cbf36cdce4be4905dfd911e3 |
| ISBN | 3540699368 9783540699361 |
| IngestDate | Fri Nov 08 03:54:36 EST 2024 Wed Jun 18 05:38:37 EDT 2025 Thu Jun 26 23:56:12 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | false |
| LCCallNum_Ident | BC1-199 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-a42043-268335eb2ea4a8689c09703764c3dc2ddcafff316cbf36cdce4be4905dfd911e3 |
| Notes | Includes bibliographies and index "Workshop on Logic, Language, Information and Computation (WoLLIC) ..."--Pref |
| OCLC | 272306892 |
| PQID | EBC3068477 |
| PageCount | 320 |
| ParticipantIDs | askewsholts_vlebooks_9783540699378 proquest_ebookcentral_EBC3068477 nii_cinii_1130282270827627520 |
| PublicationCentury | 2000 |
| PublicationDate | c2008 2008 2008-06-27 |
| PublicationDateYYYYMMDD | 2008-01-01 2008-06-27 |
| PublicationDate_xml | – year: 2008 text: c2008 |
| PublicationDecade | 2000 |
| PublicationPlace | Berlin ; New York |
| PublicationPlace_xml | – name: Berlin ; New York – name: Berlin, Heidelberg |
| PublicationSeriesTitle | Lecture Notes in Computer Science |
| PublicationYear | 2008 |
| Publisher | Springer Springer Berlin / Heidelberg |
| Publisher_xml | – name: Springer – name: Springer Berlin / Heidelberg |
| SSID | ssj0000355553 |
| Score | 1.8174528 |
| Snippet | Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline;... |
| SourceID | askewsholts proquest nii |
| SourceType | Aggregation Database Publisher |
| SubjectTerms | Congresses Logic, Symbolic and mathematical Logic, Symbolic and mathematical -- Congresses |
| TableOfContents | Title Page -- Preface -- Organization -- Table of Contents -- Inter-deriving Semantic Artifacts for Object-Oriented Programming (Extended Abstract) -- Introduction -- Background and First Contribution -- Further Background and Contributions -- Overview -- Abadi and Cardelli's Untyped Calculus of Objects: The \varsigma-Calculus -- A Reduction Semantics -- The Corresponding Abstract Machine -- The Corresponding Natural Semantics -- Summary and Conclusion -- Object Methods as Closures: the \varsigma\rho-Calculus -- A Natural Semantics -- The Corresponding Abstract Machine -- The Corresponding Reduction Semantics -- Summary and Conclusion -- Coherence between the -Calculus and the \varsigma\rho-Calculus -- From Closures to Terms -- A Bisimulation between the Two Abstract Machines -- Related Work -- Conclusion and Issues -- On the Descriptive Complexity of Linear Algebra -- Introduction -- Fixed-Point and Counting Logics -- Problems from Linear Algebra -- Further Directions -- Conclusion -- Talks on Quantum Computing -- Tutorial 1: A Rosetta Stone for Quantum Computing -- Tutorial 2: Quantum Algorithms: Past, Present, and Future -- Invited Talk: Quantum Knots and Mosaics -- On Game Semantics of the Affine and Intuitionistic Logics (Extended Abstract) -- Logic of Tasks and Intuitionistic Logic -- The Semantics -- Accomplishable Formulas and Affine Logic -- Accomplishable Formulas and the Intuitionistic Propositional Calculus IPC -- Japaridze's Game Semantics and Accomplishability -- Static Games -- Operations on Games -- Winnable = Accomplishable -- Countable Branching Recurrence -- Historical and Terminological Remarks -- Uncountable Branching Recurrence -- Summary of Results -- The Grammar of Scope -- Conjunctive Grammars and Alternating Pushdown Automata (Extended Abstract) -- Introduction -- Conjunctive Grammars Proofs of Theorems 4, 5 and 7 -- Bounded {\euro}ukasiewicz Logic -- An Infinitely-Often One-Way Function Based on an Average-Case Assumption -- Introduction -- Preliminaries -- Average-Case Complexity -- Infinitely-Often One-Way Functions -- Main Result -- Proof Strategy -- Proof Details -- On Characteristic Constants of Theories Defined by Kolmogorov Complexity -- Introduction -- Arithmetizing Computability -- Characteristic Constants -- Adversary Lower Bounds for Nonadaptive Quantum Algorithms -- Introduction -- Definition of the Model -- A Direct Method -- Lower Bound Theorem and Applications -- Proof of Theorem 3 -- From the Dual to the Primal -- Application to Ordered Search and Connectivity -- Some Open Problems -- On Second-Order Monadic Groupoidal Quantifiers -- Introduction -- Generalized Quantifiers -- Groupoidal Quantifiers {Q_L} -- Groupoidal Quantifiers Q^{\star}_L -- Connection to Leaf Automata -- Conclusion -- Inference Processes for Quantified Predicate Knowledge -- Motivation -- The Method -- The Existence of the Limit -- Some Generalizations -- Using {\alpha}-CTL to Specify Complex Planning Goals -- Introduction -- Planning Based on Model Checking -- Domains, Problems and Solutions -- The Branching Time Temporal Logic CTL -- Goal Specification Using CTL -- The New Branching Time Temporal Logic {\alpha}-CTL -- The Syntax of -ctl -- The Models in -ctl -- The Semantics of -ctl -- Goal Specification in {\alpha}-CTL -- An Agent Who Tries Its Best -- Specifying ``Try Its Best to Achieve g'' in {\alpha}-CTL -- Comparing Specifications in {\alpha}-CTL and p-CTL -- Conclusion -- Hyperintensional Questions -- Introduction -- Higher Order Logic (HOL) with Subtypes -- The Theory of Meanings -- Worlds and Extensions at Them -- Questions in a Hyperintensional Setting -- What Have We Gained? What Have We Lost? Linear Conjunctive Grammars -- Synchronized Alternating Pushdown Automata -- Main Results -- Mildly Context-Sensitive Languages -- Related Work -- Alternating Grammars -- Conjunction in Lambek Categorial Grammars -- Concluding Remarks -- Expressive Power and Decidability for Memory Logics -- Memory Logics: Hybrid Logics with a Twist -- Bisimulation -- Expressivity -- Infinite Models and Undecidability -- Conclusions and Further Work -- Reasoning with Uncertainty by Nmatrix-Metric Semantics -- Introduction -- Distance-Based Non-deterministic Semantics -- Non-deterministic Matrices -- Preferential Distance-Based Entailments -- Examples of Reasoning with \models_\Ss -- General Properties of \models_\Ss -- Some Particular Cases of Reasoning with \models_\Ss -- Supplementary Material -- A Propositional Dynamic Logic for CCS Programs -- Introduction -- Background -- Propositional Dynamic Logic -- Calculus for Communicating Systems -- PDL for CCS Programs without Constants -- Language and Semantics -- Proof Theory -- PDL for CCS Programs -- Language and Semantics -- Proof Theory -- Final Remarks and Future Work -- Completeness Proof -- Towards Ontology Evolution in Physics -- Introduction -- Related Work -- Ontology Repair Plans -- Implementation -- Applications to the Development Case Studies -- The Application of wms to the Discovery of Latent Heat -- The Application of wms to Dark Matter -- The Application of Inconstancy to Modified Newtonian Mechanics -- Conclusion -- The ``Where's My Stuff?" Ontology Repair Plan -- The Inconstancy Ontology Repair Plan -- Example Code -- Nominal Matching and Alpha-Equivalence -- Introduction -- Background -- The Algorithm -- Core Algorithm -- Checking the Validity of {\alpha}-Equivalence Constraints -- Solving Matching Problems -- Implementation -- Complexity -- Benchmarks -- Conclusions Interval Additive Generators of Interval T-Norms -- Introduction -- Interval Representations -- Additive Generators and T-Norms -- Interval T-Norms -- Interval Additive Generators of Interval T-Norms -- Conclusion and Final Remarks -- Propositional Dynamic Logic as a Logic of Belief Revision -- Introduction -- PDL as a Belief Revision Logic -- Action Model Update -- Adding Factual Change and Belief Change -- Expressivity of Action Update with Changes -- Future Work -- Time Complexity and Convergence Analysis of Domain Theoretic Picard Method -- Context -- Implementation of Picard Iteration -- Approximating Reals and Functions -- Overview of the Solver -- Convergence Analysis -- Convergence Analysis: No Round-O Errors -- Convergence Analysis: Round-O Errors -- Optimising the IVP Solver -- Prediction of Computation Time -- Conclusion -- References -- On the Formal Semantics of IF-Like Logics -- Introduction -- Preliminaries -- Syntax -- Semantics -- Signaling Kicks in -- Uniform Semantics for Regular and Irregular Formulas -- Game Theoretical Semantics for IF with Flattening -- Conclusions -- Technical Appendix -- Compositionality for T-Semantics -- Proof of Proposition 1 -- Proof of Theorem 1 -- Proof of Theorem 3 -- Proof of Theorem 4 -- One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations -- Introduction -- Terms, Types, and Natural Deduction -- Terms and Types -- Examples -- Natural Deduction -- Admissible Rules -- Derivation-Search (Sketch) -- Conclusions -- Technical Appendix -- Labelled Calculi for {\euro}ukasiewicz Logics -- Introduction -- {\euro}ukasiewicz Logics -- Labelled Proof Rules for {{\euro}_n} -- New Decision Procedures for {{\euro}_n} -- The {\mathbb{Z}}{\euro} Calculus -- A Terminating Calculus for {\euro} -- Conclusion and Perspectives -- Proofs of Propositions 3 and 4 Skolem Theory and Generalized Quantifiers -- Introduction -- Are Independent Set Readings Really Available in NL? -- The Need of Maximality Conditions -- Extending Sher's Theory to All NL Determiners -- A Uniform Logical Framework for Referential NPs -- Conclusions -- On a Graph Calculus for Algebras of Relations -- Introduction -- Relational Framework -- Non-negative Graph Relational Framework -- Non-negative Graph Relational Calculus -- Full-Relational Graph Calculus -- Proof Theory for Linear Lattices -- Conclusion -- References -- Author Index |
| Title | Logic, language, information and computation : 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008 : proceedings |
| URI | https://cir.nii.ac.jp/crid/1130282270827627520 https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=3068477 https://www.vlebooks.com/vleweb/product/openreader?id=none&isbn=9783540699378 |
| Volume | 5110 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LS8NAEB60vehFrYr1RRBvNpImm01yVKkUUVFR8Rb2CcHSQh-C_npnt0ma1oLoZdksSQ7fJDOzs_PNAJy2BYtVwHxX6pi6RDCOepBrV8gY7bUKIyFMQP_unnZfyM1b-DbrIGbZJWN-Lr6W8kr-I1VcQ7kaluwfJFu-FBdwjvLFESWM44LzW17mzGWjsKa05mm4cfqrl0xEeyQwbdgwd9LeHZiaDjavLuvpYZHNbvNYHycqGw5sPPlp8jkXDYgXogFFNPAsL5ZlSp8vK5iVB3yo8U7iqjJE_8ubmYYyYa9zeYV7C7Rk0SrUfUIDUoP6Refm9rUMaHnouYSmx_Q6G72jgkblPR6hxe5n2Q87Z4338ybUlWF0bMGK6jdgo-hj4eRqrQHrlaKMeHVXVrIdNWDtoej18LkNLYt7yylQbzkVzB3E3KlgvgOv153nq66bt5twGTEMYdenhoGmuK8YYTGNE-ElqBAjSkQghS-lYFrroE0F1wEVUijCFUm8UGqJNkMFu1DrD_pqDxweEJ8bdBnu10Jf4kwnUUATwQnRbd6EkwpK6UfPHo2P0jm5NOEIwUtFZsa2OWFGby5Cny0ypaV9rwlOAWtqn8_zedOZtPZ_v-UA1mYf0iHUxsOJOkJHa8yPcxF_A-vmKkA |
| 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+and+Computation&rft.au=Hodges%2C+Wilfrid&rft.au=de+Queiroz%2C+Ruy&rft.date=2008-01-01&rft.pub=Springer+Berlin+%2F+Heidelberg&rft.isbn=9783540699378&rft.volume=5110&rft.externalDocID=EBC3068477 |
| thumbnail_m | http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fvle.dmmserver.com%2Fmedia%2F640%2F97835406%2F9783540699378.jpg |