default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/tableaux/tableaux2017.bht:"
download as .bib file
@inproceedings{DBLP:conf/tableaux/Barnett17,
author = {Lee A. Barnett},
editor = {Renate A. Schmidt and
Cl{\'{a}}udia Nalon},
title = {Goal-Sensitive Reasoning with Disconnection Tableaux},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
September 25-28, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10501},
pages = {163--174},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66902-1\_10},
doi = {10.1007/978-3-319-66902-1\_10},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Barnett17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BaumgartnerTT17,
author = {Peter Baumgartner and
Sylvie Thi{\'{e}}baux and
Felipe W. Trevizan},
editor = {Renate A. Schmidt and
Cl{\'{a}}udia Nalon},
title = {Tableaux for Policy Synthesis for MDPs with PCTL* Constraints},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
September 25-28, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10501},
pages = {175--192},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66902-1\_11},
doi = {10.1007/978-3-319-66902-1\_11},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/BaumgartnerTT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Bibel17,
author = {Wolfgang Bibel},
editor = {Renate A. Schmidt and
Cl{\'{a}}udia Nalon},
title = {A Vision for Automated Deduction Rooted in the Connection Method},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
September 25-28, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10501},
pages = {3--21},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66902-1\_1},
doi = {10.1007/978-3-319-66902-1\_1},
timestamp = {Wed, 06 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Bibel17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Bimbo17,
author = {Katalin Bimb{\'{o}}},
editor = {Renate A. Schmidt and
Cl{\'{a}}udia Nalon},
title = {On the Decidability of Certain Semi-Lattice Based Modal Logics},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
September 25-28, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10501},
pages = {44--61},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66902-1\_3},
doi = {10.1007/978-3-319-66902-1\_3},
timestamp = {Thu, 12 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Bimbo17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/CernaL17,
author = {David M. Cerna and
Michael Peter Lettmann},
editor = {Renate A. Schmidt and
Cl{\'{a}}udia Nalon},
title = {Integrating a Global Induction Mechanism into a Sequent Calculus},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
September 25-28, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10501},
pages = {278--294},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66902-1\_17},
doi = {10.1007/978-3-319-66902-1\_17},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/CernaL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Cerrito017,
author = {Serenella Cerrito and
Am{\'{e}}lie David},
editor = {Renate A. Schmidt and
Cl{\'{a}}udia Nalon},
title = {Minimisation of {ATL} * Models},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
September 25-28, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10501},
pages = {193--208},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66902-1\_12},
doi = {10.1007/978-3-319-66902-1\_12},
timestamp = {Wed, 06 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Cerrito017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Cohen17,
author = {Liron Cohen},
editor = {Renate A. Schmidt and
Cl{\'{a}}udia Nalon},
title = {Completeness for Ancestral Logic via a Computationally-Meaningful
Semantics},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
September 25-28, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10501},
pages = {247--260},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66902-1\_15},
doi = {10.1007/978-3-319-66902-1\_15},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/Cohen17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/DasP17,
author = {Anupam Das and
Damien Pous},
editor = {Renate A. Schmidt and
Cl{\'{a}}udia Nalon},
title = {A Cut-Free Cyclic Proof System for Kleene Algebra},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
September 25-28, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10501},
pages = {261--277},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66902-1\_16},
doi = {10.1007/978-3-319-66902-1\_16},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/DasP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/DawsonG17,
author = {Jeremy E. Dawson and
Rajeev Gor{\'{e}}},
editor = {Renate A. Schmidt and
Cl{\'{a}}udia Nalon},
title = {Issues in Machine-Checking the Decidability of Implicational Ticket
Entailment},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
September 25-28, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10501},
pages = {347--363},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66902-1\_21},
doi = {10.1007/978-3-319-66902-1\_21},
timestamp = {Wed, 06 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/DawsonG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/DinHJPT17,
author = {Crystal Chang Din and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen and
Ka I Pun and
Silvia Lizeth Tapia Tarifa},
editor = {Renate A. Schmidt and
Cl{\'{a}}udia Nalon},
title = {Locally Abstract, Globally Concrete Semantics of Concurrent Programming
Languages},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
September 25-28, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10501},
pages = {22--43},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66902-1\_2},
doi = {10.1007/978-3-319-66902-1\_2},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/DinHJPT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/FermullerL17,
author = {Christian G. Ferm{\"{u}}ller and
Timo Lang},
editor = {Renate A. Schmidt and
Cl{\'{a}}udia Nalon},
title = {Interpreting Sequent Calculi as Client-Server Games},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
September 25-28, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10501},
pages = {98--113},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66902-1\_6},
doi = {10.1007/978-3-319-66902-1\_6},
timestamp = {Wed, 06 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/FermullerL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/FiorentiniF17,
author = {Camillo Fiorentini and
Mauro Ferrari},
editor = {Renate A. Schmidt and
Cl{\'{a}}udia Nalon},
title = {A Forward Unprovability Calculus for Intuitionistic Propositional
Logic},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
September 25-28, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10501},
pages = {114--130},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66902-1\_7},
doi = {10.1007/978-3-319-66902-1\_7},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/FiorentiniF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/GirlandoLOP17,
author = {Marianna Girlando and
Bj{\"{o}}rn Lellmann and
Nicola Olivetti and
Gian Luca Pozzato},
editor = {Renate A. Schmidt and
Cl{\'{a}}udia Nalon},
title = {Hypersequent Calculi for Lewis' Conditional Logics with Uniformity
and Reflexivity},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
September 25-28, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10501},
pages = {131--148},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66902-1\_8},
doi = {10.1007/978-3-319-66902-1\_8},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/GirlandoLOP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/GirlandoLOPV17,
author = {Marianna Girlando and
Bj{\"{o}}rn Lellmann and
Nicola Olivetti and
Gian Luca Pozzato and
Quentin Vitalis},
editor = {Renate A. Schmidt and
Cl{\'{a}}udia Nalon},
title = {{VINTE:} An Implementation of Internal Calculi for Lewis' Logics of
Counterfactual Reasoning},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
September 25-28, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10501},
pages = {149--159},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66902-1\_9},
doi = {10.1007/978-3-319-66902-1\_9},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/GirlandoLOPV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/LahavZ17,
author = {Ori Lahav and
Yoni Zohar},
editor = {Renate A. Schmidt and
Cl{\'{a}}udia Nalon},
title = {Cut-Admissibility as a Corollary of the Subformula Property},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
September 25-28, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10501},
pages = {65--80},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66902-1\_4},
doi = {10.1007/978-3-319-66902-1\_4},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/LahavZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/MarinS17,
author = {Sonia Marin and
Lutz Stra{\ss}burger},
editor = {Renate A. Schmidt and
Cl{\'{a}}udia Nalon},
title = {Proof Theory for Indexed Nested Sequents},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
September 25-28, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10501},
pages = {81--97},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66902-1\_5},
doi = {10.1007/978-3-319-66902-1\_5},
timestamp = {Wed, 06 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/MarinS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Oliveira17,
author = {Mateus de Oliveira Oliveira},
editor = {Renate A. Schmidt and
Cl{\'{a}}udia Nalon},
title = {Parameterized Provability in Equational Logic},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
September 25-28, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10501},
pages = {364--380},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66902-1\_22},
doi = {10.1007/978-3-319-66902-1\_22},
timestamp = {Wed, 06 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Oliveira17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Otten17,
author = {Jens Otten},
editor = {Renate A. Schmidt and
Cl{\'{a}}udia Nalon},
title = {Non-clausal Connection Calculi for Non-classical Logics},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
September 25-28, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10501},
pages = {209--227},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66902-1\_13},
doi = {10.1007/978-3-319-66902-1\_13},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Otten17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/RoweB17,
author = {Reuben N. S. Rowe and
James Brotherston},
editor = {Renate A. Schmidt and
Cl{\'{a}}udia Nalon},
title = {Realizability in Cyclic Proof: Extracting Ordering Information for
Infinite Descent},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
September 25-28, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10501},
pages = {295--310},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66902-1\_18},
doi = {10.1007/978-3-319-66902-1\_18},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/RoweB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Schmitt17,
author = {Peter H. Schmitt},
editor = {Renate A. Schmidt and
Cl{\'{a}}udia Nalon},
title = {A Mechanizable First-Order Theory of Ordinals},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
September 25-28, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10501},
pages = {331--346},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66902-1\_20},
doi = {10.1007/978-3-319-66902-1\_20},
timestamp = {Wed, 06 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Schmitt17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Stratulat17,
author = {Sorin Stratulat},
editor = {Renate A. Schmidt and
Cl{\'{a}}udia Nalon},
title = {Cyclic Proofs with Ordering Constraints},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
September 25-28, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10501},
pages = {311--327},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66902-1\_19},
doi = {10.1007/978-3-319-66902-1\_19},
timestamp = {Wed, 06 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Stratulat17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/TishkovskyS17,
author = {Dmitry Tishkovsky and
Renate A. Schmidt},
editor = {Renate A. Schmidt and
Cl{\'{a}}udia Nalon},
title = {Rule Refinement for Semantic Tableau Calculi},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
September 25-28, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10501},
pages = {228--244},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66902-1\_14},
doi = {10.1007/978-3-319-66902-1\_14},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/TishkovskyS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tableaux/2017,
editor = {Renate A. Schmidt and
Cl{\'{a}}udia Nalon},
title = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
September 25-28, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10501},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66902-1},
doi = {10.1007/978-3-319-66902-1},
isbn = {978-3-319-66901-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2025-01-09 01:28 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
