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/logcom19.bht:"
download as .bib file
@article{DBLP:journals/logcom/Alberucci09,
author = {Luca Alberucci},
title = {Sequent Calculi for the Modal {\(\mathrm{\mu}\)}-Calculus over {S5}},
journal = {J. Log. Comput.},
volume = {19},
number = {6},
pages = {971--985},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn106},
doi = {10.1093/LOGCOM/EXN106},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Alberucci09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Avron09,
author = {Arnon Avron},
title = {Editorial: Proof Theory Corner},
journal = {J. Log. Comput.},
volume = {19},
number = {6},
pages = {969},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn107},
doi = {10.1093/LOGCOM/EXN107},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Avron09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BaazM09,
author = {Matthias Baaz and
George Metcalfe},
title = {Fuzzy Logic Corner},
journal = {J. Log. Comput.},
volume = {19},
number = {2},
pages = {343},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn053},
doi = {10.1093/LOGCOM/EXN053},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BaazM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BarmpaliasCRW09,
author = {George Barmpalias and
Douglas A. Cenzer and
Jeffrey B. Remmel and
Rebecca Weber},
title = {\emph{K}-Triviality of Closed Sets and Continuous Functions},
journal = {J. Log. Comput.},
volume = {19},
number = {1},
pages = {3--16},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn021},
doi = {10.1093/LOGCOM/EXN021},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BarmpaliasCRW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BasinCRV09,
author = {David A. Basin and
Carlos Caleiro and
Jaime Ramos and
Luca Vigan{\`{o}}},
title = {Labelled Tableaux for Distributed Temporal Logic},
journal = {J. Log. Comput.},
volume = {19},
number = {6},
pages = {1245--1279},
year = {2009},
url = {https://doi.org/10.1093/logcom/exp022},
doi = {10.1093/LOGCOM/EXP022},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BasinCRV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BauerS09,
author = {Andrej Bauer and
Christopher A. Stone},
title = {{RZ:} a Tool for Bringing Constructive and Computable Mathematics
Closer to Programming Practice},
journal = {J. Log. Comput.},
volume = {19},
number = {1},
pages = {17--43},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn026},
doi = {10.1093/LOGCOM/EXN026},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BauerS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Bench-CaponP09,
author = {Trevor J. M. Bench{-}Capon and
Henry Prakken},
title = {Editorial: Logic and Law Corner},
journal = {J. Log. Comput.},
volume = {19},
number = {6},
pages = {899},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn105},
doi = {10.1093/LOGCOM/EXN105},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Bench-CaponP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BenferhatLR09,
author = {Salem Benferhat and
Sylvain Lagrue and
Julien Rossit},
title = {Max-based Prioritized Information Fusion without Commensurability},
journal = {J. Log. Comput.},
volume = {19},
number = {6},
pages = {1577--1610},
year = {2009},
url = {https://doi.org/10.1093/logcom/exp038},
doi = {10.1093/LOGCOM/EXP038},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BenferhatLR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BertiniL09,
author = {Cesarino Bertini and
Roberto Leporini},
title = {An Axiomatic System Suggested by Quantum Computation},
journal = {J. Log. Comput.},
volume = {19},
number = {6},
pages = {1175--1198},
year = {2009},
url = {https://doi.org/10.1093/logcom/exp008},
doi = {10.1093/LOGCOM/EXP008},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/BertiniL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Beziau09,
author = {Jean{-}Yves B{\'{e}}ziau},
title = {Editorial: Introduction to the Universal Logic Corner},
journal = {J. Log. Comput.},
volume = {19},
number = {6},
pages = {1111},
year = {2009},
url = {https://doi.org/10.1093/logcom/exp035},
doi = {10.1093/LOGCOM/EXP035},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Beziau09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BidoitO09,
author = {Nicole Bidoit and
Matthieu Objois},
title = {Fixpoint and While Temporal Query Languages},
journal = {J. Log. Comput.},
volume = {19},
number = {2},
pages = {369--404},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn056},
doi = {10.1093/LOGCOM/EXN056},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BidoitO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BodirskyC09,
author = {Manuel Bodirsky and
Hubie Chen},
title = {Qualitative Temporal and Spatial Reasoning Revisited},
journal = {J. Log. Comput.},
volume = {19},
number = {6},
pages = {1359--1383},
year = {2009},
url = {https://doi.org/10.1093/logcom/exp025},
doi = {10.1093/LOGCOM/EXP025},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BodirskyC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BofillR09,
author = {Miquel Bofill and
Albert Rubio},
title = {Paramodulation with Well-founded Orderings},
journal = {J. Log. Comput.},
volume = {19},
number = {2},
pages = {263--302},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn073},
doi = {10.1093/LOGCOM/EXN073},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BofillR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BordiniFWV09,
author = {Rafael H. Bordini and
Michael Fisher and
Michael J. Wooldridge and
Willem Visser},
title = {Property-based Slicing for Agent Verification},
journal = {J. Log. Comput.},
volume = {19},
number = {6},
pages = {1385--1425},
year = {2009},
url = {https://doi.org/10.1093/logcom/exp029},
doi = {10.1093/LOGCOM/EXP029},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/BordiniFWV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BouEFGGTV09,
author = {F{\'{e}}lix Bou and
Francesc Esteva and
Josep Maria Font and
{\`{A}}ngel J. Gil and
Llu{\'{\i}}s Godo and
Antoni Torrens and
Ventura Verd{\'{u}}},
title = {Logics Preserving Degrees of Truth from Varieties of Residuated Lattices},
journal = {J. Log. Comput.},
volume = {19},
number = {6},
pages = {1031--1069},
year = {2009},
url = {https://doi.org/10.1093/logcom/exp030},
doi = {10.1093/LOGCOM/EXP030},
timestamp = {Fri, 05 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BouEFGGTV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BouchenebGR09,
author = {Hanifa Boucheneb and
Guillaume Gardey and
Olivier H. Roux},
title = {{TCTL} Model Checking of Time Petri Nets},
journal = {J. Log. Comput.},
volume = {19},
number = {6},
pages = {1509--1540},
year = {2009},
url = {https://doi.org/10.1093/logcom/exp036},
doi = {10.1093/LOGCOM/EXP036},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BouchenebGR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BrainV09,
author = {Martin Brain and
Marina De Vos},
title = {The Significance of Memory Costs in Answer Set Solver Implementation},
journal = {J. Log. Comput.},
volume = {19},
number = {4},
pages = {615--641},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn038},
doi = {10.1093/LOGCOM/EXN038},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BrainV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BrattkaG09,
author = {Vasco Brattka and
Guido Gherardi},
title = {Borel Complexity of Topological Operations on Computable Metric Spaces},
journal = {J. Log. Comput.},
volume = {19},
number = {1},
pages = {45--76},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn027},
doi = {10.1093/LOGCOM/EXN027},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BrattkaG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BusanicheC09,
author = {Manuela Busaniche and
Roberto Cignoli},
title = {Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's
Logic},
journal = {J. Log. Comput.},
volume = {19},
number = {6},
pages = {1019--1029},
year = {2009},
url = {https://doi.org/10.1093/logcom/exp028},
doi = {10.1093/LOGCOM/EXP028},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BusanicheC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CarnielliW09,
author = {Walter Alexandre Carnielli and
Heinrich Wansing},
title = {Editorial and call for papers: The Non-classical Logics Corner of
the \emph{Journal of Logic and Computation}},
journal = {J. Log. Comput.},
volume = {19},
number = {6},
pages = {987},
year = {2009},
url = {https://doi.org/10.1093/logcom/exp026},
doi = {10.1093/LOGCOM/EXP026},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CarnielliW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CastanoPFKKMMPW09,
author = {Silvana Castano and
Irma Sof{\'{\i}}a Espinosa Perald{\'{\i}} and
Alfio Ferrara and
Vangelis Karkaletsis and
Atila Kaya and
Ralf M{\"{o}}ller and
Stefano Montanelli and
Georgios Petasis and
Michael Wessel},
title = {Multimedia Interpretation for Dynamic Ontology Evolution},
journal = {J. Log. Comput.},
volume = {19},
number = {5},
pages = {859--897},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn049},
doi = {10.1093/LOGCOM/EXN049},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/CastanoPFKKMMPW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CenzerLW09,
author = {Douglas A. Cenzer and
Geoffrey LaForte and
Guohua Wu},
title = {Pseudojumps and Pi\({}_{\mbox{1}}\)\({}^{\mbox{0}}\) Classes},
journal = {J. Log. Comput.},
volume = {19},
number = {1},
pages = {77--87},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn028},
doi = {10.1093/LOGCOM/EXN028},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CenzerLW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ChenF09,
author = {Yijia Chen and
J{\"{o}}rg Flum},
title = {Subexponential Time and Fixed-parameter Tractability: Exploiting the
Miniaturization Mapping},
journal = {J. Log. Comput.},
volume = {19},
number = {1},
pages = {89--122},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn029},
doi = {10.1093/LOGCOM/EXN029},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/ChenF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CintulaH09,
author = {Petr Cintula and
Petr H{\'{a}}jek},
title = {Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic},
journal = {J. Log. Comput.},
volume = {19},
number = {2},
pages = {245--260},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn052},
doi = {10.1093/LOGCOM/EXN052},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CintulaH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CollinsonMP09,
author = {Matthew Collinson and
Brian Monahan and
David J. Pym},
title = {A Logical and Computational Theory of Located Resource},
journal = {J. Log. Comput.},
volume = {19},
number = {6},
pages = {1207--1244},
year = {2009},
url = {https://doi.org/10.1093/logcom/exp021},
doi = {10.1093/LOGCOM/EXP021},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CollinsonMP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CooperLS09,
author = {S. Barry Cooper and
Benedikt L{\"{o}}we and
Andrea Sorbi},
title = {Logic and Computation in the Real World: CiE 2007},
journal = {J. Log. Comput.},
volume = {19},
number = {1},
pages = {1--2},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn020},
doi = {10.1093/LOGCOM/EXN020},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CooperLS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Cordon-FrancoFM09,
author = {Andr{\'{e}}s Cord{\'{o}}n{-}Franco and
Alejandro Fern{\'{a}}ndez{-}Margarit and
Francisco F{\'{e}}lix Lara Mart{\'{\i}}n},
title = {Existentially Closed Models and Conservation Results in Bounded Arithmetic},
journal = {J. Log. Comput.},
volume = {19},
number = {1},
pages = {123--143},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn030},
doi = {10.1093/LOGCOM/EXN030},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Cordon-FrancoFM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CostantiniW09,
author = {Stefania Costantini and
Richard Watson},
title = {Editorial},
journal = {J. Log. Comput.},
volume = {19},
number = {4},
pages = {537--538},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn037},
doi = {10.1093/LOGCOM/EXN037},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CostantiniW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Csima09,
author = {Barbara F. Csima},
title = {The Settling Time Reducibility Ordering and Delta\({}_{\mbox{2}}\)\({}^{\mbox{0}}\)
Sets},
journal = {J. Log. Comput.},
volume = {19},
number = {1},
pages = {145--150},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn031},
doi = {10.1093/LOGCOM/EXN031},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Csima09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DanielsP09,
author = {Tijmen R. Dani{\"{e}}ls and
Eric Pacuit},
title = {A General Approach to Aggregation Problems},
journal = {J. Log. Comput.},
volume = {19},
number = {3},
pages = {517--536},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn009},
doi = {10.1093/LOGCOM/EXN009},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/DanielsP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DemriG09,
author = {St{\'{e}}phane Demri and
R{\'{e}}gis Gascon},
title = {The Effects of Bounding Syntactic Resources on Presburger {LTL}},
journal = {J. Log. Comput.},
volume = {19},
number = {6},
pages = {1541--1575},
year = {2009},
url = {https://doi.org/10.1093/logcom/exp037},
doi = {10.1093/LOGCOM/EXP037},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/DemriG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Fernandez09,
author = {Maribel Fern{\'{a}}ndez},
title = {Rewriting Corner},
journal = {J. Log. Comput.},
volume = {19},
number = {2},
pages = {261},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn072},
doi = {10.1093/LOGCOM/EXN072},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Fernandez09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/FigueiraMN09,
author = {Santiago Figueira and
Joseph S. Miller and
Andr{\'{e}} Nies},
title = {Indifferent Sets},
journal = {J. Log. Comput.},
volume = {19},
number = {2},
pages = {425--443},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn101},
doi = {10.1093/LOGCOM/EXN101},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/FigueiraMN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/FlourisdAPP09,
author = {Giorgos Flouris and
Mathieu d'Aquin and
Grigoris Antoniou and
Jeff Z. Pan and
Dimitris Plexousakis},
title = {Special Issue on Ontology Dynamics},
journal = {J. Log. Comput.},
volume = {19},
number = {5},
pages = {717--719},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn046},
doi = {10.1093/LOGCOM/EXN046},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/FlourisdAPP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Gabbay09,
author = {Murdoch James Gabbay},
title = {Nominal Algebra and the {HSP} Theorem},
journal = {J. Log. Comput.},
volume = {19},
number = {2},
pages = {341--367},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn055},
doi = {10.1093/LOGCOM/EXN055},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Gabbay09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GabbayM09,
author = {Murdoch James Gabbay and
Aad Mathijssen},
title = {Nominal (Universal) Algebra: Equational Logic with Names and Binding},
journal = {J. Log. Comput.},
volume = {19},
number = {6},
pages = {1455--1508},
year = {2009},
url = {https://doi.org/10.1093/logcom/exp033},
doi = {10.1093/LOGCOM/EXP033},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/GabbayM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GabbayRP09,
author = {Dov M. Gabbay and
Odinaldo Rodrigues and
Gabriella Pigozzi},
title = {Connections between Belief Revision, Belief Merging and Social Choice},
journal = {J. Log. Comput.},
volume = {19},
number = {3},
pages = {445--446},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn013},
doi = {10.1093/LOGCOM/EXN013},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/GabbayRP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GebserGMS09,
author = {Martin Gebser and
Mona Gharib and
Robert E. Mercer and
Torsten Schaub},
title = {Monotonic Answer Set Programming},
journal = {J. Log. Comput.},
volume = {19},
number = {4},
pages = {539--564},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn040},
doi = {10.1093/LOGCOM/EXN040},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/GebserGMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GeldartS09,
author = {Joe Geldart and
William Song},
title = {Category-based Equational Reasoning: An Approach to Ontology Integration},
journal = {J. Log. Comput.},
volume = {19},
number = {5},
pages = {791--806},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn044},
doi = {10.1093/LOGCOM/EXN044},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/GeldartS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Georgatos09,
author = {Konstantinos Georgatos},
title = {Geodesic Revision},
journal = {J. Log. Comput.},
volume = {19},
number = {3},
pages = {447--459},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn008},
doi = {10.1093/LOGCOM/EXN008},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Georgatos09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GiacomoLPR09,
author = {Giuseppe De Giacomo and
Maurizio Lenzerini and
Antonella Poggi and
Riccardo Rosati},
title = {On Instance-level Update and Erasure in Description Logic Ontologies},
journal = {J. Log. Comput.},
volume = {19},
number = {5},
pages = {745--770},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn051},
doi = {10.1093/LOGCOM/EXN051},
timestamp = {Thu, 02 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/GiacomoLPR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GolbeckH09,
author = {Jennifer Golbeck and
Christian Halaschek{-}Wiener},
title = {Trust-based Revision for Expressive Web Syndication},
journal = {J. Log. Comput.},
volume = {19},
number = {5},
pages = {771--790},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn045},
doi = {10.1093/LOGCOM/EXN045},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/GolbeckH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GrossiMPP09,
author = {Giuliano Grossi and
Massimo Marchi and
Enrico Pontelli and
Alessandro Provetti},
title = {Experimental Analysis of Graph-based Answer Set Computation over Parallel
and Distributed Architectures},
journal = {J. Log. Comput.},
volume = {19},
number = {4},
pages = {697--715},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn036},
doi = {10.1093/LOGCOM/EXN036},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/GrossiMPP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/IanniMPT09,
author = {Giovambattista Ianni and
Alessandra Martello and
Claudio Panetta and
Giorgio Terracina},
title = {Efficiently Querying {RDF(S)} Ontologies with Answer Set Programming},
journal = {J. Log. Comput.},
volume = {19},
number = {4},
pages = {671--695},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn043},
doi = {10.1093/LOGCOM/EXN043},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/IanniMPT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Jerabek09,
author = {Emil Jer{\'{a}}bek},
title = {Proof Complexity of the Cut-free Calculus of Structures},
journal = {J. Log. Comput.},
volume = {19},
number = {2},
pages = {323--339},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn054},
doi = {10.1093/LOGCOM/EXN054},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Jerabek09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kalimullin09,
author = {Iskander Sh. Kalimullin},
title = {Enumeration Degrees and Enumerability of Familes},
journal = {J. Log. Comput.},
volume = {19},
number = {1},
pages = {151--158},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn032},
doi = {10.1093/LOGCOM/EXN032},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Kalimullin09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KorovinaK09,
author = {Margarita V. Korovina and
Oleg V. Kudinov},
title = {The Uniformity Principle for Sigma-definability},
journal = {J. Log. Comput.},
volume = {19},
number = {1},
pages = {159--174},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn033},
doi = {10.1093/LOGCOM/EXN033},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/KorovinaK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kostrzycka09,
author = {Zofia Kostrzycka},
title = {On the Density of Truth of Locally Finite Logics},
journal = {J. Log. Comput.},
volume = {19},
number = {6},
pages = {1113--1125},
year = {2009},
url = {https://doi.org/10.1093/logcom/exp034},
doi = {10.1093/LOGCOM/EXP034},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Kostrzycka09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kostrzycka09a,
author = {Zofia Kostrzycka},
title = {On a Finitely Axiomatizable Kripke Incomplete Logic Containing \emph{KTB}},
journal = {J. Log. Comput.},
volume = {19},
number = {6},
pages = {1199--1205},
year = {2009},
url = {https://doi.org/10.1093/logcom/exp020},
doi = {10.1093/LOGCOM/EXP020},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Kostrzycka09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/LoriniLGH09,
author = {Emiliano Lorini and
Dominique Longin and
Benoit Gaudou and
Andreas Herzig},
title = {The Logic of Acceptance: Grounding Institutions on Agents' Attitudes},
journal = {J. Log. Comput.},
volume = {19},
number = {6},
pages = {901--940},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn103},
doi = {10.1093/LOGCOM/EXN103},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/LoriniLGH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/MeilickeST09,
author = {Christian Meilicke and
Heiner Stuckenschmidt and
Andrei Tamilin},
title = {Reasoning Support for Mapping Revision},
journal = {J. Log. Comput.},
volume = {19},
number = {5},
pages = {807--829},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn047},
doi = {10.1093/LOGCOM/EXN047},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/MeilickeST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Mikulas09,
author = {Szabolcs Mikul{\'{a}}s},
title = {Algebras of Relations and Relevance Logic},
journal = {J. Log. Comput.},
volume = {19},
number = {2},
pages = {305--321},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn099},
doi = {10.1093/LOGCOM/EXN099},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Mikulas09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/OikarinenJ09,
author = {Emilia Oikarinen and
Tomi Janhunen},
title = {A Translation-based Approach to the Verification of Modular Equivalence},
journal = {J. Log. Comput.},
volume = {19},
number = {4},
pages = {591--613},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn039},
doi = {10.1093/LOGCOM/EXN039},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/OikarinenJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/OttensHGA09,
author = {K{\'{e}}vin Ottens and
Nathalie Hernandez and
Marie{-}Pierre Gleizes and
Nathalie Aussenac{-}Gilles},
title = {A Multi-Agent System for Dynamic Ontologies},
journal = {J. Log. Comput.},
volume = {19},
number = {5},
pages = {831--858},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn050},
doi = {10.1093/LOGCOM/EXN050},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/OttensHGA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Perote-PenaP09,
author = {Juan Perote{-}Pe{\~{n}}a and
Ashley Piggins},
title = {Non-manipulable Social Welfare Functions when Preferences are Fuzzy},
journal = {J. Log. Comput.},
volume = {19},
number = {3},
pages = {503--515},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn010},
doi = {10.1093/LOGCOM/EXN010},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Perote-PenaP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/PiniRVW09,
author = {Maria Silvia Pini and
Francesca Rossi and
Kristen Brent Venable and
Toby Walsh},
title = {Aggregating Partially Ordered Preferences},
journal = {J. Log. Comput.},
volume = {19},
number = {3},
pages = {475--502},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn012},
doi = {10.1093/LOGCOM/EXN012},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/PiniRVW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/RibeiroW09,
author = {M{\'{a}}rcio Moretto Ribeiro and
Renata Wassermann},
title = {Base Revision for Ontology Debugging},
journal = {J. Log. Comput.},
volume = {19},
number = {5},
pages = {721--743},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn048},
doi = {10.1093/LOGCOM/EXN048},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/RibeiroW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/RiccaGSDGL09,
author = {Francesco Ricca and
Lorenzo Gallucci and
Roman Schindlauer and
Tina Dell'Armi and
Giovanni Grasso and
Nicola Leone},
title = {OntoDLV: An ASP-based System for Enterprise Ontologies},
journal = {J. Log. Comput.},
volume = {19},
number = {4},
pages = {643--670},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn042},
doi = {10.1093/LOGCOM/EXN042},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/RiccaGSDGL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/RovanS09,
author = {Branislav Rovan and
L'ubos Steskal},
title = {Infinite Computations and a Hierarchy in Delta\({}_{\mbox{3}}\) Reconsidered},
journal = {J. Log. Comput.},
volume = {19},
number = {1},
pages = {175--176},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn022},
doi = {10.1093/LOGCOM/EXN022},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/RovanS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/RuanHW09,
author = {Ji Ruan and
Wiebe van der Hoek and
Michael J. Wooldridge},
title = {Verification of Games in the Game Description Language},
journal = {J. Log. Comput.},
volume = {19},
number = {6},
pages = {1127--1156},
year = {2009},
url = {https://doi.org/10.1093/logcom/exp039},
doi = {10.1093/LOGCOM/EXP039},
timestamp = {Fri, 26 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/RuanHW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Rybakov09,
author = {Vladimir V. Rybakov},
title = {Linear Temporal Logic LTK\({}_{\mbox{K}}\) extended by Multi-Agent
Logic K\({}_{\mbox{n}}\) with Interacting Agents},
journal = {J. Log. Comput.},
volume = {19},
number = {6},
pages = {989--1017},
year = {2009},
url = {https://doi.org/10.1093/logcom/exp027},
doi = {10.1093/LOGCOM/EXP027},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Rybakov09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Selivanov09,
author = {Victor L. Selivanov},
title = {Undecidability in Some Structures Related to Computation Theory},
journal = {J. Log. Comput.},
volume = {19},
number = {1},
pages = {177--197},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn023},
doi = {10.1093/LOGCOM/EXN023},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Selivanov09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/SernadasSRC09,
author = {Am{\'{\i}}lcar Sernadas and
Cristina Sernadas and
Jo{\~{a}}o Rasga and
Marcelo E. Coniglio},
title = {A Graph-theoretic Account of Logics},
journal = {J. Log. Comput.},
volume = {19},
number = {6},
pages = {1281--1320},
year = {2009},
url = {https://doi.org/10.1093/logcom/exp023},
doi = {10.1093/LOGCOM/EXP023},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/SernadasSRC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/SernadasSRC09a,
author = {Am{\'{\i}}lcar Sernadas and
Cristina Sernadas and
Jo{\~{a}}o Rasga and
Marcelo E. Coniglio},
title = {On Graph-theoretic Fibring of Logics},
journal = {J. Log. Comput.},
volume = {19},
number = {6},
pages = {1321--1357},
year = {2009},
url = {https://doi.org/10.1093/logcom/exp024},
doi = {10.1093/LOGCOM/EXP024},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/SernadasSRC09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Sevenster09,
author = {Merlijn Sevenster},
title = {Model-theoretic and Computational Properties of Modal Dependence Logic},
journal = {J. Log. Comput.},
volume = {19},
number = {6},
pages = {1157--1173},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn102},
doi = {10.1093/LOGCOM/EXN102},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Sevenster09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/SoskovaS09,
author = {Alexandra A. Soskova and
Ivan N. Soskov},
title = {A Jump Inversion Theorem for the Degree Spectra},
journal = {J. Log. Comput.},
volume = {19},
number = {1},
pages = {199--215},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn024},
doi = {10.1093/LOGCOM/EXN024},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/SoskovaS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/StephanMN09,
author = {Igor St{\'{e}}phan and
Benoit Da Mota and
Pascal Nicolas},
title = {From (Quantified) Boolean Formulae to Answer Set Programming},
journal = {J. Log. Comput.},
volume = {19},
number = {4},
pages = {565--590},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn041},
doi = {10.1093/LOGCOM/EXN041},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/StephanMN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Stewart09,
author = {Iain A. Stewart},
title = {Logical and Complexity-theoretic Aspects of Models of Computation
with Restricted Access to Arrays},
journal = {J. Log. Comput.},
volume = {19},
number = {1},
pages = {217--242},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn025},
doi = {10.1093/LOGCOM/EXN025},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Stewart09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ThangDH09,
author = {Phan Minh Thang and
Phan Minh Dung and
Nguyen Duy Hung},
title = {Towards a Common Framework for Dialectical Proof Procedures in Abstract
Argumentation},
journal = {J. Log. Comput.},
volume = {19},
number = {6},
pages = {1071--1109},
year = {2009},
url = {https://doi.org/10.1093/logcom/exp032},
doi = {10.1093/LOGCOM/EXP032},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/ThangDH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Venema09,
author = {Yde Venema},
title = {Algebraic and Coalgebraic Logic Corner},
journal = {J. Log. Comput.},
volume = {19},
number = {2},
pages = {303},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn098},
doi = {10.1093/LOGCOM/EXN098},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Venema09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Williamson09,
author = {Jon Williamson},
title = {Aggregating Judgements by Merging Evidence},
journal = {J. Log. Comput.},
volume = {19},
number = {3},
pages = {461--473},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn011},
doi = {10.1093/LOGCOM/EXN011},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Williamson09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/WynerB09,
author = {Adam Zachary Wyner and
Trevor J. M. Bench{-}Capon},
title = {Modelling Judicial Context in Argumentation Frameworks},
journal = {J. Log. Comput.},
volume = {19},
number = {6},
pages = {941--968},
year = {2009},
url = {https://doi.org/10.1093/logcom/exp009},
doi = {10.1093/LOGCOM/EXP009},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/WynerB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Zhang09,
author = {Yan Zhang},
title = {Updating Epistemic Logic Programs},
journal = {J. Log. Comput.},
volume = {19},
number = {2},
pages = {405--423},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn100},
doi = {10.1093/LOGCOM/EXN100},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Zhang09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Zhou09,
author = {Chunlai Zhou},
title = {A Complete Deductive System for Probability Logic},
journal = {J. Log. Comput.},
volume = {19},
number = {6},
pages = {1427--1454},
year = {2009},
url = {https://doi.org/10.1093/logcom/exp031},
doi = {10.1093/LOGCOM/EXP031},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Zhou09.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-04 02:53 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:
