default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/jolli/jolli8.bht:"
download as .bib file
@article{DBLP:journals/jolli/Antoniou99,
author = {Grigoris Antoniou},
title = {Splitting Finite Default Theories: {A} Comparison of Two Approaches},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {2},
pages = {205--216},
year = {1999},
url = {https://doi.org/10.1023/A:1008251012187},
doi = {10.1023/A:1008251012187},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Antoniou99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Aoto99,
author = {Takahito Aoto},
title = {Uniqueness of Normal Proofs in Implicational Intuitionistic Logic},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {2},
pages = {217--242},
year = {1999},
url = {https://doi.org/10.1023/A:1008254111992},
doi = {10.1023/A:1008254111992},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Aoto99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/BenthemI99,
author = {Johan van Benthem and
David Israel},
title = {Information Flow: The Logic of Distributed Systems, Jon Barwise and
Jerry Seligman},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {3},
pages = {390--397},
year = {1999},
url = {https://doi.org/10.1023/A:1008350722315},
doi = {10.1023/A:1008350722315},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/BenthemI99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Blackburn99,
author = {Patrick Blackburn},
title = {Basic Model Theory, Kees Doets},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {2},
pages = {258--261},
year = {1999},
url = {https://doi.org/10.1023/A:1008300516811},
doi = {10.1023/A:1008300516811},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Blackburn99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Britz99,
author = {Katarina Britz},
title = {A Power Algebra for Theory Change},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {4},
pages = {429--443},
year = {1999},
url = {https://doi.org/10.1023/A:1008374520572},
doi = {10.1023/A:1008374520572},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Britz99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/BrownG99,
author = {Mark A. Brown and
Valentin Goranko},
title = {An Extended Branching-Time Ockhamist Temporal Logic},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {2},
pages = {143--166},
year = {1999},
url = {https://doi.org/10.1023/A:1008398102653},
doi = {10.1023/A:1008398102653},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/BrownG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Demri99,
author = {St{\'{e}}phane Demri},
title = {A Logic with Relative Knowledge Operators},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {2},
pages = {167--185},
year = {1999},
url = {https://doi.org/10.1023/A:1008227432405},
doi = {10.1023/A:1008227432405},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Demri99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/DoesV99,
author = {Jaap van der Does and
Henk Verkuyl},
title = {Quantification in Natural Languages (Volumes {I} {\&} II), E.
Bach, E. Jelinek, A. Kratzer, and {B.H.} Partee, eds},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {2},
pages = {243--251},
year = {1999},
url = {https://doi.org/10.1023/A:1008302523934},
doi = {10.1023/A:1008302523934},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/DoesV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Eijk99,
author = {Rogier M. van Eijk},
title = {Partiality, Modality, and Nonmonotonicity, Patrick Doherty, ed},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {2},
pages = {251--254},
year = {1999},
url = {https://doi.org/10.1023/A:1008383913597},
doi = {10.1023/A:1008383913597},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Eijk99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Fernando99,
author = {Tim Fernando},
title = {A Modal Logic for Non-Deterministic Discourse Processing},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {4},
pages = {445--468},
year = {1999},
url = {https://doi.org/10.1023/A:1008314917231},
doi = {10.1023/A:1008314917231},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Fernando99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Fisler99,
author = {Kathi Fisler},
title = {Timing Diagrams: Formalization and Algorithmic Verification},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {3},
pages = {323--361},
year = {1999},
url = {https://doi.org/10.1023/A:1008345113376},
doi = {10.1023/A:1008345113376},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jolli/Fisler99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/FriedmanH99,
author = {Nir Friedman and
Joseph Y. Halpern},
title = {Belief Revision: {A} Critique},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {4},
pages = {401--420},
year = {1999},
url = {https://doi.org/10.1023/A:1008314832430},
doi = {10.1023/A:1008314832430},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/FriedmanH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Goranko99,
author = {Valentin Goranko},
title = {Reasoning about Knowledge, Ronald Fagin, Joseph Y. Halpern, Yoram
Moses, and Moshe Y. Vardi},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {4},
pages = {469--473},
year = {1999},
url = {https://doi.org/10.1023/A:1008224520671},
doi = {10.1023/A:1008224520671},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Goranko99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Goranko99a,
author = {Valentin Goranko},
title = {Modal Logic, Alexander Chagrov and Michael Zakharyaschev},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {2},
pages = {255--258},
year = {1999},
url = {https://doi.org/10.1023/A:1008282618104},
doi = {10.1023/A:1008282618104},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Goranko99a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Hajnicz99,
author = {Elzbieta Hajnicz},
title = {Some Considerations on Branching Areas of Time},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {1},
pages = {17--43},
year = {1999},
url = {https://doi.org/10.1023/A:1008229020082},
doi = {10.1023/A:1008229020082},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Hajnicz99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Hansson99,
author = {Sven Ove Hansson},
title = {Recovery and Epistemic Residue},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {4},
pages = {421--428},
year = {1999},
url = {https://doi.org/10.1023/A:1008316915066},
doi = {10.1023/A:1008316915066},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Hansson99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Hendriks99,
author = {Lex Hendriks},
title = {Effective Logic Computation, Klaus Truemper},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {4},
pages = {481--484},
year = {1999},
url = {https://doi.org/10.1023/A:1008344832741},
doi = {10.1023/A:1008344832741},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Hendriks99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/HollenbergV99,
author = {Marco Hollenberg and
Albert Visser},
title = {Dynamic Negation, the One and Only},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {2},
pages = {137--141},
year = {1999},
url = {https://doi.org/10.1023/A:1008230514856},
doi = {10.1023/A:1008230514856},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/HollenbergV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/JamnikBG99,
author = {Mateja Jamnik and
Alan Bundy and
Ian Green},
title = {On Automating Diagrammatic Proofs of Arithmetic Arguments},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {3},
pages = {297--321},
year = {1999},
url = {https://doi.org/10.1023/A:1008323427489},
doi = {10.1023/A:1008323427489},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/JamnikBG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Johnson99,
author = {Mark Johnson},
title = {A Resource Sensitive Interpretation of Lexical Functional Grammar},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {1},
pages = {45--81},
year = {1999},
url = {https://doi.org/10.1023/A:1008212427572},
doi = {10.1023/A:1008212427572},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Johnson99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Keller99,
author = {Frank Keller},
title = {The Empirical Base of Linguistics: Grammaticality Judgments and Linguistic
Methodology, Carson T. Sch{\"{u}}tze},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {1},
pages = {114--121},
year = {1999},
url = {https://doi.org/10.1023/A:1008323501411},
doi = {10.1023/A:1008323501411},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Keller99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/KingSA99,
author = {Paul John King and
Kiril Ivanov Simov and
Bj{\o}rn Aldag},
title = {The Complexity of Modellability in Finite and Computable Signatures
of a Constraint Logic for Head-Driven Phrase Structure Grammar},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {1},
pages = {83--110},
year = {1999},
url = {https://doi.org/10.1023/A:1008247127922},
doi = {10.1023/A:1008247127922},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/KingSA99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Lemon99,
author = {Oliver Lemon},
title = {Forms of Representation: An Interdisciplinary Theme for Cognitive
Science, Donald Peterson, ed},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {3},
pages = {385--387},
year = {1999},
url = {https://doi.org/10.1023/A:1008367207294},
doi = {10.1023/A:1008367207294},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Lemon99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/LemonRS99,
author = {Oliver Lemon and
Maarten de Rijke and
Atsushi Shimojima},
title = {Editorial: Efficacy of Diagrammatic Reasoning},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {3},
pages = {265--271},
year = {1999},
url = {https://doi.org/10.1023/A:1008349211870},
doi = {10.1023/A:1008349211870},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/LemonRS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Marx99,
author = {Maarten Marx},
title = {The Classical Decision Problem, Egon B{\"{o}}rger, Erich Gr{\"{a}}del,
and Yuri Gurevich},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {4},
pages = {478--481},
year = {1999},
url = {https://doi.org/10.1023/A:1008334715902},
doi = {10.1023/A:1008334715902},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Marx99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Monz99,
author = {Christof Monz},
title = {Automatic Ambiguity Resolution in Natural Language, Alexander Franz},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {1},
pages = {111--114},
year = {1999},
url = {https://doi.org/10.1023/A:1008294523951},
doi = {10.1023/A:1008294523951},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Monz99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/OberlanderMCST99,
author = {Jon Oberlander and
Padraic Monaghan and
Richard Cox and
Keith Stenning and
Richard Tobin},
title = {Unnatural Language Processing},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {3},
pages = {363--384},
year = {1999},
url = {https://doi.org/10.1023/A:1008388812468},
doi = {10.1023/A:1008388812468},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/OberlanderMCST99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Pietarinen99,
author = {Ahti Pietarinen},
title = {Language, Truth and Logic in Mathematics, Jaakko Hintikka},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {1},
pages = {121--124},
year = {1999},
url = {https://doi.org/10.1023/A:1008333927512},
doi = {10.1023/A:1008333927512},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Pietarinen99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Pietarinen99a,
author = {Ahti Pietarinen},
title = {Paradigms for Language Theory and Other Essays, Jaakko Hintikka},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {1},
pages = {124--127},
year = {1999},
url = {https://doi.org/10.1023/A:1008374807039},
doi = {10.1023/A:1008374807039},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Pietarinen99a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Rijke99,
author = {Maarten de Rijke},
title = {Logical Reasoning with Diagrams, Gerard Allwein and Jon Barwise, eds},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {3},
pages = {387--390},
year = {1999},
url = {https://doi.org/10.1023/A:1008348918681},
doi = {10.1023/A:1008348918681},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Rijke99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Rijke99a,
author = {Maarten de Rijke},
title = {Deduction Systems, Rolf Socher-Ambrosius and Patricia Johann},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {4},
pages = {476--478},
year = {1999},
url = {https://doi.org/10.1023/A:1008396817046},
doi = {10.1023/A:1008396817046},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Rijke99a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Rosati99,
author = {Riccardo Rosati},
title = {Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {2},
pages = {187--203},
year = {1999},
url = {https://doi.org/10.1023/A:1008277218820},
doi = {10.1023/A:1008277218820},
timestamp = {Thu, 02 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jolli/Rosati99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Shin99,
author = {Sun{-}Joo Shin},
title = {Reconstituting Beta Graphs into an Efficacious System},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {3},
pages = {273--295},
year = {1999},
url = {https://doi.org/10.1023/A:1008303204427},
doi = {10.1023/A:1008303204427},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Shin99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Tiede99,
author = {Hans{-}J{\"{o}}rg Tiede},
title = {Basic Simple Type Theory, J. Roger Hindley},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {4},
pages = {473--476},
year = {1999},
url = {https://doi.org/10.1023/A:1008398024039},
doi = {10.1023/A:1008398024039},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Tiede99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/WintnerF99,
author = {Shuly Wintner and
Nissim Francez},
title = {Off-Line Parsability and the Well-Foundedness of Subsumption},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {1},
pages = {1--16},
year = {1999},
url = {https://doi.org/10.1023/A:1008252619710},
doi = {10.1023/A:1008252619710},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/WintnerF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2025-01-26 15:49 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
