![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/jolli/jolli13.bht:"
@article{DBLP:journals/jolli/AllweinDP04, author = {Gerard Allwein and Hilmi Demir and Lee Pike}, title = {Logics for Classes of Boolean Monoids}, journal = {J. Log. Lang. Inf.}, volume = {13}, number = {3}, pages = {241--266}, year = {2004}, url = {https://doi.org/10.1023/B:JLLI.0000028336.64373.f6}, doi = {10.1023/B:JLLI.0000028336.64373.F6}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/AllweinDP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/ArecesB04, author = {Carlos Areces and Raffaella Bernardi}, title = {Analyzing the Core of Categorial Grammar}, journal = {J. Log. Lang. Inf.}, volume = {13}, number = {2}, pages = {121--137}, year = {2004}, url = {https://doi.org/10.1023/B:JLLI.0000024730.34743.fa}, doi = {10.1023/B:JLLI.0000024730.34743.FA}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/ArecesB04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/Ben-AviW04, author = {Gilad Ben{-}Avi and Yoad Winter}, title = {Scope Dominance with Monotone Quantifiers over Finite Domains}, journal = {J. Log. Lang. Inf.}, volume = {13}, number = {4}, pages = {385--402}, year = {2004}, url = {https://doi.org/10.1007/s10849-004-2112-z}, doi = {10.1007/S10849-004-2112-Z}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/Ben-AviW04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/Berk04, author = {Lon A. Berk}, title = {The Liar, Context and Logical Form}, journal = {J. Log. Lang. Inf.}, volume = {13}, number = {3}, pages = {267--286}, year = {2004}, url = {https://doi.org/10.1023/B:JLLI.0000028338.34016.2f}, doi = {10.1023/B:JLLI.0000028338.34016.2F}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/Berk04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/Bernardi04, author = {Raffaella Bernardi}, title = {The Syntactic Process: Language, Speech, and Communication, Mark Steedman}, journal = {J. Log. Lang. Inf.}, volume = {13}, number = {4}, pages = {526--530}, year = {2004}, url = {https://doi.org/10.1007/s10849-004-4005-6}, doi = {10.1007/S10849-004-4005-6}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/Bernardi04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/BlackburnK04, author = {Patrick Blackburn and Michael Kohlhase}, title = {Inference and Computational Semantics}, journal = {J. Log. Lang. Inf.}, volume = {13}, number = {2}, pages = {117--120}, year = {2004}, url = {https://doi.org/10.1023/B:JLLI.0000024788.38738.bb}, doi = {10.1023/B:JLLI.0000024788.38738.BB}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/BlackburnK04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/Bos04, author = {Johan Bos}, title = {Computational Semantics in Discourse: Underspecification, Resolution, and Inference}, journal = {J. Log. Lang. Inf.}, volume = {13}, number = {2}, pages = {139--157}, year = {2004}, url = {https://doi.org/10.1023/B:JLLI.0000024731.26883.86}, doi = {10.1023/B:JLLI.0000024731.26883.86}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/Bos04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/Brauner04, author = {Torben Bra{\"{u}}ner}, title = {Two Natural Deduction Systems for Hybrid Logic: {A} Comparison}, journal = {J. Log. Lang. Inf.}, volume = {13}, number = {1}, pages = {1--23}, year = {2004}, url = {https://doi.org/10.1023/A:1026187215321}, doi = {10.1023/A:1026187215321}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/Brauner04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/Castano04, author = {Jos{\'{e}} M. Casta{\~{n}}o}, title = {Global Index Grammars and Descriptive Power}, journal = {J. Log. Lang. Inf.}, volume = {13}, number = {4}, pages = {403--419}, year = {2004}, url = {https://doi.org/10.1007/s10849-004-2113-y}, doi = {10.1007/S10849-004-2113-Y}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/Castano04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/Fong04, author = {Sandiway Fong}, title = {Semantic Opposition and WordNet}, journal = {J. Log. Lang. Inf.}, volume = {13}, number = {2}, pages = {159--171}, year = {2004}, url = {https://doi.org/10.1023/B:JLLI.0000024732.19671.bc}, doi = {10.1023/B:JLLI.0000024732.19671.BC}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/Fong04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/GaylardR04, author = {Helen L. Gaylard and Allan Ramsay}, title = {Relevant Answers to WH-Questions}, journal = {J. Log. Lang. Inf.}, volume = {13}, number = {2}, pages = {173--186}, year = {2004}, url = {https://doi.org/10.1023/B:JLLI.0000024733.79286.27}, doi = {10.1023/B:JLLI.0000024733.79286.27}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/GaylardR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/GrooteP04, author = {Philippe de Groote and Sylvain Pogodalla}, title = {On the Expressive Power of Abstract Categorial Grammars: Representing Context-Free Formalisms}, journal = {J. Log. Lang. Inf.}, volume = {13}, number = {4}, pages = {421--438}, year = {2004}, url = {https://doi.org/10.1007/s10849-004-2114-x}, doi = {10.1007/S10849-004-2114-X}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/GrooteP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/HazenH04, author = {Allen Hazen and Lloyd Humberstone}, title = {Similarity Relations and the Preservation of Solidity}, journal = {J. Log. Lang. Inf.}, volume = {13}, number = {1}, pages = {25--46}, year = {2004}, url = {https://doi.org/10.1023/A:1026132413897}, doi = {10.1023/A:1026132413897}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/HazenH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/Jager04, author = {Gerhard J{\"{a}}ger}, title = {Residuation, Structural Rules and Context Freeness}, journal = {J. Log. Lang. Inf.}, volume = {13}, number = {1}, pages = {47--59}, year = {2004}, url = {https://doi.org/10.1023/A:1026175817625}, doi = {10.1023/A:1026175817625}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/Jager04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/Jansche04, author = {Martin Jansche}, title = {Learning Local Transductions Is Hard}, journal = {J. Log. Lang. Inf.}, volume = {13}, number = {4}, pages = {439--455}, year = {2004}, url = {https://doi.org/10.1007/s10849-004-2115-9}, doi = {10.1007/S10849-004-2115-9}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/Jansche04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/KamareddineN04, author = {Fairouz Kamareddine and Rob Nederpelt}, title = {A Refinement of de Bruijn's Formal Language of Mathematics}, journal = {J. Log. Lang. Inf.}, volume = {13}, number = {3}, pages = {287--340}, year = {2004}, url = {https://doi.org/10.1023/B:JLLI.0000028393.47593.b8}, doi = {10.1023/B:JLLI.0000028393.47593.B8}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/KamareddineN04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/Kanazawa04, author = {Makoto Kanazawa}, title = {Computational Approaches to Language Acquisition, Michael R. Brent, ed.}, journal = {J. Log. Lang. Inf.}, volume = {13}, number = {3}, pages = {377--379}, year = {2004}, url = {https://doi.org/10.1023/B:JLLI.0000028420.17351.86}, doi = {10.1023/B:JLLI.0000028420.17351.86}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/Kanazawa04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/Kepser04, author = {Stephan Kepser}, title = {Querying Linguistic Treebanks with Monadic Second-Order Logic in Linear Time}, journal = {J. Log. Lang. Inf.}, volume = {13}, number = {4}, pages = {457--470}, year = {2004}, url = {https://doi.org/10.1007/s10849-004-2116-8}, doi = {10.1007/S10849-004-2116-8}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/Kepser04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/KollerDGS04, author = {Alexander Koller and Ralph Debusmann and Malte Gabsdil and Kristina Striegnitz}, title = {Put My Galakmid Coin into the Dispenser and Kick It: Computational Linguistics and Theorem Proving in a Computer Game}, journal = {J. Log. Lang. Inf.}, volume = {13}, number = {2}, pages = {187--206}, year = {2004}, url = {https://doi.org/10.1023/B:JLLI.0000024734.80591.30}, doi = {10.1023/B:JLLI.0000024734.80591.30}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/KollerDGS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/Leidner04, author = {Jochen L. Leidner}, title = {Open-Domain Question Answering from Large Text Collection, M. Pa[scedil]ca}, journal = {J. Log. Lang. Inf.}, volume = {13}, number = {3}, pages = {373--376}, year = {2004}, url = {https://doi.org/10.1023/B:JLLI.0000028422.67488.ec}, doi = {10.1023/B:JLLI.0000028422.67488.EC}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/Leidner04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/LeitgebH04, author = {Hannes Leitgeb and Alexander Hieke}, title = {Circular Languages}, journal = {J. Log. Lang. Inf.}, volume = {13}, number = {3}, pages = {341--371}, year = {2004}, url = {https://doi.org/10.1023/B:JLLI.0000028335.19112.1d}, doi = {10.1023/B:JLLI.0000028335.19112.1D}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/LeitgebH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/McColm04, author = {Gregory L. McColm}, title = {Guarded Quantification in Least Fixed Point Logic}, journal = {J. Log. Lang. Inf.}, volume = {13}, number = {1}, pages = {61--110}, year = {2004}, url = {https://doi.org/10.1023/A:1026107209351}, doi = {10.1023/A:1026107209351}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/McColm04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/OehrleR04, author = {Richard T. Oehrle and James Rogers}, title = {Introduction}, journal = {J. Log. Lang. Inf.}, volume = {13}, number = {4}, pages = {383}, year = {2004}, url = {https://doi.org/10.1007/s10849-004-2111-0}, doi = {10.1007/S10849-004-2111-0}, timestamp = {Thu, 11 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jolli/OehrleR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/Petersen04, author = {Wiebke Petersen}, title = {A Mathematical Analysis of Panini's Sivasutras}, journal = {J. Log. Lang. Inf.}, volume = {13}, number = {4}, pages = {471--489}, year = {2004}, url = {https://doi.org/10.1007/s10849-004-2117-7}, doi = {10.1007/S10849-004-2117-7}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/Petersen04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/Pratt-Hartmann04, author = {Ian Pratt{-}Hartmann}, title = {Fragments of Language}, journal = {J. Log. Lang. Inf.}, volume = {13}, number = {2}, pages = {207--223}, year = {2004}, url = {https://doi.org/10.1023/B:JLLI.0000024735.97006.5a}, doi = {10.1023/B:JLLI.0000024735.97006.5A}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jolli/Pratt-Hartmann04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/RantaC04, author = {Aarne Ranta and Robin Cooper}, title = {Dialogue Systems as Proof Editors}, journal = {J. Log. Lang. Inf.}, volume = {13}, number = {2}, pages = {225--240}, year = {2004}, url = {https://doi.org/10.1023/B:JLLI.0000024736.34644.48}, doi = {10.1023/B:JLLI.0000024736.34644.48}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/RantaC04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/RooijS04, author = {Robert van Rooij and Katrin Schulz}, title = {Exhaustive Interpretation of Complex Sentences}, journal = {J. Log. Lang. Inf.}, volume = {13}, number = {4}, pages = {491--519}, year = {2004}, url = {https://doi.org/10.1007/s10849-004-2118-6}, doi = {10.1007/S10849-004-2118-6}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/RooijS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/Sigurbjornsson04, author = {B{\"{o}}rkur Sigurbj{\"{o}}rnsson}, title = {Language Modeling for Information Retrieval}, journal = {J. Log. Lang. Inf.}, volume = {13}, number = {4}, pages = {531--534}, year = {2004}, url = {https://doi.org/10.1007/s10849-004-3356-3}, doi = {10.1007/S10849-004-3356-3}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/Sigurbjornsson04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/Wansing04, author = {Heinrich Wansing}, title = {Agency and Deontic Logic, {J.F.} Horty}, journal = {J. Log. Lang. Inf.}, volume = {13}, number = {3}, pages = {379--381}, year = {2004}, url = {https://doi.org/10.1023/B:JLLI.0000028421.66183.6b}, doi = {10.1023/B:JLLI.0000028421.66183.6B}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jolli/Wansing04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.