skip to content
Logic, language, information and computation : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings Preview this item
ClosePreview this item
Checking...

Logic, language, information and computation : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings

Author: Hiroakira Ono; Makoto Kanazawa; Ruy J G B de Queiroz
Publisher: Berlin ; New York : Springer, ©2009.
Series: Lecture notes in computer science, 5514.; Lecture notes in computer science., Lecture notes in artificial intelligence.; LNCS sublibrary., SL 7,, Artificial intelligence.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

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

Rating:

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

Subjects
More like this

 

Find a copy online

Find a copy in the library

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

Details

Genre/Form: Kongress
Conference papers and proceedings
Tokio (2009)
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Hiroakira Ono; Makoto Kanazawa; Ruy J G B de Queiroz
ISBN: 9783642022609 364202260X
OCLC Number: 401156355
Description: xi, 407 pages : illustrations ; 24 cm.
Contents: Tutorials and Invited Talks.- A Characterisation of Definable NP Search Problems in Peano Arithmetic.- Algebraic Valuations as Behavioral Logical Matrices.- Query Answering in Description Logics: The Knots Approach.- Mathematical Logic for Life Science Ontologies.- Recognizability in the Simply Typed Lambda-Calculus.- Logic-Based Probabilistic Modeling.- Contributed Papers.- Completions of Basic Algebras.- Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization.- Observational Completeness on Abstract Interpretation.- SAT in Monadic Godel Logics: A Borderline between Decidability and Undecidability.- Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points.- First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment.- On-the-Fly Macros.- Abductive Logic Grammars.- On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar.- Observational Effort and Formally Open Mappings.- Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus.- Property Driven Three-Valued Model Checking on Hybrid Automata.- Team Logic and Second-Order Logic.- Ludics and Its Applications to Natural Language Semantics.- Spoilt for Choice: Full First-Order Hierarchical Decompositions.- Classic-Like Analytic Tableaux for Finite-Valued Logics.- A Duality for Algebras of Lattice-Valued Modal Logic.- An Independence Relation for Sets of Secrets.- Expressing Extension-Based Semantics Based on Stratified Minimal Models.- Deep Inference in Bi-intuitionistic Logic.- : An Action-Based Logic for Reasoning about Contracts.- Ehrenfeucht-Fraisse Games on Random Structures.- Sound and Complete Tree-Sequent Calculus for Inquisitive Logic.- The Arrow Calculus as a Quantum Programming Language.- Knowledge, Time, and Logical Omniscience.
Series Title: Lecture notes in computer science, 5514.; Lecture notes in computer science., Lecture notes in artificial intelligence.; LNCS sublibrary., SL 7,, Artificial intelligence.
Responsibility: Hiroakira Ono, Makoto Kanazawa, Ruy de Queiroz (eds.).
More information:

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/401156355> # Logic, language, information and computation : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "401156355" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/906165805#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/906165805#Topic/berechnungstheorie_logik_tokio_2009> ; # Berechnungstheorie--Logik--Tokio <2009>
   schema:about <http://experiment.worldcat.org/entity/work/data/906165805#Topic/formale_grammatik> ; # Formale Grammatik
   schema:about <http://experiment.worldcat.org/entity/work/data/906165805#Topic/formale_methode> ; # Formale Methode
   schema:about <http://experiment.worldcat.org/entity/work/data/906165805#Topic/naturliche_sprache> ; # Natürliche Sprache
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/906165805#Topic/berechnungstheorie> ; # Berechnungstheorie
   schema:about <http://dewey.info/class/005.13/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/906165805#Topic/programmierlogik_tokio_2009> ; # Programmierlogik--Tokio <2009>
   schema:about <http://experiment.worldcat.org/entity/work/data/906165805#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/906165805#Topic/formale_syntax> ; # Formale Syntax
   schema:about <http://experiment.worldcat.org/entity/work/data/906165805#Topic/naturliche_sprache_formale_syntax_formale_grammatik_tokio_2009> ; # Natürliche Sprache--Formale Syntax--Formale Grammatik--Tokio <2009>
   schema:about <http://experiment.worldcat.org/entity/work/data/906165805#Topic/formale_methode_tokio_2009> ; # Formale Methode--Tokio <2009>
   schema:about <http://experiment.worldcat.org/entity/work/data/906165805#Topic/programmierlogik> ; # Programmierlogik
   schema:about <http://experiment.worldcat.org/entity/work/data/906165805#Topic/logik> ; # Logik
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/59253332> ; # Ruy J G B de Queiroz
   schema:contributor <http://viaf.org/viaf/78765715> ; # Makoto Kanazawa
   schema:contributor <http://viaf.org/viaf/254979724> ; # Hiroakira Ono
   schema:copyrightYear "2009" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/906165805#Meeting/workshop_on_logic_language_information_and_computation_16th_2009_tokyo_japan> ; # Workshop on Logic, Language, Information and Computation (16th : 2009 : Tokyo, Japan)
   schema:datePublished "2009" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/906165805> ;
   schema:genre "Tokio (2009)"@en ;
   schema:genre "Kongress"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   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://experiment.worldcat.org/entity/work/data/906165805#Series/lecture_notes_in_artificial_intelligence_subseries_of_lecture_notes_in_computer_science> ; # Lecture notes in artificial intelligence, subseries of Lecture notes in computer science ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/906165805#Series/lncs_sublibrary> ; # LNCS sublibrary.
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/906165805#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
   schema:name "Logic, language, information and computation : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings"@en ;
   schema:productID "401156355" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/401156355#PublicationEvent/berlin_new_york_springer_2009> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/906165805#Agent/springer> ; # Springer
   schema:url <http://dx.doi.org/10.1007/978-3-642-02261-6> ;
   schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=017609468&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
   schema:url <http://d-nb.info/994079338/04> ;
   schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017609468&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
   schema:workExample <http://worldcat.org/isbn/9783642022609> ;
   umbel:isLike <http://d-nb.info/994079338> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/401156355> ;
    .


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_16th_2009_tokyo_japan> # Workshop on Logic, Language, Information and Computation (16th : 2009 : Tokyo, Japan)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/906165805#Place/tokyo_japan> ; # Tokyo, Japan)
   schema:name "Workshop on Logic, Language, Information and Computation (16th : 2009 : Tokyo, Japan)" ;
    .

<http://experiment.worldcat.org/entity/work/data/906165805#Series/lecture_notes_in_artificial_intelligence_subseries_of_lecture_notes_in_computer_science> # Lecture notes in artificial intelligence, subseries of Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/401156355> ; # Logic, language, information and computation : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings
   schema:name "Lecture notes in artificial intelligence, subseries of Lecture notes in computer science ;" ;
    .

<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/401156355> ; # Logic, language, information and computation : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : 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/401156355> ; # Logic, language, information and computation : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : 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/401156355> ; # Logic, language, information and computation : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings
   schema:name "LNCS Sublibrary. SL 7, Artificial intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/906165805#Topic/berechnungstheorie_logik_tokio_2009> # Berechnungstheorie--Logik--Tokio <2009>
    a schema:Intangible ;
   schema:name "Berechnungstheorie--Logik--Tokio <2009>"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/906165805#Topic/formale_methode_tokio_2009> # Formale Methode--Tokio <2009>
    a schema:Intangible ;
   schema:name "Formale Methode--Tokio <2009>"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/906165805#Topic/naturliche_sprache> # Natürliche Sprache
    a schema:Intangible ;
   schema:name "Natürliche Sprache"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/906165805#Topic/naturliche_sprache_formale_syntax_formale_grammatik_tokio_2009> # Natürliche Sprache--Formale Syntax--Formale Grammatik--Tokio <2009>
    a schema:Intangible ;
   schema:name "Natürliche Sprache--Formale Syntax--Formale Grammatik--Tokio <2009>"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/906165805#Topic/programmierlogik_tokio_2009> # Programmierlogik--Tokio <2009>
    a schema:Intangible ;
   schema:name "Programmierlogik--Tokio <2009>"@en ;
    .

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

<http://viaf.org/viaf/254979724> # Hiroakira Ono
    a schema:Person ;
   schema:familyName "Ono" ;
   schema:givenName "Hiroakira" ;
   schema:name "Hiroakira Ono" ;
    .

<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://viaf.org/viaf/78765715> # Makoto Kanazawa
    a schema:Person ;
   schema:birthDate "1964" ;
   schema:familyName "Kanazawa" ;
   schema:givenName "Makoto" ;
   schema:name "Makoto Kanazawa" ;
    .

<http://worldcat.org/isbn/9783642022609>
    a schema:ProductModel ;
   schema:isbn "364202260X" ;
   schema:isbn "9783642022609" ;
    .

<http://www.worldcat.org/title/-/oclc/401156355>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/401156355> ; # Logic, language, information and computation : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings
   schema:dateModified "2017-12-23" ;
   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.