Search dblp for Publications

export results for "toc:db/journals/jolli/jolli13.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics