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/logcom/logcom24.bht:"
download as .bib file
@article{DBLP:journals/logcom/Agudelo-AgudeloS14,
author = {Juan Carlos Agudelo Agudelo and
Manuel H. Sierra{-}Aristiz{\'{a}}bal},
title = {Restricted normal modal logics and levelled possible worlds semantics},
journal = {J. Log. Comput.},
volume = {24},
number = {4},
pages = {687--704},
year = {2014},
url = {https://doi.org/10.1093/logcom/exs032},
doi = {10.1093/LOGCOM/EXS032},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Agudelo-AgudeloS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AlvesFFM14,
author = {Sandra Alves and
Maribel Fern{\'{a}}ndez and
M{\'{a}}rio Florido and
Ian Mackie},
title = {Linearity: {A} Roadmap},
journal = {J. Log. Comput.},
volume = {24},
number = {3},
pages = {513--529},
year = {2014},
url = {https://doi.org/10.1093/logcom/exs020},
doi = {10.1093/LOGCOM/EXS020},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/AlvesFFM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AttiaPTG14,
author = {Mohammed Attia and
Pavel Pecina and
Antonio Toral and
Josef van Genabith},
title = {A corpus-based finite-state morphological toolkit for contemporary
arabic},
journal = {J. Log. Comput.},
volume = {24},
number = {2},
pages = {455--472},
year = {2014},
url = {https://doi.org/10.1093/logcom/exs070},
doi = {10.1093/LOGCOM/EXS070},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/AttiaPTG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BabenyshevM14,
author = {Sergey Babenyshev and
Manuel A. Martins},
title = {Deduction-detachment theorem in hidden \emph{k}-logics},
journal = {J. Log. Comput.},
volume = {24},
number = {1},
pages = {233--255},
year = {2014},
url = {https://doi.org/10.1093/logcom/ext008},
doi = {10.1093/LOGCOM/EXT008},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BabenyshevM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BarkerBGG14,
author = {Steve Barker and
Guido Boella and
Dov M. Gabbay and
Valerio Genovese},
title = {Reasoning about delegation and revocation schemes in answer set programming},
journal = {J. Log. Comput.},
volume = {24},
number = {1},
pages = {89--116},
year = {2014},
url = {https://doi.org/10.1093/logcom/exs014},
doi = {10.1093/LOGCOM/EXS014},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BarkerBGG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BeirlaenS14,
author = {Mathieu Beirlaen and
Christian Stra{\ss}er},
title = {Non-monotonic reasoning with normative conflicts in multi-agent deontic
logic},
journal = {J. Log. Comput.},
volume = {24},
number = {6},
pages = {1179--1207},
year = {2014},
url = {https://doi.org/10.1093/logcom/exs059},
doi = {10.1093/LOGCOM/EXS059},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BeirlaenS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BeklemishevG14,
author = {Lev D. Beklemishev and
Yuri Gurevich},
title = {Propositional primal logic with disjunction},
journal = {J. Log. Comput.},
volume = {24},
number = {1},
pages = {257--282},
year = {2014},
url = {https://doi.org/10.1093/logcom/exs018},
doi = {10.1093/LOGCOM/EXS018},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BeklemishevG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BenevidesS14,
author = {Mario R. F. Benevides and
Luis Menasch{\'{e}} Schechter},
title = {Propositional dynamic logics for communicating concurrent programs
with CCS's parallel operator},
journal = {J. Log. Comput.},
volume = {24},
number = {4},
pages = {919--951},
year = {2014},
url = {https://doi.org/10.1093/logcom/exu001},
doi = {10.1093/LOGCOM/EXU001},
timestamp = {Fri, 08 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BenevidesS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Berto14,
author = {Francesco Berto},
title = {Review of \emph{Errors of Reasoning. Naturalizing the Logic of Inference},
by John Woods},
journal = {J. Log. Comput.},
volume = {24},
number = {1},
pages = {303--307},
year = {2014},
url = {https://doi.org/10.1093/logcom/ext053},
doi = {10.1093/LOGCOM/EXT053},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Berto14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BuchseVN14,
author = {Matthias B{\"{u}}chse and
Heiko Vogler and
Mark{-}Jan Nederhof},
title = {Tree parsing for tree-adjoining machine translation},
journal = {J. Log. Comput.},
volume = {24},
number = {2},
pages = {351--373},
year = {2014},
url = {https://doi.org/10.1093/logcom/exs050},
doi = {10.1093/LOGCOM/EXS050},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/BuchseVN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BuntMN14,
author = {Harry Bunt and
Andreas Maletti and
Joakim Nivre},
title = {Grammars, Parsers and Recognizers},
journal = {J. Log. Comput.},
volume = {24},
number = {2},
pages = {309},
year = {2014},
url = {https://doi.org/10.1093/logcom/ext003},
doi = {10.1093/LOGCOM/EXT003},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BuntMN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Chen-MainJ14,
author = {Joan Chen{-}Main and
Aravind K. Joshi},
title = {A dependency perspective on the adequacy of tree local multi-component
tree adjoining grammar},
journal = {J. Log. Comput.},
volume = {24},
number = {5},
pages = {989--1022},
year = {2014},
url = {https://doi.org/10.1093/logcom/exs012},
doi = {10.1093/LOGCOM/EXS012},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Chen-MainJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CollinsonMP14,
author = {Matthew Collinson and
Kevin McDonald and
David J. Pym},
title = {A substructural logic for layered graphs},
journal = {J. Log. Comput.},
volume = {24},
number = {4},
pages = {953--988},
year = {2014},
url = {https://doi.org/10.1093/logcom/exu002},
doi = {10.1093/LOGCOM/EXU002},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CollinsonMP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Demolombe14,
author = {Robert Demolombe},
title = {Obligations with deadlines: a formalization in Dynamic Deontic Logic},
journal = {J. Log. Comput.},
volume = {24},
number = {1},
pages = {1--17},
year = {2014},
url = {https://doi.org/10.1093/logcom/exs015},
doi = {10.1093/LOGCOM/EXS015},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Demolombe14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DeoskarMS14,
author = {Tejaswini Deoskar and
Markos Mylonakis and
Khalil Sima'an},
title = {Learning structural dependencies of words in the Zipfian Tail},
journal = {J. Log. Comput.},
volume = {24},
number = {2},
pages = {433--453},
year = {2014},
url = {https://doi.org/10.1093/logcom/exs062},
doi = {10.1093/LOGCOM/EXS062},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/DeoskarMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DignumD14,
author = {Frank Dignum and
Virginia Dignum},
title = {A formal semantics for agent (re)organization},
journal = {J. Log. Comput.},
volume = {24},
number = {6},
pages = {1341--1363},
year = {2014},
url = {https://doi.org/10.1093/logcom/ext058},
doi = {10.1093/LOGCOM/EXT058},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/DignumD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DitmarschDH14,
author = {Hans van Ditmarsch and
David Fern{\'{a}}ndez{-}Duque and
Wiebe van der Hoek},
title = {On the definability of simulation and bisimulation in epistemic logic},
journal = {J. Log. Comput.},
volume = {24},
number = {6},
pages = {1209--1227},
year = {2014},
url = {https://doi.org/10.1093/logcom/exs058},
doi = {10.1093/LOGCOM/EXS058},
timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/DitmarschDH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DuchierDP14,
author = {Denys Duchier and
Thi{-}Bich{-}Hanh Dao and
Yannick Parmentier},
title = {Model-theory and implementation of property grammars with features},
journal = {J. Log. Comput.},
volume = {24},
number = {2},
pages = {491--509},
year = {2014},
url = {https://doi.org/10.1093/logcom/exs080},
doi = {10.1093/LOGCOM/EXS080},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/DuchierDP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/EggerMS14,
author = {Jeff Egger and
Rasmus Ejlers M{\o}gelberg and
Alex Simpson},
title = {The enriched effect calculus: syntax and semantics},
journal = {J. Log. Comput.},
volume = {24},
number = {3},
pages = {615--654},
year = {2014},
url = {https://doi.org/10.1093/logcom/exs025},
doi = {10.1093/LOGCOM/EXS025},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/EggerMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/FernandezS14,
author = {Maribel Fern{\'{a}}ndez and
Nikolaos Siafakas},
title = {Labelled calculi of resources},
journal = {J. Log. Comput.},
volume = {24},
number = {3},
pages = {591--613},
year = {2014},
url = {https://doi.org/10.1093/logcom/exs021},
doi = {10.1093/LOGCOM/EXS021},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/FernandezS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/FisherTDG14,
author = {Michael Fisher and
Leendert W. N. van der Torre and
Mehdi Dastani and
Guido Governatori},
title = {Preface to the Special Issue on Computational Logic in Multi-Agent
Systems {(CLIMA} {XIII)}},
journal = {J. Log. Comput.},
volume = {24},
number = {6},
pages = {1251--1252},
year = {2014},
url = {https://doi.org/10.1093/logcom/ext075},
doi = {10.1093/LOGCOM/EXT075},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/FisherTDG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/FloridoM14,
author = {M{\'{a}}rio Florido and
Ian Mackie},
title = {Linearity in Computation},
journal = {J. Log. Comput.},
volume = {24},
number = {3},
pages = {511--512},
year = {2014},
url = {https://doi.org/10.1093/logcom/exs024},
doi = {10.1093/LOGCOM/EXS024},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/FloridoM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GabbayR14,
author = {Dov M. Gabbay and
Odinaldo Rodrigues},
title = {An equational approach to the merging of argumentation networks},
journal = {J. Log. Comput.},
volume = {24},
number = {6},
pages = {1253--1277},
year = {2014},
url = {https://doi.org/10.1093/logcom/ext060},
doi = {10.1093/LOGCOM/EXT060},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/GabbayR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GaboardiP14,
author = {Marco Gaboardi and
Mauro Piccolo},
title = {What is a model for a semantically linear {\(\lambda\)}-calculus?},
journal = {J. Log. Comput.},
volume = {24},
number = {3},
pages = {557--589},
year = {2014},
url = {https://doi.org/10.1093/logcom/exs023},
doi = {10.1093/LOGCOM/EXS023},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/GaboardiP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GenoveseGGP14,
author = {Valerio Genovese and
Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {Logics in access control: a conditional approach},
journal = {J. Log. Comput.},
volume = {24},
number = {4},
pages = {705--762},
year = {2014},
url = {https://doi.org/10.1093/logcom/exs040},
doi = {10.1093/LOGCOM/EXS040},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/GenoveseGGP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/HigueraO14,
author = {Colin de la Higuera and
Jos{\'{e}} Oncina},
title = {The most probable string: an algorithmic study},
journal = {J. Log. Comput.},
volume = {24},
number = {2},
pages = {311--330},
year = {2014},
url = {https://doi.org/10.1093/logcom/exs049},
doi = {10.1093/LOGCOM/EXS049},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/HigueraO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Hodkinson14,
author = {Ian M. Hodkinson},
title = {On the Priorean temporal logic with 'around now' over the real line},
journal = {J. Log. Comput.},
volume = {24},
number = {5},
pages = {1071--1110},
year = {2014},
url = {https://doi.org/10.1093/logcom/ext056},
doi = {10.1093/LOGCOM/EXT056},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Hodkinson14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kashima14,
author = {Ryo Kashima},
title = {An axiomatization of {ECTL}},
journal = {J. Log. Comput.},
volume = {24},
number = {1},
pages = {117--133},
year = {2014},
url = {https://doi.org/10.1093/logcom/ext005},
doi = {10.1093/LOGCOM/EXT005},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Kashima14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KiharaM14,
author = {Takayuki Kihara and
Kenshi Miyabe},
title = {Uniform Kurtz randomness},
journal = {J. Log. Comput.},
volume = {24},
number = {4},
pages = {863--882},
year = {2014},
url = {https://doi.org/10.1093/logcom/ext054},
doi = {10.1093/LOGCOM/EXT054},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/KiharaM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KnorrSLH14,
author = {Matthias Knorr and
Martin Slota and
Jo{\~{a}}o Leite and
Martin Homola},
title = {What if no hybrid reasoner is available? Hybrid {MKNF} in multi-context
systems},
journal = {J. Log. Comput.},
volume = {24},
number = {6},
pages = {1279--1311},
year = {2014},
url = {https://doi.org/10.1093/logcom/ext062},
doi = {10.1093/LOGCOM/EXT062},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/KnorrSLH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KordyMRS14,
author = {Barbara Kordy and
Sjouke Mauw and
Sasa Radomirovic and
Patrick Schweitzer},
title = {Attack-defense trees},
journal = {J. Log. Comput.},
volume = {24},
number = {1},
pages = {55--87},
year = {2014},
url = {https://doi.org/10.1093/logcom/exs029},
doi = {10.1093/LOGCOM/EXS029},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/KordyMRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KramerGO14,
author = {Simon Kramer and
Rajeev Gor{\'{e}} and
Eiji Okamoto},
title = {Computer-aided decision-making with trust relations and trust domains
(cryptographic applications)},
journal = {J. Log. Comput.},
volume = {24},
number = {1},
pages = {19--54},
year = {2014},
url = {https://doi.org/10.1093/logcom/exs013},
doi = {10.1093/LOGCOM/EXS013},
timestamp = {Sun, 31 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/KramerGO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KrstevOUV14,
author = {Cvetana Krstev and
Ivan Obradovic and
Milos Utvic and
Dusko Vitas},
title = {A system for named entity recognition based on local grammars},
journal = {J. Log. Comput.},
volume = {24},
number = {2},
pages = {473--489},
year = {2014},
url = {https://doi.org/10.1093/logcom/exs079},
doi = {10.1093/LOGCOM/EXS079},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/KrstevOUV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/LeiteTABT14,
author = {Jo{\~{a}}o Leite and
Paolo Torroni and
Thomas {\AA}gotnes and
Guido Boella and
Leendert W. N. van der Torre},
title = {Preface to the Special Issue on Computational Logic in Multi-Agent
Systems {(CLIMA} {XII)}},
journal = {J. Log. Comput.},
volume = {24},
number = {6},
pages = {1141--1144},
year = {2014},
url = {https://doi.org/10.1093/logcom/exs067},
doi = {10.1093/LOGCOM/EXS067},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/LeiteTABT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Liberatore14,
author = {Paolo Liberatore},
title = {Bijective faithful translations among default logics},
journal = {J. Log. Comput.},
volume = {24},
number = {4},
pages = {763--807},
year = {2014},
url = {https://doi.org/10.1093/logcom/ext073},
doi = {10.1093/LOGCOM/EXT073},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Liberatore14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Lima14,
author = {Tiago de Lima},
title = {Alternating-time temporal dynamic epistemic logic},
journal = {J. Log. Comput.},
volume = {24},
number = {6},
pages = {1145--1178},
year = {2014},
url = {https://doi.org/10.1093/logcom/exs061},
doi = {10.1093/LOGCOM/EXS061},
timestamp = {Fri, 28 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Lima14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/LoriniLM14,
author = {Emiliano Lorini and
Dominique Longin and
Eunate Mayor},
title = {A logical analysis of responsibility attribution: emotions, individuals
and collectives},
journal = {J. Log. Comput.},
volume = {24},
number = {6},
pages = {1313--1339},
year = {2014},
url = {https://doi.org/10.1093/logcom/ext072},
doi = {10.1093/LOGCOM/EXT072},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/LoriniLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/LutovacH14,
author = {Tatjana Lutovac and
James Harland},
title = {Detection and analysis of some redundancies in linear logic sequent
proofs},
journal = {J. Log. Comput.},
volume = {24},
number = {1},
pages = {187--232},
year = {2014},
url = {https://doi.org/10.1093/logcom/ext007},
doi = {10.1093/LOGCOM/EXT007},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/LutovacH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Magri14,
author = {Giorgio Magri},
title = {Tools for the robust analysis of error-driven ranking algorithms and
their implications for modelling the child's acquisition of phonotactics},
journal = {J. Log. Comput.},
volume = {24},
number = {1},
pages = {135--186},
year = {2014},
url = {https://doi.org/10.1093/logcom/ext004},
doi = {10.1093/LOGCOM/EXT004},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Magri14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/NalonZDH14,
author = {Cl{\'{a}}udia Nalon and
Lan Zhang and
Clare Dixon and
Ullrich Hustadt},
title = {A resolution-based calculus for Coalition Logic},
journal = {J. Log. Comput.},
volume = {24},
number = {4},
pages = {883--917},
year = {2014},
url = {https://doi.org/10.1093/logcom/ext074},
doi = {10.1093/LOGCOM/EXT074},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/NalonZDH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/NaumovS14,
author = {Pavel Naumov and
Italo Simonelli},
title = {Strict equilibria interchangeability in multi-player zero-sum games},
journal = {J. Log. Comput.},
volume = {24},
number = {4},
pages = {851--861},
year = {2014},
url = {https://doi.org/10.1093/logcom/ext052},
doi = {10.1093/LOGCOM/EXT052},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/NaumovS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/NederhofS14,
author = {Mark{-}Jan Nederhof and
Giorgio Satta},
title = {Prefix probabilities for linear context-free rewriting systems},
journal = {J. Log. Comput.},
volume = {24},
number = {2},
pages = {331--350},
year = {2014},
url = {https://doi.org/10.1093/logcom/exs081},
doi = {10.1093/LOGCOM/EXS081},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/NederhofS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Olkhovikov14,
author = {Grigory K. Olkhovikov},
title = {Model-theoretic characterization of intuitionistic predicate formulas},
journal = {J. Log. Comput.},
volume = {24},
number = {4},
pages = {809--829},
year = {2014},
url = {https://doi.org/10.1093/logcom/ext014},
doi = {10.1093/LOGCOM/EXT014},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Olkhovikov14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Peltier14,
author = {Nicolas Peltier},
title = {Tractable and intractable classes of propositional schemata},
journal = {J. Log. Comput.},
volume = {24},
number = {5},
pages = {1111--1139},
year = {2014},
url = {https://doi.org/10.1093/logcom/exu013},
doi = {10.1093/LOGCOM/EXU013},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Peltier14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/PorelloE14,
author = {Daniele Porello and
Ulle Endriss},
title = {Ontology merging as social choice: judgment aggregation under the
open world assumption},
journal = {J. Log. Comput.},
volume = {24},
number = {6},
pages = {1229--1249},
year = {2014},
url = {https://doi.org/10.1093/logcom/exs056},
doi = {10.1093/LOGCOM/EXS056},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/PorelloE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/PymRR14,
author = {David J. Pym and
Eike Ritter and
Edmund Robinson},
title = {A proof-theoretic analysis of the classical propositional matrix method},
journal = {J. Log. Comput.},
volume = {24},
number = {1},
pages = {283--301},
year = {2014},
url = {https://doi.org/10.1093/logcom/exs045},
doi = {10.1093/LOGCOM/EXS045},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/PymRR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/SeddahCA14,
author = {Djam{\'{e}} Seddah and
Marie Candito and
Enrique Henestroza Anguiano},
title = {A word clustering approach to domain adaptation: Robust parsing of
source and target domains},
journal = {J. Log. Comput.},
volume = {24},
number = {2},
pages = {395--411},
year = {2014},
url = {https://doi.org/10.1093/logcom/exs082},
doi = {10.1093/LOGCOM/EXS082},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/SeddahCA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/SernadasRSM14,
author = {Am{\'{\i}}lcar Sernadas and
Jo{\~{a}}o Rasga and
Cristina Sernadas and
Paulo Mateus},
title = {Approximate reasoning about logic circuits with single-fan-out unreliable
gates},
journal = {J. Log. Comput.},
volume = {24},
number = {5},
pages = {1023--1069},
year = {2014},
url = {https://doi.org/10.1093/logcom/ext038},
doi = {10.1093/LOGCOM/EXT038},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/SernadasRSM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ThangL14,
author = {P. M. Thang and
H. T. Luong},
title = {Translating preferred subtheories into structured argumentation},
journal = {J. Log. Comput.},
volume = {24},
number = {4},
pages = {831--849},
year = {2014},
url = {https://doi.org/10.1093/logcom/ext049},
doi = {10.1093/LOGCOM/EXT049},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/ThangL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Torrini14,
author = {Paolo Torrini},
title = {Linear Types and Locality},
journal = {J. Log. Comput.},
volume = {24},
number = {3},
pages = {655--685},
year = {2014},
url = {https://doi.org/10.1093/logcom/exs026},
doi = {10.1093/LOGCOM/EXS026},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Torrini14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/VriesFH14,
author = {Edsko de Vries and
Adrian Francalanza and
Matthew Hennessy},
title = {Uniqueness typing for resource management in message-passing concurrency},
journal = {J. Log. Comput.},
volume = {24},
number = {3},
pages = {531--556},
year = {2014},
url = {https://doi.org/10.1093/logcom/exs022},
doi = {10.1093/LOGCOM/EXS022},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/VriesFH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/XuLZUK14,
author = {Feiyu Xu and
Hong Li and
Yi Zhang and
Hans Uszkoreit and
Sebastian Krause},
title = {Parse reranking for domain-adaptative relation extraction},
journal = {J. Log. Comput.},
volume = {24},
number = {2},
pages = {413--431},
year = {2014},
url = {https://doi.org/10.1093/logcom/exs055},
doi = {10.1093/LOGCOM/EXS055},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/XuLZUK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/YiLP14,
author = {Youngmin Yi and
Chao{-}Yue Lai and
Slav Petrov},
title = {Efficient parallel {CKY} parsing using GPUs},
journal = {J. Log. Comput.},
volume = {24},
number = {2},
pages = {375--393},
year = {2014},
url = {https://doi.org/10.1093/logcom/exs078},
doi = {10.1093/LOGCOM/EXS078},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/YiLP14.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-05-28 03:54 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:
