skip to content
Logic, language, information and computation : 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008 : proceedings Preview this item
ClosePreview this item
Checking...

Logic, language, information and computation : 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008 : proceedings

Author: Wilfrid Hodges; Ruy J G B de Queiroz
Publisher: Berlin ; New York : Springer, ©2008.
Series: Lecture notes in computer science, 5110.; Lecture notes in computer science., Lecture notes in artificial intelligence.; LNCS sublibrary., SL 7,, Artificial intelligence.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
Annotation Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the4th 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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
Workshop on Logic, Language, Information and Computation (15th : 2008 : Edinburgh, U.K.).
Logic, language, information and computation.
Berlin ; New York : Springer, ©2008
(OCoLC)232963813
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Wilfrid Hodges; Ruy J G B de Queiroz
ISBN: 9783540699378 3540699376
OCLC Number: 272306892
Description: 1 online resource (viii, 312 pages) : illustrations.
Contents: Tutorials and Invited Lectures.- Inter-deriving Semantic Artifacts for Object-Oriented Programming.- On the Descriptive Complexity of Linear Algebra.- Talks on Quantum Computing.- On Game Semantics of the Affine and Intuitionistic Logics.- The Grammar of Scope.- Contributed Papers.- Conjunctive Grammars and Alternating Pushdown Automata.- Expressive Power and Decidability for Memory Logics.- Reasoning with Uncertainty by Nmatrix-Metric Semantics.- A Propositional Dynamic Logic for CCS Programs.- Towards Ontology Evolution in Physics.- Nominal Matching and Alpha-Equivalence.- Interval Additive Generators of Interval T-Norms.- Propositional Dynamic Logic as a Logic of Belief Revision.- Time Complexity and Convergence Analysis of Domain Theoretic Picard Method.- On the Formal Semantics of IF-Like Logics.- One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations.- Labelled Calculi for ?ukasiewicz Logics.- An Infinitely-Often One-Way Function Based on an Average-Case Assumption.- On Characteristic Constants of Theories Defined by Kolmogorov Complexity.- Adversary Lower Bounds for Nonadaptive Quantum Algorithms.- On Second-Order Monadic Groupoidal Quantifiers.- Inference Processes for Quantified Predicate Knowledge.- Using ? -ctl to Specify Complex Planning Goals.- Hyperintensional Questions.- Skolem Theory and Generalized Quantifiers.- On a Graph Calculus for Algebras of Relations.
Series Title: Lecture notes in computer science, 5110.; Lecture notes in computer science., Lecture notes in artificial intelligence.; LNCS sublibrary., SL 7,, Artificial intelligence.
Other Titles: Workshop on Logic, Language, Information and Computation
WoLLIC 2008
Responsibility: Wilfrid Hodges, Ruy de Queiroz (eds.).

Abstract:

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline;  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/272306892> # Logic, language, information and computation : 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008 : proceedings
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "272306892" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/906165805#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/906165805#Topic/informatique> ; # Informatique
    schema:about <http://experiment.worldcat.org/entity/work/data/906165805#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://dewey.info/class/004/e22/> ;
    schema:alternateName "Workshop on Logic, Language, Information and Computation" ;
    schema:alternateName "WoLLIC 2008" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/59253332> ; # Ruy J G B de Queiroz
    schema:contributor <http://viaf.org/viaf/44358501> ; # Wilfrid Hodges
    schema:copyrightYear "2008" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/906165805#Meeting/workshop_on_logic_language_information_and_computation_15th_2008_edinburgh_great_britain> ; # Workshop on Logic, Language, Information and Computation (15th : 2008 : Edinburgh, Great Britain)
    schema:datePublished "2008" ;
    schema:description "Annotation Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the4th 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."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/906165805> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/906165805#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/906165805#Series/lncs_sublibrary_sl_7_artificial_intelligence> ; # LNCS sublibrary: SL 7 - Artificial intelligence
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science, Lecture notes in artificial intelligence
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/906165805#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isSimilarTo <http://www.worldcat.org/oclc/232963813> ;
    schema:name "Logic, language, information and computation : 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008 : proceedings"@en ;
    schema:productID "272306892" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/272306892#PublicationEvent/berlin_new_york_springer_2008> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/906165805#Agent/springer> ; # Springer
    schema:url <http://www.myilibrary.com?id=184975> ;
    schema:url <http://gate.lib.buffalo.edu/login?url=https://link.springer.com/book/10.1007/978-3-540-69937-8> ;
    schema:url <http://site.ebrary.com/id/10532854> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-69936-1> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-540-69936-1> ;
    schema:url <http://springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=5110> ;
    schema:url <http://link.springer.com/10.1007/978-3-540-69937-8> ;
    schema:url <http://dx.doi.org/10.1007/978-3-540-69937-8> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3068477> ;
    schema:workExample <http://worldcat.org/isbn/9783540699378> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/272306892> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/906165805#Meeting/workshop_on_logic_language_information_and_computation_15th_2008_edinburgh_great_britain> # Workshop on Logic, Language, Information and Computation (15th : 2008 : Edinburgh, Great Britain)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/906165805#Place/edinburgh_great_britain> ; # Edinburgh, Great Britain)
    schema:name "Workshop on Logic, Language, Information and Computation (15th : 2008 : Edinburgh, Great Britain)" ;
    .

<http://experiment.worldcat.org/entity/work/data/906165805#Place/edinburgh_great_britain> # Edinburgh, Great Britain)
    a schema:Place ;
    schema:name "Edinburgh, Great Britain)" ;
    .

<http://experiment.worldcat.org/entity/work/data/906165805#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/272306892> ; # Logic, language, information and computation : 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008 : proceedings
    schema:name "Lecture notes in computer science." ;
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/906165805#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/272306892> ; # Logic, language, information and computation : 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008 : proceedings
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/906165805#Series/lncs_sublibrary_sl_7_artificial_intelligence> # LNCS sublibrary: SL 7 - Artificial intelligence
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/272306892> ; # Logic, language, information and computation : 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008 : proceedings
    schema:name "LNCS sublibrary: SL 7 - Artificial intelligence" ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://viaf.org/viaf/44358501> # Wilfrid Hodges
    a schema:Person ;
    schema:familyName "Hodges" ;
    schema:givenName "Wilfrid" ;
    schema:name "Wilfrid Hodges" ;
    .

<http://viaf.org/viaf/59253332> # Ruy J G B de Queiroz
    a schema:Person ;
    schema:familyName "Queiroz" ;
    schema:givenName "Ruy J. G. B. de" ;
    schema:name "Ruy J G B de Queiroz" ;
    .

<http://worldcat.org/isbn/9783540699378>
    a schema:ProductModel ;
    schema:isbn "3540699376" ;
    schema:isbn "9783540699378" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science, Lecture notes in artificial intelligence
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/272306892> ; # Logic, language, information and computation : 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008 : proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science, Lecture notes in artificial intelligence" ;
    .

<http://www.worldcat.org/oclc/232963813>
    a schema:CreativeWork ;
    rdfs:label "Logic, language, information and computation." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/272306892> ; # Logic, language, information and computation : 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/272306892>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/272306892> ; # Logic, language, information and computation : 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008 : proceedings
    schema:dateModified "2018-02-09" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.