Search dblp for Publications

export results for "toc:db/journals/japll/japll13.bht:"

 download as .bib file

@article{DBLP:journals/japll/Arieli15,
  author       = {Ofer Arieli},
  title        = {Conflict-free and conflict-tolerant semantics for constrained argumentation
                  frameworks},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {4},
  pages        = {582--604},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2015.03.005},
  doi          = {10.1016/J.JAL.2015.03.005},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/Arieli15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/BeierleBK15,
  author       = {Christoph Beierle and
                  Cory J. Butz and
                  Souhila Kaci},
  title        = {Uncertain reasoning at {FLAIRS}},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {4},
  pages        = {555--556},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2015.03.003},
  doi          = {10.1016/J.JAL.2015.03.003},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/BeierleBK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/BelleL15,
  author       = {Vaishak Belle and
                  Hector J. Levesque},
  title        = {Robot location estimation in the situation calculus},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {4},
  pages        = {397--413},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2015.02.004},
  doi          = {10.1016/J.JAL.2015.02.004},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/BelleL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/BergstraBP15,
  author       = {Jan A. Bergstra and
                  Inge Bethke and
                  Alban Ponse},
  title        = {Equations for formally real meadows},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {2},
  pages        = {1--23},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2015.01.004},
  doi          = {10.1016/J.JAL.2015.01.004},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/BergstraBP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/BergstraM15,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Division by zero in non-involutive meadows},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {1},
  pages        = {1--12},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2014.10.001},
  doi          = {10.1016/J.JAL.2014.10.001},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/BergstraM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/BudanLVS15,
  author       = {Maximiliano Celmo Bud{\'{a}}n and
                  Mauro Javier G{\'{o}}mez Lucero and
                  Ignacio Dar{\'{\i}}o Viglizzo and
                  Guillermo Ricardo Simari},
  title        = {A labeled argumentation framework},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {4},
  pages        = {534--553},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2015.02.005},
  doi          = {10.1016/J.JAL.2015.02.005},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/BudanLVS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/BursaLCSJH15,
  author       = {Miroslav Bursa and
                  Lenka Lhotsk{\'{a}} and
                  V{\'{a}}clav Chud{\'{a}}cek and
                  Jir{\'{\i}} Spilka and
                  Petr Janku and
                  Luk{\'{a}}s Hruban},
  title        = {Information retrieval from hospital information system: Increasing
                  effectivity using swarm intelligence},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {2},
  pages        = {126--137},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2014.11.006},
  doi          = {10.1016/J.JAL.2014.11.006},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/BursaLCSJH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Calvo-RolleQCMG15,
  author       = {Jos{\'{e}} Lu{\'{\i}}s Calvo{-}Rolle and
                  H{\'{e}}ctor Quinti{\'{a}}n{-}Pardo and
                  Emilio Corchado and
                  Mar{\'{\i}}a del Carmen Meizoso{-}L{\'{o}}pez and
                  Ram{\'{o}}n Ferreiro Garc{\'{\i}}a},
  title        = {Simplified method based on an intelligent model to obtain the extinction
                  angle of the current for a single-phase half wave controlled rectifier
                  with resistive and inductive load},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {2},
  pages        = {167},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2015.02.001},
  doi          = {10.1016/J.JAL.2015.02.001},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/Calvo-RolleQCMG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Calvo-RolleQCMG15a,
  author       = {Jos{\'{e}} Lu{\'{\i}}s Calvo{-}Rolle and
                  H{\'{e}}ctor Quinti{\'{a}}n{-}Pardo and
                  Emilio Corchado and
                  Mar{\'{\i}}a del Carmen Meizoso{-}L{\'{o}}pez and
                  Ram{\'{o}}n Ferreiro Garc{\'{\i}}a},
  title        = {Simplified method based on an intelligent model to obtain the extinction
                  angle of the current for a single-phase half wave controlled rectifier
                  with resistive and inductive load},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {1},
  pages        = {37--47},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2014.11.010},
  doi          = {10.1016/J.JAL.2014.11.010},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/Calvo-RolleQCMG15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Cholvy15,
  author       = {Laurence Cholvy},
  title        = {Towards a logical belief function theory},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {4},
  pages        = {441--457},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2014.12.002},
  doi          = {10.1016/J.JAL.2014.12.002},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/Cholvy15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/ChristoffH15,
  author       = {Zo{\'{e}} Christoff and
                  Jens Ulrik Hansen},
  title        = {A logic for diffusion in social networks},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {1},
  pages        = {48--77},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2014.11.011},
  doi          = {10.1016/J.JAL.2014.11.011},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/japll/ChristoffH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/CohenGGS15,
  author       = {Andrea Cohen and
                  Sebastian Gottifredi and
                  Alejandro Javier Garc{\'{\i}}a and
                  Guillermo Ricardo Simari},
  title        = {An approach to abstract argumentation with recursive attack and support},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {4},
  pages        = {509--533},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2014.12.001},
  doi          = {10.1016/J.JAL.2014.12.001},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/CohenGGS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Dvurecenskij15,
  author       = {Anatolij Dvurecenskij},
  title        = {Lexicographic pseudo MV-algebras},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {4},
  pages        = {825--841},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2015.10.001},
  doi          = {10.1016/J.JAL.2015.10.001},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/Dvurecenskij15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/EckePT15,
  author       = {Andreas Ecke and
                  Rafael Pe{\~{n}}aloza and
                  Anni{-}Yasmin Turhan},
  title        = {Similarity-based relaxed instance queries},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {4},
  pages        = {480--508},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2015.01.002},
  doi          = {10.1016/J.JAL.2015.01.002},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/EckePT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/EichhornK15,
  author       = {Christian Eichhorn and
                  Gabriele Kern{-}Isberner},
  title        = {Using inductive reasoning for completing OCF-networks},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {4},
  pages        = {605--627},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2015.03.006},
  doi          = {10.1016/J.JAL.2015.03.006},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/EichhornK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/EppeB15,
  author       = {Manfred Eppe and
                  Mehul Bhatt},
  title        = {Approximate postdictive reasoning with answer set programming},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {4},
  pages        = {676--719},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2015.08.002},
  doi          = {10.1016/J.JAL.2015.08.002},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/EppeB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/EppeB15a,
  author       = {Manfred Eppe and
                  Mehul Bhatt},
  title        = {A history based approximate epistemic action theory for efficient
                  postdictive reasoning},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {4},
  pages        = {720--769},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2015.08.001},
  doi          = {10.1016/J.JAL.2015.08.001},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/EppeB15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/EyreL15,
  author       = {Henrietta Eyre and
                  Jonathan Lawry},
  title        = {A Dempster-Shafer model of imprecise assertion strategies},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {4},
  pages        = {458--479},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2014.12.003},
  doi          = {10.1016/J.JAL.2014.12.003},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/EyreL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Finocchiaro15,
  author       = {Maurice A. Finocchiaro},
  title        = {The fallacy of composition: Guiding concepts, historical cases, and
                  research problems},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {2},
  pages        = {24--43},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2015.01.003},
  doi          = {10.1016/J.JAL.2015.01.003},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/Finocchiaro15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Francez15,
  author       = {Nissim Francez},
  title        = {A proof-theoretic universal property of determiners},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {4},
  pages        = {799--808},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2015.09.001},
  doi          = {10.1016/J.JAL.2015.09.001},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/Francez15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/GodoPQ15,
  author       = {Llu{\'{\i}}s Godo and
                  Henri Prade and
                  Guilin Qi},
  title        = {Weighted Logics for Artificial Intelligence - 2},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {4},
  pages        = {395--396},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2015.03.002},
  doi          = {10.1016/J.JAL.2015.03.002},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/GodoPQ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/HerreroSAZBQCSC15,
  author       = {{\'{A}}lvaro Herrero and
                  V{\'{a}}clav Sn{\'{a}}sel and
                  Ajith Abraham and
                  Ivan Zelinka and
                  Bruno Baruque and
                  H{\'{e}}ctor Quinti{\'{a}}n and
                  Jos{\'{e}} Lu{\'{\i}}s Calvo{-}Rolle and
                  Javier Sedano and
                  Andr{\'{e}} C. P. L. F. de Carvalho and
                  Emilio Corchado},
  title        = {Special issue {SOCO12}},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {2},
  pages        = {91--93},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2014.11.002},
  doi          = {10.1016/J.JAL.2014.11.002},
  timestamp    = {Fri, 12 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/japll/HerreroSAZBQCSC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Larrea-SukiaLIG15,
  author       = {Mikel Larrea{-}Sukia and
                  Ekaitz Larzabal and
                  Eloy Irigoyen and
                  Juan Jos{\'{e}} Valera Garc{\'{\i}}a and
                  Martin Dendaluce},
  title        = {Implementation and testing of a soft computing based model predictive
                  control on an industrial controller},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {2},
  pages        = {114--125},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2014.11.005},
  doi          = {10.1016/J.JAL.2014.11.005},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/Larrea-SukiaLIG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/LiuW15,
  author       = {Scarlett Liu and
                  Mark Albert Whitty},
  title        = {Automatic grape bunch detection in vineyards with an {SVM} classifier},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {4},
  pages        = {643--653},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2015.06.001},
  doi          = {10.1016/J.JAL.2015.06.001},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/LiuW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Magnani15,
  author       = {Lorenzo Magnani},
  title        = {Naturalizing logic: Errors of reasoning vindicated: Logic reapproaches
                  cognitive science},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {1},
  pages        = {13--36},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2014.11.001},
  doi          = {10.1016/J.JAL.2014.11.001},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/Magnani15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Magnani15a,
  author       = {Lorenzo Magnani},
  title        = {The eco-cognitive model of abduction: {\unicode{7944}}{\(\pi\)}{\(\alpha\)}{\(\gamma\)}{\(\omega\)}{\(\gamma\)}{\(\acute{\eta}\)}
                  now: Naturalizing the logic of abduction},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {3},
  pages        = {285--315},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2015.04.003},
  doi          = {10.1016/J.JAL.2015.04.003},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/Magnani15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Martin15,
  author       = {Eric Andre Martin},
  title        = {Logic programming as classical inference},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {3},
  pages        = {316--369},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2015.06.003},
  doi          = {10.1016/J.JAL.2015.06.003},
  timestamp    = {Mon, 18 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/japll/Martin15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/MatteiGKM15,
  author       = {Nicholas Mattei and
                  Judy Goldsmith and
                  Andrew Klapper and
                  Martin Mundhenk},
  title        = {On the complexity of bribery and manipulation in tournaments with
                  uncertain information},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {4},
  pages        = {557--581},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2015.03.004},
  doi          = {10.1016/J.JAL.2015.03.004},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/japll/MatteiGKM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/NganouT15,
  author       = {Jean B. Nganou and
                  Serge F. T. Tebu},
  title        = {Topological FL\({}_{\mbox{ew}}\)-algebras},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {3},
  pages        = {259--269},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2015.04.004},
  doi          = {10.1016/J.JAL.2015.04.004},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/NganouT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/NolaG15,
  author       = {Antonio Di Nola and
                  Revaz Grigolia},
  title        = {G{\"{o}}del spaces and perfect MV-algebras},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {3},
  pages        = {270--284},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2015.05.001},
  doi          = {10.1016/J.JAL.2015.05.001},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/NolaG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/NovakHHS15,
  author       = {Vil{\'{e}}m Nov{\'{a}}k and
                  Petr Hurt{\'{\i}}k and
                  Hashim Habiballa and
                  Martin Stepnicka},
  title        = {Recognition of damaged letters based on mathematical fuzzy logic analysis},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {2},
  pages        = {94--104},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2014.11.003},
  doi          = {10.1016/J.JAL.2014.11.003},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/japll/NovakHHS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/NowakovaPP15,
  author       = {Jana Nowakov{\'{a}} and
                  Miroslav Pokorn{\'{y}} and
                  Martin Pies},
  title        = {Conventional controller design based on Takagi-Sugeno fuzzy models},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {2},
  pages        = {148--155},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2014.11.008},
  doi          = {10.1016/J.JAL.2014.11.008},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/NowakovaPP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Park15,
  author       = {Woosuk Park},
  title        = {On classifying abduction},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {3},
  pages        = {215--238},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2015.04.001},
  doi          = {10.1016/J.JAL.2015.04.001},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/Park15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Payette15,
  author       = {Gillman Payette},
  title        = {Reflecting rules: {A} note on generalizing the deduction theorem},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {3},
  pages        = {188--196},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2015.03.001},
  doi          = {10.1016/J.JAL.2015.03.001},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/Payette15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/PetelczycZ15,
  author       = {Krzysztof Petelczyc and
                  Mariusz Zynel},
  title        = {The complement of a point subset in a projective space and a Grassmann
                  space},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {3},
  pages        = {169--187},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2015.02.002},
  doi          = {10.1016/J.JAL.2015.02.002},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/PetelczycZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/PopPSH15,
  author       = {Petrica C. Pop and
                  Camelia{-}Mihaela Pintea and
                  Corina Pop Sitar and
                  Mara Hajdu{-}Macelaru},
  title        = {An efficient Reverse Distribution System for solving sustainable supply
                  chain network design problem},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {2},
  pages        = {105--113},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2014.11.004},
  doi          = {10.1016/J.JAL.2014.11.004},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/japll/PopPSH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/PotykaBK15,
  author       = {Nico Potyka and
                  Christoph Beierle and
                  Gabriele Kern{-}Isberner},
  title        = {A concept for the evolution of relational probabilistic belief states
                  and the computation of their changes under optimum entropy semantics},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {4},
  pages        = {414--440},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2015.01.001},
  doi          = {10.1016/J.JAL.2015.01.001},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/japll/PotykaBK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/RatnapindaD15,
  author       = {Parot Ratnapinda and
                  Marek J. Druzdzel},
  title        = {Learning discrete Bayesian network parameters from continuous data
                  streams: What is the best strategy?},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {4},
  pages        = {628--642},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2015.03.007},
  doi          = {10.1016/J.JAL.2015.03.007},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/RatnapindaD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/SelesnickR15,
  author       = {Stephen A. Selesnick and
                  J. P. Rawling},
  title        = {Computing the Lagrangians of the standard model},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {4},
  pages        = {809--824},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2015.09.015},
  doi          = {10.1016/J.JAL.2015.09.015},
  timestamp    = {Mon, 18 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/SelesnickR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/SimicSS15,
  author       = {Dragan Simic and
                  Vasa Svircevic and
                  Svetlana Simic},
  title        = {A hybrid evolutionary model for supplier assessment and selection
                  in inbound logistics},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {2},
  pages        = {138--147},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2014.11.007},
  doi          = {10.1016/J.JAL.2014.11.007},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/SimicSS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Stolpe15,
  author       = {Audun Stolpe},
  title        = {A concept approach to input/output logic},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {3},
  pages        = {239--258},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2015.04.002},
  doi          = {10.1016/J.JAL.2015.04.002},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/Stolpe15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/TohmeCG15,
  author       = {Fernando Tohm{\'{e}} and
                  Gianluca Caterina and
                  Rocco Gangle},
  title        = {Abduction: {A} categorical characterization},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {1},
  pages        = {78--90},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2014.12.004},
  doi          = {10.1016/J.JAL.2014.12.004},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/TohmeCG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/TouaziCD15,
  author       = {Fay{\c{c}}al Touazi and
                  Claudette Cayrol and
                  Didier Dubois},
  title        = {Possibilistic reasoning with partially ordered beliefs},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {4},
  pages        = {770--798},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2015.09.002},
  doi          = {10.1016/J.JAL.2015.09.002},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/japll/TouaziCD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Vasylchenko15,
  author       = {Andriy Vasylchenko},
  title        = {Towards the logic of projective identification},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {3},
  pages        = {197--214},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2015.03.008},
  doi          = {10.1016/J.JAL.2015.03.008},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/japll/Vasylchenko15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/WangA15,
  author       = {Y{\`{\i}} N. W{\'{a}}ng and
                  Thomas {\AA}gotnes},
  title        = {Relativized common knowledge for dynamic epistemic logic},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {3},
  pages        = {370--393},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2015.06.004},
  doi          = {10.1016/J.JAL.2015.06.004},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/WangA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/ZelinkaDSP15,
  author       = {Ivan Zelinka and
                  Donald David Davendra and
                  Roman Senkerik and
                  Michal Pluhacek},
  title        = {Investigation on evolutionary predictive control of chemical reactor},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {2},
  pages        = {156--166},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2014.11.009},
  doi          = {10.1016/J.JAL.2014.11.009},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/japll/ZelinkaDSP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/ZhangZZZ15,
  author       = {Yan Zhang and
                  Zhaohui Zhu and
                  Jinjin Zhang and
                  Yong Zhou},
  title        = {Axiomatizing L{\"{u}}ttgen {\&} Vogler's ready simulation
                  for finite processes in CLL\({}_{\mbox{R}}\)},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {4},
  pages        = {654--675},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2015.06.005},
  doi          = {10.1016/J.JAL.2015.06.005},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/ZhangZZZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics