Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jancl/BeckerCDCSS23,
  author       = {Arvid Becker and
                  Pedro Cabalar and
                  Mart{\'{\i}}n Di{\'{e}}guez and
                  Luis Fari{\~{n}}as del Cerro and
                  Torsten Schaub and
                  Anna Schuhmann},
  title        = {Metric dynamic equilibrium logic},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {33},
  number       = {3-4},
  pages        = {495--519},
  year         = {2023},
  url          = {https://doi.org/10.1080/11663081.2023.2244365},
  doi          = {10.1080/11663081.2023.2244365},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jancl/BeckerCDCSS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/BelabbesB23,
  author       = {Sihem Belabbes and
                  Salem Benferhat},
  title        = {Selecting accepted assertions in partially ordered inconsistent DL-Lite
                  knowledge bases},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {33},
  number       = {3-4},
  pages        = {561--581},
  year         = {2023},
  url          = {https://doi.org/10.1080/11663081.2023.2244741},
  doi          = {10.1080/11663081.2023.2244741},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jancl/BelabbesB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/BlochLPU23,
  author       = {Isabelle Bloch and
                  J{\'{e}}r{\^{o}}me Lang and
                  Ram{\'{o}}n Pino P{\'{e}}rez and
                  Carlos Uzc{\'{a}}tegui},
  title        = {Morphologic for knowledge dynamics: revision, fusion and abduction},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {33},
  number       = {3-4},
  pages        = {421--466},
  year         = {2023},
  url          = {https://doi.org/10.1080/11663081.2023.2244360},
  doi          = {10.1080/11663081.2023.2244360},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jancl/BlochLPU23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/BonzonDKM23,
  author       = {Elise Bonzon and
                  J{\'{e}}r{\^{o}}me Delobelle and
                  S{\'{e}}bastien Konieczny and
                  Nicolas Maudet},
  title        = {An empirical and axiomatic comparison of ranking-based semantics for
                  abstract argumentation},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {33},
  number       = {3-4},
  pages        = {328--386},
  year         = {2023},
  url          = {https://doi.org/10.1080/11663081.2023.2246863},
  doi          = {10.1080/11663081.2023.2246863},
  timestamp    = {Tue, 28 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jancl/BonzonDKM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/ChafikACV23,
  author       = {Anasse Chafik and
                  Fahima Cheikh Alili and
                  Jean{-}Fran{\c{c}}ois Condotta and
                  Ivan Varzinczak},
  title        = {Defeasible linear temporal logic},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {33},
  number       = {1},
  pages        = {1--51},
  year         = {2023},
  url          = {https://doi.org/10.1080/11663081.2023.2209494},
  doi          = {10.1080/11663081.2023.2209494},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/ChafikACV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/DoutreHH23,
  author       = {Sylvie Doutre and
                  Andreas Herzig and
                  Anthony Hunter},
  title        = {Logic, arguments and inconsistencies: an introduction to the festschrift
                  in honour of Philippe Besnard},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {33},
  number       = {3-4},
  pages        = {207--211},
  year         = {2023},
  url          = {https://doi.org/10.1080/11663081.2023.2250183},
  doi          = {10.1080/11663081.2023.2250183},
  timestamp    = {Sat, 28 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/DoutreHH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/DoutreL23,
  author       = {Sylvie Doutre and
                  Marie{-}Christine Lagasquie{-}Schiex},
  title        = {\emph{RAFDivider} : a distributed algorithm for computing semantics
                  in higher-order abstract argumentation frameworks},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {33},
  number       = {3-4},
  pages        = {244--297},
  year         = {2023},
  url          = {https://doi.org/10.1080/11663081.2023.2244715},
  doi          = {10.1080/11663081.2023.2244715},
  timestamp    = {Sat, 28 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/DoutreL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/DuboisGP23,
  author       = {Didier Dubois and
                  Llu{\'{\i}}s Godo and
                  Henri Prade},
  title        = {An elementary belief function logic},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {33},
  number       = {3-4},
  pages        = {582--605},
  year         = {2023},
  url          = {https://doi.org/10.1080/11663081.2023.2244366},
  doi          = {10.1080/11663081.2023.2244366},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jancl/DuboisGP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/DvorakZW23,
  author       = {Wolfgang Dvor{\'{a}}k and
                  Atefeh {Keshavarzi Zafarghandi} and
                  Stefan Woltran},
  title        = {Expressiveness of SETAFs and support-free ADFs under 3-valued semantics},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {33},
  number       = {3-4},
  pages        = {298--327},
  year         = {2023},
  url          = {https://doi.org/10.1080/11663081.2023.2244361},
  doi          = {10.1080/11663081.2023.2244361},
  timestamp    = {Sat, 28 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/DvorakZW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/FalappaGS23,
  author       = {Marcelo A. Falappa and
                  Alejandro Javier Garc{\'{\i}}a and
                  Guillermo Ricardo Simari},
  title        = {Merging operators on stratified belief bases equipped with argumentative
                  inference},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {33},
  number       = {3-4},
  pages        = {387--420},
  year         = {2023},
  url          = {https://doi.org/10.1080/11663081.2023.2248775},
  doi          = {10.1080/11663081.2023.2248775},
  timestamp    = {Tue, 28 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jancl/FalappaGS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/GiusT23,
  author       = {Martin Gius and
                  Hans Tompits},
  title        = {Sequent-type rejection systems for finite-valued non-deterministic
                  logics},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {33},
  number       = {3-4},
  pages        = {606--640},
  year         = {2023},
  url          = {https://doi.org/10.1080/11663081.2023.2244367},
  doi          = {10.1080/11663081.2023.2244367},
  timestamp    = {Sat, 28 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/GiusT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Grant23,
  author       = {John Grant},
  title        = {Postulate satisfaction for inconsistency measures in monotonic logics
                  and databases},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {33},
  number       = {3-4},
  pages        = {537--560},
  year         = {2023},
  url          = {https://doi.org/10.1080/11663081.2023.2244359},
  doi          = {10.1080/11663081.2023.2244359},
  timestamp    = {Sat, 28 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Grant23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/GuerriniMZ23,
  author       = {Stefano Guerrini and
                  Andrea Masini and
                  Margherita Zorzi},
  title        = {Natural deduction calculi for classical and intuitionistic {S5}},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {33},
  number       = {2},
  pages        = {165--205},
  year         = {2023},
  url          = {https://doi.org/10.1080/11663081.2023.2233750},
  doi          = {10.1080/11663081.2023.2233750},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/GuerriniMZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Guyet23,
  author       = {Thomas Guyet},
  title        = {Admissible generalisation of temporal sequences as chronicles},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {33},
  number       = {3-4},
  pages        = {641--653},
  year         = {2023},
  url          = {https://doi.org/10.1080/11663081.2023.2244717},
  doi          = {10.1080/11663081.2023.2244717},
  timestamp    = {Sat, 28 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Guyet23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Lyon23,
  author       = {Tim S. Lyon},
  title        = {Nested sequents for intermediate logics: the case of G{\"{o}}del-Dummett
                  logics},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {33},
  number       = {2},
  pages        = {121--164},
  year         = {2023},
  url          = {https://doi.org/10.1080/11663081.2023.2233346},
  doi          = {10.1080/11663081.2023.2233346},
  timestamp    = {Thu, 31 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Lyon23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/MayerC23,
  author       = {Marta Cialdea Mayer and
                  Luis Fari{\~{n}}as del Cerro},
  title        = {Logical connectives for two-state semantics},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {33},
  number       = {3-4},
  pages        = {520--536},
  year         = {2023},
  url          = {https://doi.org/10.1080/11663081.2023.2244362},
  doi          = {10.1080/11663081.2023.2244362},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jancl/MayerC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Prakken23,
  author       = {Henry Prakken},
  title        = {When is argumentation deductive?},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {33},
  number       = {3-4},
  pages        = {212--223},
  year         = {2023},
  url          = {https://doi.org/10.1080/11663081.2023.2246862},
  doi          = {10.1080/11663081.2023.2246862},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jancl/Prakken23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Rivieccio23,
  author       = {Umberto Rivieccio},
  title        = {Fragments of quasi-Nelson: residuation},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {33},
  number       = {1},
  pages        = {52--119},
  year         = {2023},
  url          = {https://doi.org/10.1080/11663081.2023.2203312},
  doi          = {10.1080/11663081.2023.2203312},
  timestamp    = {Thu, 31 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Rivieccio23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/SaintCyrP23,
  author       = {Florence Dupin de Saint{-}Cyr and
                  Henri Prade},
  title        = {Belief revision and incongruity: is it a joke?},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {33},
  number       = {3-4},
  pages        = {467--494},
  year         = {2023},
  url          = {https://doi.org/10.1080/11663081.2023.2244379},
  doi          = {10.1080/11663081.2023.2244379},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jancl/SaintCyrP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/ToniRC23,
  author       = {Francesca Toni and
                  Antonio Rago and
                  Kristijonas Cyras},
  title        = {Forecasting with jury-based probabilistic argumentation},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {33},
  number       = {3-4},
  pages        = {224--243},
  year         = {2023},
  url          = {https://doi.org/10.1080/11663081.2023.2244716},
  doi          = {10.1080/11663081.2023.2244716},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jancl/ToniRC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics