Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/igpl/igpl21.bht:"
download as .bib file
@article{DBLP:journals/igpl/AbrusciCMP13,
author = {V. Michele Abrusci and
Claudia Casadio and
M. Teresa Medaglia and
Camillo Porcaro},
title = {Universal vs. particular reasoning: a study with neuroimaging techniques},
journal = {Log. J. {IGPL}},
volume = {21},
number = {6},
pages = {1017--1027},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzt008},
doi = {10.1093/JIGPAL/JZT008},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/AbrusciCMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/AielloMP13,
author = {Maurizio Aiello and
Alessio Merlo and
Gianluca Papaleo},
title = {Performance assessment and analysis of {DNS} tunneling tools},
journal = {Log. J. {IGPL}},
volume = {21},
number = {4},
pages = {592--602},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs029},
doi = {10.1093/JIGPAL/JZS029},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/AielloMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/AjspurGS13,
author = {Mai Ajspur and
Valentin Goranko and
Dmitry Shkatov},
title = {Tableau-based decision procedure for the multiagent epistemic logic
with all coalitional operators for common and distributed knowledge},
journal = {Log. J. {IGPL}},
volume = {21},
number = {3},
pages = {407--437},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs048},
doi = {10.1093/JIGPAL/JZS048},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/AjspurGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/AlisedaL13,
author = {Atocha Aliseda{-}Llera and
Laura Leonides},
title = {Hypotheses testing in adaptive logics: an application to medical diagnosis},
journal = {Log. J. {IGPL}},
volume = {21},
number = {6},
pages = {915--930},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzt005},
doi = {10.1093/JIGPAL/JZT005},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/AlisedaL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/AmatoCMR13,
author = {Flora Amato and
Valentina Casola and
Nicola Mazzocca and
Sara Romano},
title = {A semantic approach for fine-grain access control of e-health documents},
journal = {Log. J. {IGPL}},
volume = {21},
number = {4},
pages = {692--701},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs027},
doi = {10.1093/JIGPAL/JZS027},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/AmatoCMR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Angius13,
author = {Nicola Angius},
title = {Model-based abductive reasoning in automated software testing},
journal = {Log. J. {IGPL}},
volume = {21},
number = {6},
pages = {931--942},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzt006},
doi = {10.1093/JIGPAL/JZT006},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Angius13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BalbianiGS13,
author = {Philippe Balbiani and
Olivier Gasquet and
Fran{\c{c}}ois Schwarzentruber},
title = {Agents that look at one another},
journal = {Log. J. {IGPL}},
volume = {21},
number = {3},
pages = {438--467},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs052},
doi = {10.1093/JIGPAL/JZS052},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/BalbianiGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BaltagS13,
author = {Alexandru Baltag and
Sonja Smets},
title = {Protocols for belief merge: Reaching agreement via communication},
journal = {Log. J. {IGPL}},
volume = {21},
number = {3},
pages = {468--487},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs049},
doi = {10.1093/JIGPAL/JZS049},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/BaltagS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BankovicVFM13,
author = {Zorana Bankovic and
Juan Carlos Vallejo and
David Fraga and
Jos{\'{e}} Manuel Moya},
title = {Detecting false testimonies in reputation systems using self-organizing
maps},
journal = {Log. J. {IGPL}},
volume = {21},
number = {4},
pages = {549--559},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs028},
doi = {10.1093/JIGPAL/JZS028},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/BankovicVFM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BehounekRS13,
author = {Libor Behounek and
Greg Restall and
Giovanni Sambin},
title = {Editorial: Special issue on non-classical mathematics},
journal = {Log. J. {IGPL}},
volume = {21},
number = {1},
pages = {1--3},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs017},
doi = {10.1093/JIGPAL/JZS017},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BehounekRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BianchiG13,
author = {Silvia De Bianchi and
Silvia Gaudenzi},
title = {How far can we go with fuzzy logic? Perspectives on model-based reasoning
and stochastic resonance in scientific models},
journal = {Log. J. {IGPL}},
volume = {21},
number = {6},
pages = {1044--1056},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzt007},
doi = {10.1093/JIGPAL/JZT007},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BianchiG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BridgesDM13,
author = {Douglas S. Bridges and
James E. Dent and
Maarten McKubre{-}Jordens},
title = {Two direct proofs that {LLPO} implies the detachable fan theorem},
journal = {Log. J. {IGPL}},
volume = {21},
number = {5},
pages = {830--835},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzt003},
doi = {10.1093/JIGPAL/JZT003},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BridgesDM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BridgesV13,
author = {Douglas S. Bridges and
Luminita Simona V{\^{\i}}ta},
title = {A first constructive look at the comparison of projections},
journal = {Log. J. {IGPL}},
volume = {21},
number = {1},
pages = {14--27},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs019},
doi = {10.1093/JIGPAL/JZS019},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BridgesV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CasaliGS13,
author = {Ana Casali and
Llu{\'{\i}}s Godo and
Carles Sierra},
title = {A language for the execution of graded {BDI} agents},
journal = {Log. J. {IGPL}},
volume = {21},
number = {3},
pages = {332--354},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzr037},
doi = {10.1093/JIGPAL/JZR037},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/CasaliGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CaterinaG13,
author = {Gianluca Caterina and
Rocco Gangle},
title = {Iconicity and abduction: a categorical approach to creative hypothesis-formation
in Peirce's existential graphs},
journal = {Log. J. {IGPL}},
volume = {21},
number = {6},
pages = {1028--1043},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzt009},
doi = {10.1093/JIGPAL/JZT009},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/CaterinaG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Cevolani13,
author = {Gustavo Cevolani},
title = {Truth approximation via abductive belief change},
journal = {Log. J. {IGPL}},
volume = {21},
number = {6},
pages = {999--1016},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzt010},
doi = {10.1093/JIGPAL/JZT010},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Cevolani13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CirauloMT13,
author = {Francesco Ciraulo and
Maria Emilia Maietti and
Paola Toto},
title = {Constructive version of Boolean algebra},
journal = {Log. J. {IGPL}},
volume = {21},
number = {1},
pages = {44--62},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs021},
doi = {10.1093/JIGPAL/JZS021},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/CirauloMT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/ConradieMA13,
author = {Willem Conradie and
Wilmari Morton and
Clint J. van Alten},
title = {An algebraic look at filtrations in modal logic},
journal = {Log. J. {IGPL}},
volume = {21},
number = {5},
pages = {788--811},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzt001},
doi = {10.1093/JIGPAL/JZT001},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/ConradieMA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CorchadoH13,
author = {Emilio Corchado and
{\'{A}}lvaro Herrero},
title = {Editorial},
journal = {Log. J. {IGPL}},
volume = {21},
number = {4},
pages = {537--539},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs039},
doi = {10.1093/JIGPAL/JZS039},
timestamp = {Fri, 12 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/CorchadoH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CrosillaPS13,
author = {Laura Crosilla and
Erik Palmgren and
Peter Schuster},
title = {A generalized cut characterization of the fullness axiom in {CZF}},
journal = {Log. J. {IGPL}},
volume = {21},
number = {1},
pages = {63--76},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs022},
doi = {10.1093/JIGPAL/JZS022},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/CrosillaPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/DiazEM13,
author = {Ra{\'{u}}l Dur{\'{a}}n D{\'{\i}}az and
Luis Hern{\'{a}}ndez Encinas and
Jaime Mu{\~{n}}oz Masqu{\'{e}}},
title = {Two proposals for group signature schemes based on number theory problems},
journal = {Log. J. {IGPL}},
volume = {21},
number = {4},
pages = {648--658},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs035},
doi = {10.1093/JIGPAL/JZS035},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/DiazEM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/DitmarschHR13,
author = {Hans van Ditmarsch and
Wiebe van der Hoek and
Ji Ruan},
title = {Connecting dynamic epistemic and temporal epistemic logics},
journal = {Log. J. {IGPL}},
volume = {21},
number = {3},
pages = {380--403},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzr038},
doi = {10.1093/JIGPAL/JZR038},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/DitmarschHR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Dunin-KepliczV13,
author = {Barbara Dunin{-}Keplicz and
Rineke Verbrugge},
title = {Introduction: Formal approaches to multi-agent systems: Special issue
of best papers of {FAMAS} 2007},
journal = {Log. J. {IGPL}},
volume = {21},
number = {3},
pages = {309--310},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs053},
doi = {10.1093/JIGPAL/JZS053},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Dunin-KepliczV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Dunin-KepliczV13a,
author = {Barbara Dunin{-}Keplicz and
Rineke Verbrugge},
title = {Introduction: Formal approaches to multi-agent systems: Special issue
of best papers of {FAMAS} 2009},
journal = {Log. J. {IGPL}},
volume = {21},
number = {3},
pages = {404--406},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzt016},
doi = {10.1093/JIGPAL/JZT016},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Dunin-KepliczV13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/DuziJ13,
author = {Marie Duz{\'{\i}} and
Bj{\o}rn Jespersen},
title = {Procedural isomorphism, analytic information and \emph{{\(\beta\)}}-conversion
by value},
journal = {Log. J. {IGPL}},
volume = {21},
number = {2},
pages = {291--308},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs044},
doi = {10.1093/JIGPAL/JZS044},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/DuziJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/DzikJK13,
author = {Wojciech Dzik and
Jouni J{\"{a}}rvinen and
Michiro Kondo},
title = {Intuitionistic modal logic with a galois connection has the finite
model property\({}^{\mbox{1}}\)},
journal = {Log. J. {IGPL}},
volume = {21},
number = {2},
pages = {199--204},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs016},
doi = {10.1093/JIGPAL/JZS016},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/DzikJK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Dziubinski13,
author = {Marcin Dziubinski},
title = {Complexity of logics for multi-agent systems with restricted modal
context},
journal = {Log. J. {IGPL}},
volume = {21},
number = {3},
pages = {355--379},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzr040},
doi = {10.1093/JIGPAL/JZR040},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Dziubinski13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GhoshJ13,
author = {Sujata Ghosh and
Dick de Jongh},
title = {Comparing strengths of beliefs explicitly},
journal = {Log. J. {IGPL}},
volume = {21},
number = {3},
pages = {488--514},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs050},
doi = {10.1093/JIGPAL/JZS050},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/GhoshJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Hajek13,
author = {Petr H{\'{a}}jek},
title = {On equality and natural numbers in Cantor-{\L}ukasiewicz set theory},
journal = {Log. J. {IGPL}},
volume = {21},
number = {1},
pages = {91--100},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzq019},
doi = {10.1093/JIGPAL/JZQ019},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Hajek13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Hajek13a,
author = {Petr H{\'{a}}jek},
title = {Some remarks on Cantor-{\L}ukasiewicz fuzzy set theory},
journal = {Log. J. {IGPL}},
volume = {21},
number = {2},
pages = {183--186},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs014},
doi = {10.1093/JIGPAL/JZS014},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Hajek13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/HajekH13,
author = {Petr H{\'{a}}jek and
Zuzana Hanikov{\'{a}}},
title = {Interpreting lattice-valued set theory in fuzzy set theory},
journal = {Log. J. {IGPL}},
volume = {21},
number = {1},
pages = {77--90},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs023},
doi = {10.1093/JIGPAL/JZS023},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/HajekH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Hartonas13,
author = {Chrysafis Hartonas},
title = {Reasoning about types of action and agent capabilities},
journal = {Log. J. {IGPL}},
volume = {21},
number = {5},
pages = {703--742},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs045},
doi = {10.1093/JIGPAL/JZS045},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Hartonas13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/HuangLH13,
author = {Shasha Huang and
Qingguo Li and
Pascal Hitzler},
title = {Reasoning with inconsistencies in hybrid {MKNF} knowledge bases},
journal = {Log. J. {IGPL}},
volume = {21},
number = {2},
pages = {263--290},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs043},
doi = {10.1093/JIGPAL/JZS043},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/HuangLH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/HyttinenKV13,
author = {Tapani Hyttinen and
Kaisa Kangas and
Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen},
title = {On second-order characterizability},
journal = {Log. J. {IGPL}},
volume = {21},
number = {5},
pages = {767--787},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs047},
doi = {10.1093/JIGPAL/JZS047},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/HyttinenKV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Jaworski13,
author = {Leszek Jaworski},
title = {From the research on logics without tautologies (part 1)},
journal = {Log. J. {IGPL}},
volume = {21},
number = {2},
pages = {216--233},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs040},
doi = {10.1093/JIGPAL/JZS040},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Jaworski13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Jaworski13a,
author = {Leszek Jaworski},
title = {From the research on logics without tautologies (part 2)},
journal = {Log. J. {IGPL}},
volume = {21},
number = {2},
pages = {234--251},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs041},
doi = {10.1093/JIGPAL/JZS041},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Jaworski13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Jaworski13b,
author = {Leszek Jaworski},
title = {From the research on logics without tautologies (part 3)},
journal = {Log. J. {IGPL}},
volume = {21},
number = {2},
pages = {252--262},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs042},
doi = {10.1093/JIGPAL/JZS042},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Jaworski13b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/LaordenSSGB13,
author = {Carlos Laorden and
Borja Sanz and
Igor Santos and
Patxi Gal{\'{a}}n{-}Garc{\'{\i}}a and
Pablo Garc{\'{\i}}a Bringas},
title = {Collective classification for spam filtering},
journal = {Log. J. {IGPL}},
volume = {21},
number = {4},
pages = {540--548},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs030},
doi = {10.1093/JIGPAL/JZS030},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/LaordenSSGB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Loeb13,
author = {Iris Loeb},
title = {Lipschitz functions in constructive reverse mathematics},
journal = {Log. J. {IGPL}},
volume = {21},
number = {1},
pages = {28--43},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs020},
doi = {10.1093/JIGPAL/JZS020},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Loeb13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/LoriniTHB13,
author = {Emiliano Lorini and
Nicolas Troquard and
Andreas Herzig and
Jan M. Broersen},
title = {Grounding power on actions and mental attitudes},
journal = {Log. J. {IGPL}},
volume = {21},
number = {3},
pages = {311--331},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzr039},
doi = {10.1093/JIGPAL/JZR039},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/LoriniTHB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Magnani13,
author = {Lorenzo Magnani},
title = {Preface},
journal = {Log. J. {IGPL}},
volume = {21},
number = {6},
pages = {879--881},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzt011},
doi = {10.1093/JIGPAL/JZT011},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Magnani13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Magnani13a,
author = {Lorenzo Magnani},
title = {Is abduction ignorance-preserving? Conventions, models and fictions
in science},
journal = {Log. J. {IGPL}},
volume = {21},
number = {6},
pages = {882--914},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzt012},
doi = {10.1093/JIGPAL/JZT012},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Magnani13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MarianoM13,
author = {Hugo Luiz Mariano and
Francisco Miraglia},
title = {The Boolean and profinite hulls of reduced special groups},
journal = {Log. J. {IGPL}},
volume = {21},
number = {2},
pages = {160--182},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs013},
doi = {10.1093/JIGPAL/JZS013},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/MarianoM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MarkovicD13,
author = {Milan Markovic and
Goran Dordevic},
title = {Secure {JAVA} application in SOA-based cross-border {PKI} mobile government
systems},
journal = {Log. J. {IGPL}},
volume = {21},
number = {4},
pages = {680--691},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs032},
doi = {10.1093/JIGPAL/JZS032},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/MarkovicD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MartinsV13,
author = {Manuel Ant{\'{o}}nio Martins and
George Voutsadakis},
title = {Malinowski modalization, modalization through fibring and the Leibniz
hierarchy},
journal = {Log. J. {IGPL}},
volume = {21},
number = {5},
pages = {836--852},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzt019},
doi = {10.1093/JIGPAL/JZT019},
timestamp = {Thu, 22 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/MartinsV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Molnar13,
author = {Zolt{\'{a}}n Moln{\'{a}}r},
title = {Epsilon-invariant substitutions and indefinite descriptions},
journal = {Log. J. {IGPL}},
volume = {21},
number = {5},
pages = {812--829},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzt002},
doi = {10.1093/JIGPAL/JZT002},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Molnar13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Mortensen13,
author = {Chris Mortensen},
title = {Identity taken seriously: a non-classical approach},
journal = {Log. J. {IGPL}},
volume = {21},
number = {1},
pages = {101--107},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs024},
doi = {10.1093/JIGPAL/JZS024},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Mortensen13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/NaranjoC13,
author = {J. A. M. Naranjo and
Leocadio G. Casado},
title = {An updated view on centralized secure group communications},
journal = {Log. J. {IGPL}},
volume = {21},
number = {4},
pages = {659--670},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs026},
doi = {10.1093/JIGPAL/JZS026},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/NaranjoC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Nepomuceno-FernandezSV13,
author = {{\'{A}}ngel Nepomuceno{-}Fern{\'{a}}ndez and
Fernando Soler{-}Toscano and
Fernando R. Vel{\'{a}}zquez{-}Quesada},
title = {An epistemic and dynamic approach to abductive reasoning: selecting
the best explanation},
journal = {Log. J. {IGPL}},
volume = {21},
number = {6},
pages = {943--961},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzt013},
doi = {10.1093/JIGPAL/JZT013},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Nepomuceno-FernandezSV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/NguyenTAFP13,
author = {Hai Thanh Nguyen and
Carmen Torrano{-}Gimenez and
Gonzalo {\'{A}}lvarez and
Katrin Franke and
Slobodan Petrovic},
title = {Enhancing the effectiveness of Web Application Firewalls by generic
feature selection},
journal = {Log. J. {IGPL}},
volume = {21},
number = {4},
pages = {560--570},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs033},
doi = {10.1093/JIGPAL/JZS033},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/NguyenTAFP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/PeinadoO13,
author = {Alberto Peinado and
Andr{\'{e}}s Ortiz},
title = {Cryptanalysis of a key refreshment scheme for multicast protocols
by means of genetic algorithm},
journal = {Log. J. {IGPL}},
volume = {21},
number = {4},
pages = {671--679},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs031},
doi = {10.1093/JIGPAL/JZS031},
timestamp = {Thu, 28 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/PeinadoO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Pizzi13,
author = {Claudio Pizzi},
title = {Counterfactuals and modus tollens in abductive arguments},
journal = {Log. J. {IGPL}},
volume = {21},
number = {6},
pages = {962--979},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzt014},
doi = {10.1093/JIGPAL/JZT014},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Pizzi13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Priest13,
author = {Graham Priest},
title = {Mathematical pluralism},
journal = {Log. J. {IGPL}},
volume = {21},
number = {1},
pages = {4--13},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs018},
doi = {10.1093/JIGPAL/JZS018},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Priest13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/PutteS13,
author = {Frederik Van De Putte and
Christian Stra{\ss}er},
title = {Three formats of prioritized adaptive logics: a comparative study},
journal = {Log. J. {IGPL}},
volume = {21},
number = {2},
pages = {127--159},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs004},
doi = {10.1093/JIGPAL/JZS004},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/PutteS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Robaldo13,
author = {Livio Robaldo},
title = {Conservativity: a necessary property for the maximization of witness
sets},
journal = {Log. J. {IGPL}},
volume = {21},
number = {5},
pages = {853--878},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzt018},
doi = {10.1093/JIGPAL/JZT018},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Robaldo13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Roschke0M13,
author = {Sebastian Roschke and
Feng Cheng and
Christoph Meinel},
title = {High-quality attack graph-based {IDS} correlation},
journal = {Log. J. {IGPL}},
volume = {21},
number = {4},
pages = {571--591},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs034},
doi = {10.1093/JIGPAL/JZS034},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Roschke0M13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Rybakov13,
author = {Vladimir V. Rybakov},
title = {Writing out unifiers for formulas with coefficients in intuitionistic
logic},
journal = {Log. J. {IGPL}},
volume = {21},
number = {2},
pages = {187--198},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs015},
doi = {10.1093/JIGPAL/JZS015},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Rybakov13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Rybakov13a,
author = {Vladimir V. Rybakov},
title = {Unifiers in transitive modal logics for formulas with coefficients
(meta-variables)},
journal = {Log. J. {IGPL}},
volume = {21},
number = {2},
pages = {205--215},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs038},
doi = {10.1093/JIGPAL/JZS038},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Rybakov13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/SakamaI13,
author = {Chiaki Sakama and
Katsumi Inoue},
title = {Abduction, unpredictability and Garden of Eden},
journal = {Log. J. {IGPL}},
volume = {21},
number = {6},
pages = {980--998},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzt015},
doi = {10.1093/JIGPAL/JZT015},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/SakamaI13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/SedanoGHBC13,
author = {Javier Sedano and
Silvia Gonz{\'{a}}lez and
{\'{A}}lvaro Herrero and
Bruno Baruque and
Emilio Corchado},
title = {Mutating network scans for the assessment of supervised classifier
ensembles},
journal = {Log. J. {IGPL}},
volume = {21},
number = {4},
pages = {630--647},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs037},
doi = {10.1093/JIGPAL/JZS037},
timestamp = {Fri, 12 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/SedanoGHBC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Sen13,
author = {Jaydip Sen},
title = {Secure and user privacy-preserving searching in peer-to-peer networks},
journal = {Log. J. {IGPL}},
volume = {21},
number = {4},
pages = {603--629},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs036},
doi = {10.1093/JIGPAL/JZS036},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/Sen13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Szalas13,
author = {Andrzej Szalas},
title = {How an agent might think},
journal = {Log. J. {IGPL}},
volume = {21},
number = {3},
pages = {515--535},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs051},
doi = {10.1093/JIGPAL/JZS051},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Szalas13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Verdee13,
author = {Peter Verd{\'{e}}e},
title = {Strong, universal and provably non-trivial set theory by means of
adaptive logic},
journal = {Log. J. {IGPL}},
volume = {21},
number = {1},
pages = {108--125},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs025},
doi = {10.1093/JIGPAL/JZS025},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Verdee13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Verdee13a,
author = {Peter Verd{\'{e}}e},
title = {A proof procedure for adaptive logics},
journal = {Log. J. {IGPL}},
volume = {21},
number = {5},
pages = {743--766},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs046},
doi = {10.1093/JIGPAL/JZS046},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Verdee13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-07-05 17:21 CEST 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:
