default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/japll/japll11.bht:"
download as .bib file
@article{DBLP:journals/japll/AbrahamBGS13,
author = {Michael Abraham and
Israel Belfer and
Dov M. Gabbay and
Uri J. Schild},
title = {Future determination of entities in Talmudic public announcement logic},
journal = {J. Appl. Log.},
volume = {11},
number = {1},
pages = {63--90},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2012.06.001},
doi = {10.1016/J.JAL.2012.06.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/AbrahamBGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/ArieliC13,
author = {Ofer Arieli and
Martin W. A. Caminada},
title = {A QBF-based formalization of abstract argumentation semantics},
journal = {J. Appl. Log.},
volume = {11},
number = {2},
pages = {229--252},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2013.03.009},
doi = {10.1016/J.JAL.2013.03.009},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/ArieliC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/BeirlaenS13,
author = {Mathieu Beirlaen and
Christian Stra{\ss}er},
title = {Two adaptive logics of norm-propositions},
journal = {J. Appl. Log.},
volume = {11},
number = {2},
pages = {147--168},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2013.02.001},
doi = {10.1016/J.JAL.2013.02.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/BeirlaenS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/BonioloDPP13,
author = {Giovanni Boniolo and
Marcello D'Agostino and
Mario Piazza and
Gabriele Pulcini},
title = {A logic of non-monotonic interactions},
journal = {J. Appl. Log.},
volume = {11},
number = {1},
pages = {52--62},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2012.09.002},
doi = {10.1016/J.JAL.2012.09.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/BonioloDPP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/CrupiT13,
author = {Vincenzo Crupi and
Katya Tentori},
title = {Confirmation as partial entailment: {A} representation theorem in
inductive logic},
journal = {J. Appl. Log.},
volume = {11},
number = {4},
pages = {364--372},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2013.03.002},
doi = {10.1016/J.JAL.2013.03.002},
timestamp = {Sat, 13 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/japll/CrupiT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Cvetko-VahLS13,
author = {Karin Cvetko{-}Vah and
Jonathan Leech and
Matthew Spinks},
title = {Skew lattices and binary operations on functions},
journal = {J. Appl. Log.},
volume = {11},
number = {3},
pages = {253--265},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2013.03.011},
doi = {10.1016/J.JAL.2013.03.011},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/Cvetko-VahLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/DixonKFN13,
author = {Clare Dixon and
Boris Konev and
Michael Fisher and
Sherly Nietiadi},
title = {Deductive temporal reasoning with constraints},
journal = {J. Appl. Log.},
volume = {11},
number = {1},
pages = {30--51},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2012.07.001},
doi = {10.1016/J.JAL.2012.07.001},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/japll/DixonKFN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Gabbay13,
author = {Dov M. Gabbay},
title = {Reactive Kripke models and contrary to duty obligations. Part {A:}
Semantics},
journal = {J. Appl. Log.},
volume = {11},
number = {1},
pages = {103--136},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2012.08.001},
doi = {10.1016/J.JAL.2012.08.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/Gabbay13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/GabbayN13,
author = {Murdoch James Gabbay and
Aleksandar Nanevski},
title = {Denotation of contextual modal type theory {(CMTT):} Syntax and meta-programming},
journal = {J. Appl. Log.},
volume = {11},
number = {1},
pages = {1--29},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2012.07.002},
doi = {10.1016/J.JAL.2012.07.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/GabbayN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Gaifman13,
author = {Haim Gaifman},
title = {The sure thing principle, dilations, and objective probabilities},
journal = {J. Appl. Log.},
volume = {11},
number = {4},
pages = {373--385},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2013.06.003},
doi = {10.1016/J.JAL.2013.06.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/Gaifman13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/GateS13,
author = {James Gate and
Iain A. Stewart},
title = {The expressibility of fragments of Hybrid Graph Logic on finite digraphs},
journal = {J. Appl. Log.},
volume = {11},
number = {3},
pages = {272--288},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2013.05.002},
doi = {10.1016/J.JAL.2013.05.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/GateS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Helzner13,
author = {Jeffrey Helzner},
title = {Combining probability and logic: Papers from Progic 2011},
journal = {J. Appl. Log.},
volume = {11},
number = {4},
pages = {363},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2013.06.002},
doi = {10.1016/J.JAL.2013.06.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/Helzner13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/HirschM13,
author = {Robin Hirsch and
Szabolcs Mikul{\'{a}}s},
title = {Ordered domain algebras},
journal = {J. Appl. Log.},
volume = {11},
number = {3},
pages = {266--271},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2013.04.002},
doi = {10.1016/J.JAL.2013.04.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/HirschM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Holm13,
author = {Ruurik Holm},
title = {Infinity and verifiability in Carnap's inductive logic},
journal = {J. Appl. Log.},
volume = {11},
number = {4},
pages = {487--504},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2013.07.006},
doi = {10.1016/J.JAL.2013.07.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/Holm13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/HutterLNU13,
author = {Marcus Hutter and
John W. Lloyd and
Kee Siong Ng and
William T. B. Uther},
title = {Probabilities on Sentences in an Expressive Logic},
journal = {J. Appl. Log.},
volume = {11},
number = {4},
pages = {386--420},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2013.03.003},
doi = {10.1016/J.JAL.2013.03.003},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/japll/HutterLNU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Irvine13,
author = {Andrew David Irvine},
title = {{S7}},
journal = {J. Appl. Log.},
volume = {11},
number = {4},
pages = {523--529},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2013.07.001},
doi = {10.1016/J.JAL.2013.07.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/Irvine13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/KikotZ13,
author = {Stanislav Kikot and
Evgeny Zolin},
title = {Modal definability of first-order formulas with free variables and
query answering},
journal = {J. Appl. Log.},
volume = {11},
number = {2},
pages = {190--216},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2013.03.007},
doi = {10.1016/J.JAL.2013.03.007},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/KikotZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/KonarzewskiZ13,
author = {Jacek Konarzewski and
Mariusz Zynel},
title = {A note on orthogonality of subspaces in Euclidean geometry},
journal = {J. Appl. Log.},
volume = {11},
number = {2},
pages = {169--173},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2013.01.001},
doi = {10.1016/J.JAL.2013.01.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/KonarzewskiZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Link13,
author = {Sebastian Link},
title = {Sound approximate reasoning about saturated conditional probabilistic
independence under controlled uncertainty},
journal = {J. Appl. Log.},
volume = {11},
number = {3},
pages = {309--327},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2013.05.004},
doi = {10.1016/J.JAL.2013.05.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/Link13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/LiuRW13,
author = {Hu Liu and
Yuan Ren and
Xuefeng Wen},
title = {Simulative belief logic},
journal = {J. Appl. Log.},
volume = {11},
number = {2},
pages = {217--228},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2013.03.008},
doi = {10.1016/J.JAL.2013.03.008},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/LiuRW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Paris13,
author = {Jeff B. Paris},
title = {An observation on Carnap's Continuum and stochastic independencies},
journal = {J. Appl. Log.},
volume = {11},
number = {4},
pages = {421--429},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2013.03.004},
doi = {10.1016/J.JAL.2013.03.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/Paris13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Rivieccio13,
author = {Umberto Rivieccio},
title = {Representation of interlaced trilattices},
journal = {J. Appl. Log.},
volume = {11},
number = {2},
pages = {174--189},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2013.03.001},
doi = {10.1016/J.JAL.2013.03.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/Rivieccio13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Romeijn13,
author = {Jan{-}Willem Romeijn},
title = {Abducted by Bayesians?},
journal = {J. Appl. Log.},
volume = {11},
number = {4},
pages = {430--439},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2012.09.003},
doi = {10.1016/J.JAL.2012.09.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/Romeijn13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/SernadasRS13,
author = {Cristina Sernadas and
Jo{\~{a}}o Rasga and
Am{\'{\i}}lcar Sernadas},
title = {Preservation of Craig interpolation by the product of matrix logics},
journal = {J. Appl. Log.},
volume = {11},
number = {3},
pages = {328--349},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2013.06.001},
doi = {10.1016/J.JAL.2013.06.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/SernadasRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/SrinivasanP13,
author = {Bama Srinivasan and
Ranjani Parthasarathi},
title = {An intelligent task analysis approach for special education based
on {MIRA}},
journal = {J. Appl. Log.},
volume = {11},
number = {1},
pages = {137--145},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2012.12.001},
doi = {10.1016/J.JAL.2012.12.001},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/japll/SrinivasanP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/StrassT13,
author = {Hannes Strass and
Michael Thielscher},
title = {A general first-order solution to the ramification problem with cycles},
journal = {J. Appl. Log.},
volume = {11},
number = {3},
pages = {289--308},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2013.05.003},
doi = {10.1016/J.JAL.2013.05.003},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/japll/StrassT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/SultanaBP13,
author = {Nik Sultana and
Jasmin Christian Blanchette and
Lawrence C. Paulson},
title = {{LEO-II} and Satallax on the Sledgehammer test bench},
journal = {J. Appl. Log.},
volume = {11},
number = {1},
pages = {91--102},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2012.12.002},
doi = {10.1016/J.JAL.2012.12.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/SultanaBP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Tiomkin13,
author = {Michael L. Tiomkin},
title = {A sequent calculus for a logic of contingencies},
journal = {J. Appl. Log.},
volume = {11},
number = {4},
pages = {530--535},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2013.05.001},
doi = {10.1016/J.JAL.2013.05.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/Tiomkin13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Vasudevan13,
author = {A. Vasudevan},
title = {On the a priori and a posteriori assessment of probabilities},
journal = {J. Appl. Log.},
volume = {11},
number = {4},
pages = {440--451},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2013.02.002},
doi = {10.1016/J.JAL.2013.02.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/Vasudevan13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Velazquez-QuesadaSN13,
author = {Fernando R. Vel{\'{a}}zquez{-}Quesada and
Fernando Soler{-}Toscano and
{\'{A}}ngel Nepomuceno{-}Fern{\'{a}}ndez},
title = {An epistemic and dynamic approach to abductive reasoning: Abductive
problem and abductive solution},
journal = {J. Appl. Log.},
volume = {11},
number = {4},
pages = {505--522},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2013.07.002},
doi = {10.1016/J.JAL.2013.07.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/Velazquez-QuesadaSN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Wenmackers13,
author = {Sylvia Wenmackers},
title = {Ultralarge lotteries: Analyzing the Lottery Paradox using non-standard
analysis},
journal = {J. Appl. Log.},
volume = {11},
number = {4},
pages = {452--467},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2013.03.005},
doi = {10.1016/J.JAL.2013.03.005},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/japll/Wenmackers13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Williamson13,
author = {Jon Williamson},
title = {From Bayesian epistemology to inductive logic},
journal = {J. Appl. Log.},
volume = {11},
number = {4},
pages = {468--486},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2013.03.006},
doi = {10.1016/J.JAL.2013.03.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/Williamson13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/ZaitsevaL13,
author = {Elena N. Zaitseva and
Vitaly G. Levashenko},
title = {Multiple-Valued Logic mathematical approaches for multi-state system
reliability analysis},
journal = {J. Appl. Log.},
volume = {11},
number = {3},
pages = {350--362},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2013.05.005},
doi = {10.1016/J.JAL.2013.05.005},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/ZaitsevaL13.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 2024-11-08 04:08 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:
