skip to content
Logic, language, information, and computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings Preview this item
ClosePreview this item
Checking...

Logic, language, information, and computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

Author: J Väänänen; Åsa Hirvonen; Ruy J G B de Queiroz
Publisher: Berlin : Springer, 2016.
Series: Lecture notes in computer science, 9803.; Lecture notes in computer science., Lecture notes in artificial intelligence., FoLLI publications on logic, language and information.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 23rd Workshop on Logic, Language, Information and Communication, WoLLIC 2016, held in Puebla, Mexico, in August 2016. The 23 contributed papers, presented together with 9 invited lectures and tutorials, were carefully reviewed and selected from 33 submissions. The focus of the  Read more...
Rating:

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

Subjects
More like this

 

Find a copy online

Links to this item

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: Printed edition:
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: J Väänänen; Åsa Hirvonen; Ruy J G B de Queiroz
ISBN: 9783662529218 3662529211
OCLC Number: 956529178
Notes: International conference proceedings.
Description: 1 online resource (xxii, 447 pages) : illustrations.
Contents: Formal logic --
Computing. -Programming theory --
Natural language and reasoning.
Series Title: Lecture notes in computer science, 9803.; Lecture notes in computer science., Lecture notes in artificial intelligence., FoLLI publications on logic, language and information.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Other Titles: WoLLIC 2016
Responsibility: Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz (eds.).

Abstract:

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 23rd Workshop on Logic, Language, Information and Communication, WoLLIC 2016, held in Puebla, Mexico, in August 2016. The 23 contributed papers, presented together with 9 invited lectures and tutorials, were carefully reviewed and selected from 33 submissions. The focus of the workshop is to provide a forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning.

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/956529178> # Logic, language, information, and computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
   library:oclcnum "956529178" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/3149854136#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
   schema:about <http://experiment.worldcat.org/entity/work/data/3149854136#Topic/language_and_logic> ; # Language and logic
   schema:about <http://experiment.worldcat.org/entity/work/data/3149854136#Topic/algorithm_analysis_and_problem_complexity> ; # Algorithm Analysis and Problem Complexity
   schema:about <http://experiment.worldcat.org/entity/work/data/3149854136#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:about <http://dewey.info/class/005.131/e23/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/3149854136#Topic/symbolic_and_algebraic_manipulation> ; # Symbolic and Algebraic Manipulation
   schema:about <http://experiment.worldcat.org/entity/work/data/3149854136#Topic/artificial_intelligence_incl_robotics> ; # Artificial Intelligence (incl. Robotics)
   schema:about <http://experiment.worldcat.org/entity/work/data/3149854136#Topic/computer_science> ; # Computer Science
   schema:about <http://experiment.worldcat.org/entity/work/data/3149854136#Topic/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages
   schema:alternateName "WoLLIC 2016" ;
   schema:bookFormat schema:EBook ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/3149854136#Meeting/workshop_on_logic_language_information_and_computation_23rd_2016_puebla_mexico> ; # Workshop on Logic, Language, Information and Computation (23rd : 2016 : Puebla, Mexico)
   schema:datePublished "2016" ;
   schema:description "Formal logic -- Computing. -Programming theory -- Natural language and reasoning."@en ;
   schema:description "Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 23rd Workshop on Logic, Language, Information and Communication, WoLLIC 2016, held in Puebla, Mexico, in August 2016. The 23 contributed papers, presented together with 9 invited lectures and tutorials, were carefully reviewed and selected from 33 submissions. The focus of the workshop is to provide a forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning."@en ;
   schema:editor <http://experiment.worldcat.org/entity/work/data/3149854136#Person/vaananen_j_jouko_1950> ; # Jouko Väänänen
   schema:editor <http://experiment.worldcat.org/entity/work/data/3149854136#Person/queiroz_ruy_j_g_b_de> ; # Ruy J. G. B. de Queiroz
   schema:editor <http://experiment.worldcat.org/entity/work/data/3149854136#Person/hirvonen_asa> ; # Åsa Hirvonen
   schema:exampleOfWork <http://worldcat.org/entity/work/id/3149854136> ;
   schema:genre "Electronic books"@en ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3149854136#Series/lncs_sublibrary> ; # LNCS sublibrary.
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3149854136#Series/folli_publications_on_logic_language_and_information> ; # FoLLI publications on logic, language and information
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3149854136#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> ; # LNCS sublibrary. SL 1, Theoretical computer science and general issues
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3149854136#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
   schema:isSimilarTo <http://worldcat.org/entity/work/data/3149854136#CreativeWork/> ;
   schema:name "Logic, language, information, and computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings"@en ;
   schema:productID "956529178" ;
   schema:url <https://grinnell.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-662-52921-8> ;
   schema:url <http://alias.libraries.psu.edu/eresources/proxy/login?url=http://dx.doi.org/10.1007/978-3-662-52921-8> ;
   schema:url <http://dx.doi.org/10.1007/978-3-662-52921-8> ;
   schema:url <http://proxy.artic.edu/login?url=http://link.springer.com/10.1007/978-3-662-52921-8> ;
   schema:url <http://link.springer.com/10.1007/978-3-662-52921-8> ;
   schema:url <http://er.llcc.edu:2048/login?url=http://link.springer.com/10.1007/978-3-662-52921-8> ;
   schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://link.springer.com/10.1007/978-3-662-52921-8> ;
   schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-662-52920-1> ;
   schema:url <https://proxy1.library.eiu.edu/login?url=http://link.springer.com/10.1007/978-3-662-52921-8> ;
   schema:url <http://sfx.carli.illinois.edu/sfxwhe/sfx_local?genre=book&sid=Voyager:WHE&sfx.ignore_date_threshold=1&svc.fulltext=yes&rft.isbn=978-3-662-52921-8> ;
   schema:url <https://login.libproxy.noctrl.edu/login?url=http://link.springer.com/10.1007/978-3-662-52921-8> ;
   schema:workExample <http://worldcat.org/isbn/9783662529218> ;
   schema:workExample <http://dx.doi.org/10.1007/978-3-662-52921-8> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/956529178> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/3149854136#Meeting/workshop_on_logic_language_information_and_computation_23rd_2016_puebla_mexico> # Workshop on Logic, Language, Information and Computation (23rd : 2016 : Puebla, Mexico)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/3149854136#Place/puebla_mexico> ; # Puebla, Mexico)
   schema:name "Workshop on Logic, Language, Information and Computation (23rd : 2016 : Puebla, Mexico)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3149854136#Person/hirvonen_asa> # Åsa Hirvonen
    a schema:Person ;
   schema:familyName "Hirvonen" ;
   schema:givenName "Åsa" ;
   schema:name "Åsa Hirvonen" ;
    .

<http://experiment.worldcat.org/entity/work/data/3149854136#Person/queiroz_ruy_j_g_b_de> # 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://experiment.worldcat.org/entity/work/data/3149854136#Person/vaananen_j_jouko_1950> # Jouko Väänänen
    a schema:Person ;
   schema:birthDate "1950" ;
   schema:familyName "Väänänen" ;
   schema:givenName "Jouko" ;
   schema:givenName "J." ;
   schema:name "Jouko Väänänen" ;
    .

<http://experiment.worldcat.org/entity/work/data/3149854136#Series/folli_publications_on_logic_language_and_information> # FoLLI publications on logic, language and information
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/956529178> ; # Logic, language, information, and computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
   schema:name "FoLLI publications on logic, language and information" ;
    .

<http://experiment.worldcat.org/entity/work/data/3149854136#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/956529178> ; # Logic, language, information, and computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
   schema:name "Lecture notes in computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/3149854136#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/956529178> ; # Logic, language, information, and computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
   schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/3149854136#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/956529178> ; # Logic, language, information, and computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
   schema:name "LNCS sublibrary. SL 1, Theoretical computer science and general issues" ;
    .

<http://experiment.worldcat.org/entity/work/data/3149854136#Topic/algorithm_analysis_and_problem_complexity> # Algorithm Analysis and Problem Complexity
    a schema:Intangible ;
   schema:name "Algorithm Analysis and Problem Complexity"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3149854136#Topic/artificial_intelligence_incl_robotics> # Artificial Intelligence (incl. Robotics)
    a schema:Intangible ;
   schema:name "Artificial Intelligence (incl. Robotics)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3149854136#Topic/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3149854136#Topic/logics_and_meanings_of_programs> # Logics and Meanings of Programs
    a schema:Intangible ;
   schema:name "Logics and Meanings of Programs"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3149854136#Topic/mathematical_logic_and_formal_languages> # Mathematical Logic and Formal Languages
    a schema:Intangible ;
   schema:name "Mathematical Logic and Formal Languages"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3149854136#Topic/symbolic_and_algebraic_manipulation> # Symbolic and Algebraic Manipulation
    a schema:Intangible ;
   schema:name "Symbolic and Algebraic Manipulation"@en ;
    .

<http://link.springer.com/10.1007/978-3-662-52921-8>
   rdfs:comment "Available to Stanford-affiliated users." ;
    .

<http://worldcat.org/entity/work/data/3149854136#CreativeWork/>
    a schema:CreativeWork ;
   schema:description "Printed edition:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/956529178> ; # Logic, language, information, and computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
    .

<http://worldcat.org/isbn/9783662529218>
    a schema:ProductModel ;
   schema:isbn "3662529211" ;
   schema:isbn "9783662529218" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/956529178> ; # Logic, language, information, and computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/956529178>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/956529178> ; # Logic, language, information, and computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
   schema:dateModified "2017-09-02" ;
   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.