Search dblp for Publications

export results for "toc:db/journals/jancl/jancl12.bht:"

 download as .bib file

@article{DBLP:journals/jancl/AielloB02,
  author       = {Marco Aiello and
                  Johan van Benthem},
  title        = {A Modal Walk Through Space},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {12},
  number       = {3-4},
  pages        = {319--364},
  year         = {2002},
  url          = {https://doi.org/10.3166/jancl.12.319-363},
  doi          = {10.3166/JANCL.12.319-363},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/AielloB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Aszalos02,
  author       = {L{\'{a}}szl{\'{o}} Aszal{\'{o}}s},
  title        = {Automated Puzzle Solving},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {12},
  number       = {1},
  pages        = {99--116},
  year         = {2002},
  url          = {https://doi.org/10.3166/jancl.12.99-116},
  doi          = {10.3166/JANCL.12.99-116},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Aszalos02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Balbiani02,
  author       = {Philippe Balbiani},
  title        = {Foreword},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {12},
  number       = {3-4},
  pages        = {317--318},
  year         = {2002},
  url          = {https://doi.org/10.1080/11663081.2002.9736483},
  doi          = {10.1080/11663081.2002.9736483},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Balbiani02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/BalbianiG02,
  author       = {Philippe Balbiani and
                  Valentin Goranko},
  title        = {Modal Logics for Parallelism, Orthogonality, and Affine Geometries},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {12},
  number       = {3-4},
  pages        = {365--398},
  year         = {2002},
  url          = {https://doi.org/10.3166/jancl.12.365-397},
  doi          = {10.3166/JANCL.12.365-397},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/BalbianiG02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/BatensV02,
  author       = {Diderik Batens and
                  Timothy Vermeir},
  title        = {Direct Dynamic Proofs for the Rescher-Manor Consequence Relations:
                  The Flat Case},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {12},
  number       = {1},
  pages        = {63--84},
  year         = {2002},
  url          = {https://doi.org/10.3166/jancl.12.63-84},
  doi          = {10.3166/JANCL.12.63-84},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/BatensV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/BenferhatB02,
  author       = {Salem Benferhat and
                  Philippe Besnard},
  title        = {Editorial - Symbolic and quantitative approaches to reasoning wth
                  uncertainty},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {12},
  number       = {2},
  pages        = {133--134},
  year         = {2002},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/BenferhatB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/BiazzoGLS02,
  author       = {Veronica Biazzo and
                  Angelo Gilio and
                  Thomas Lukasiewicz and
                  Giuseppe Sanfilippo},
  title        = {Probabilistic logic under coherence, model-theoretic probabilistic
                  logic, and default reasoning in System {P}},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {12},
  number       = {2},
  pages        = {189--213},
  year         = {2002},
  url          = {https://doi.org/10.3166/jancl.12.189-213},
  doi          = {10.3166/JANCL.12.189-213},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/BiazzoGLS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Bloch02,
  author       = {Isabelle Bloch},
  title        = {Modal Logics Based on Mathematical Morphology for Qualitative Spatial
                  Reasoning},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {12},
  number       = {3-4},
  pages        = {399--424},
  year         = {2002},
  url          = {https://doi.org/10.3166/jancl.12.399-423},
  doi          = {10.3166/JANCL.12.399-423},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Bloch02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Brady02,
  author       = {Ross T. Brady},
  title        = {Ordering Properties for the Routley-Meyer Relation {R}},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {12},
  number       = {1},
  pages        = {85--98},
  year         = {2002},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Brady02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/BroersenDT02,
  author       = {Jan M. Broersen and
                  Mehdi Dastani and
                  Leendert W. N. van der Torre},
  title        = {Realistic desires},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {12},
  number       = {2},
  pages        = {287--308},
  year         = {2002},
  url          = {https://doi.org/10.3166/jancl.12.287-308},
  doi          = {10.3166/JANCL.12.287-308},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/BroersenDT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/CanoFM02,
  author       = {Andr{\'{e}}s Cano and
                  Juan M. Fern{\'{a}}ndez{-}Luna and
                  Seraf{\'{\i}}n Moral},
  title        = {Computing probability intervals with simulated annealing and probability
                  trees},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {12},
  number       = {2},
  pages        = {151--171},
  year         = {2002},
  url          = {https://doi.org/10.3166/jancl.12.151-171},
  doi          = {10.3166/JANCL.12.151-171},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jancl/CanoFM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/DelgrandeS02,
  author       = {James P. Delgrande and
                  Torsten Schaub},
  title        = {Reasoning Credulously and skeptically within a single extension},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {12},
  number       = {2},
  pages        = {259--285},
  year         = {2002},
  url          = {https://doi.org/10.3166/jancl.12.259-285},
  doi          = {10.3166/JANCL.12.259-285},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/DelgrandeS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/FentonKN02,
  author       = {Norman E. Fenton and
                  Paul Krause and
                  Martin Neil},
  title        = {Probability modelling for software quality control},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {12},
  number       = {2},
  pages        = {173--188},
  year         = {2002},
  url          = {https://doi.org/10.3166/jancl.12.173-188},
  doi          = {10.3166/JANCL.12.173-188},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/FentonKN02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Kern-Isberner02,
  author       = {Gabriele Kern{-}Isberner},
  title        = {Handling conditionals adequately in uncertain reasoning and belief
                  revision},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {12},
  number       = {2},
  pages        = {215--237},
  year         = {2002},
  url          = {https://doi.org/10.3166/jancl.12.215-237},
  doi          = {10.3166/JANCL.12.215-237},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Kern-Isberner02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Koriche02,
  author       = {Fr{\'{e}}d{\'{e}}ric Koriche},
  title        = {Approximate coherence-based reasoning},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {12},
  number       = {2},
  pages        = {239--258},
  year         = {2002},
  url          = {https://doi.org/10.3166/jancl.12.239-258},
  doi          = {10.3166/JANCL.12.239-258},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Koriche02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/KoutrasNP02,
  author       = {Costas D. Koutras and
                  Christos Nomikos and
                  Pavlos Peppas},
  title        = {Canonicity and Completeness Results for Many-Valued Modal Logics},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {12},
  number       = {1},
  pages        = {7--42},
  year         = {2002},
  url          = {https://doi.org/10.3166/jancl.12.7-41},
  doi          = {10.3166/JANCL.12.7-41},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/KoutrasNP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/KutzSSWZ02,
  author       = {Oliver Kutz and
                  Holger Sturm and
                  Nobu{-}Yuki Suzuki and
                  Frank Wolter and
                  Michael Zakharyaschev},
  title        = {Axiomatizing Distance Logics},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {12},
  number       = {3-4},
  pages        = {425--440},
  year         = {2002},
  url          = {https://doi.org/10.3166/jancl.12.425-439},
  doi          = {10.3166/JANCL.12.425-439},
  timestamp    = {Sun, 17 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jancl/KutzSSWZ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Nielsen02,
  author       = {Thomas D. Nielsen},
  title        = {Decomposition of influence diagrams},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {12},
  number       = {2},
  pages        = {135--150},
  year         = {2002},
  url          = {https://doi.org/10.3166/jancl.12.135-150},
  doi          = {10.3166/JANCL.12.135-150},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Nielsen02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Nour02,
  author       = {Abir Nour},
  title        = {The Tableau Method for a Logical System Based on a Finite Poset},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {12},
  number       = {1},
  pages        = {43--62},
  year         = {2002},
  url          = {https://doi.org/10.3166/jancl.12.43-62},
  doi          = {10.3166/JANCL.12.43-62},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Nour02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Pratt-Hartmann02,
  author       = {Ian Pratt{-}Hartmann},
  title        = {A Topological Constraint Language with Component Counting},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {12},
  number       = {3-4},
  pages        = {441--468},
  year         = {2002},
  url          = {https://doi.org/10.3166/jancl.12.441-467},
  doi          = {10.3166/JANCL.12.441-467},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jancl/Pratt-Hartmann02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Renz02,
  author       = {Jochen Renz},
  title        = {A Canonical Model of the Region Connection Calculus},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {12},
  number       = {3-4},
  pages        = {469--494},
  year         = {2002},
  url          = {https://doi.org/10.3166/jancl.12.469-494},
  doi          = {10.3166/JANCL.12.469-494},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Renz02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/TorriniSB02,
  author       = {Paolo Torrini and
                  John G. Stell and
                  Brandon Bennett},
  title        = {Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic
                  Propositional Logic},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {12},
  number       = {3-4},
  pages        = {495--526},
  year         = {2002},
  url          = {https://doi.org/10.3166/jancl.12.495-525},
  doi          = {10.3166/JANCL.12.495-525},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jancl/TorriniSB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/VakarelovDDB02,
  author       = {Dimiter Vakarelov and
                  Georgi D. Dimov and
                  Ivo D{\"{u}}ntsch and
                  Brandon Bennett},
  title        = {A Proximity Approach to Some Region-Based Theories of Space},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {12},
  number       = {3-4},
  pages        = {527--559},
  year         = {2002},
  url          = {https://doi.org/10.3166/jancl.12.527-559},
  doi          = {10.3166/JANCL.12.527-559},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/VakarelovDDB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.