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/conf/tableaux/tableaux2007.bht:"
download as .bib file
@inproceedings{DBLP:conf/tableaux/AvelloneFM07,
author = {Alessandro Avellone and
Guido Fiorino and
Ugo Moscato},
editor = {Nicola Olivetti},
title = {Improvements to the Tableau Prover {PITP}},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 16th
International Conference, {TABLEAUX} 2007, Aix en Provence, France,
July 3-6, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4548},
pages = {233--237},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73099-6\_18},
doi = {10.1007/978-3-540-73099-6\_18},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/AvelloneFM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BaaderP07,
author = {Franz Baader and
Rafael Pe{\~{n}}aloza},
editor = {Nicola Olivetti},
title = {Axiom Pinpointing in General Tableaux},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 16th
International Conference, {TABLEAUX} 2007, Aix en Provence, France,
July 3-6, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4548},
pages = {11--27},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73099-6\_4},
doi = {10.1007/978-3-540-73099-6\_4},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BaaderP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BaazM07,
author = {Matthias Baaz and
George Metcalfe},
editor = {Nicola Olivetti},
title = {Proof Theory for First Order Lukasiewicz Logic},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 16th
International Conference, {TABLEAUX} 2007, Aix en Provence, France,
July 3-6, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4548},
pages = {28--42},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73099-6\_5},
doi = {10.1007/978-3-540-73099-6\_5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BaazM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BalbianiDHL07,
author = {Philippe Balbiani and
Hans P. van Ditmarsch and
Andreas Herzig and
Tiago de Lima},
editor = {Nicola Olivetti},
title = {A Tableau Method for Public Announcement Logics},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 16th
International Conference, {TABLEAUX} 2007, Aix en Provence, France,
July 3-6, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4548},
pages = {43--59},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73099-6\_6},
doi = {10.1007/978-3-540-73099-6\_6},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BalbianiDHL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Ben-DavidTW07,
author = {Shoham Ben{-}David and
Richard J. Trefler and
Grant E. Weddell},
editor = {Nicola Olivetti},
title = {Bounded Model Checking with Description Logic Reasoning},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 16th
International Conference, {TABLEAUX} 2007, Aix en Provence, France,
July 3-6, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4548},
pages = {60--72},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73099-6\_7},
doi = {10.1007/978-3-540-73099-6\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Ben-DavidTW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Bonatti07,
author = {Piero A. Bonatti},
editor = {Nicola Olivetti},
title = {Nonmonotonic Description Logics - Requirements, Theory, and Implementations},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 16th
International Conference, {TABLEAUX} 2007, Aix en Provence, France,
July 3-6, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4548},
pages = {1},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73099-6\_1},
doi = {10.1007/978-3-540-73099-6\_1},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Bonatti07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BresolinGMS07,
author = {Davide Bresolin and
Valentin Goranko and
Angelo Montanari and
Pietro Sala},
editor = {Nicola Olivetti},
title = {Tableau Systems for Logics of Subinterval Structures over Dense Orderings},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 16th
International Conference, {TABLEAUX} 2007, Aix en Provence, France,
July 3-6, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4548},
pages = {73--89},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73099-6\_8},
doi = {10.1007/978-3-540-73099-6\_8},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/BresolinGMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BuismanG07,
author = {Linda Buisman and
Rajeev Gor{\'{e}}},
editor = {Nicola Olivetti},
title = {A Cut-Free Sequent Calculus for Bi-intuitionistic Logic},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 16th
International Conference, {TABLEAUX} 2007, Aix en Provence, France,
July 3-6, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4548},
pages = {90--106},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73099-6\_9},
doi = {10.1007/978-3-540-73099-6\_9},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BuismanG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/GasquetS07,
author = {Olivier Gasquet and
Bilal Said},
editor = {Nicola Olivetti},
title = {Tableaux with Dynamic Filtration for Layered Modal Logics},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 16th
International Conference, {TABLEAUX} 2007, Aix en Provence, France,
July 3-6, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4548},
pages = {107--118},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73099-6\_10},
doi = {10.1007/978-3-540-73099-6\_10},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/GasquetS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/GiordanoGP07,
author = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
editor = {Nicola Olivetti},
title = {KLMLean 2.0: {A} Theorem Prover for {KLM} Logics of Nonmonotonic Reasoning},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 16th
International Conference, {TABLEAUX} 2007, Aix en Provence, France,
July 3-6, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4548},
pages = {238--244},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73099-6\_19},
doi = {10.1007/978-3-540-73099-6\_19},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/GiordanoGP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Girle07,
author = {Roderic A. Girle},
editor = {Nicola Olivetti},
title = {The Neighbourhood of {S0.9} and {S1}},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 16th
International Conference, {TABLEAUX} 2007, Aix en Provence, France,
July 3-6, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4548},
pages = {119--132},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73099-6\_11},
doi = {10.1007/978-3-540-73099-6\_11},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/Girle07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/GoreN07,
author = {Rajeev Gor{\'{e}} and
Linh Anh Nguyen},
editor = {Nicola Olivetti},
title = {{EXPTIME} Tableaux with Global Caching for Description Logics with
Transitive Roles, Inverse Roles and Role Hierarchies},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 16th
International Conference, {TABLEAUX} 2007, Aix en Provence, France,
July 3-6, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4548},
pages = {133--148},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73099-6\_12},
doi = {10.1007/978-3-540-73099-6\_12},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/GoreN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/IshigakiK07,
author = {Ryo Ishigaki and
Kentaro Kikuchi},
editor = {Nicola Olivetti},
title = {Tree-Sequent Methods for Subintuitionistic Predicate Logics},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 16th
International Conference, {TABLEAUX} 2007, Aix en Provence, France,
July 3-6, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4548},
pages = {149--164},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73099-6\_13},
doi = {10.1007/978-3-540-73099-6\_13},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/IshigakiK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Komendantskaya07,
author = {Ekaterina Komendantskaya},
editor = {Nicola Olivetti},
title = {A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 16th
International Conference, {TABLEAUX} 2007, Aix en Provence, France,
July 3-6, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4548},
pages = {165--182},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73099-6\_14},
doi = {10.1007/978-3-540-73099-6\_14},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Komendantskaya07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Meyer07,
author = {John{-}Jules Ch. Meyer},
editor = {Nicola Olivetti},
title = {Our Quest for the Holy Grail of Agent Verification},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 16th
International Conference, {TABLEAUX} 2007, Aix en Provence, France,
July 3-6, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4548},
pages = {2--9},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73099-6\_2},
doi = {10.1007/978-3-540-73099-6\_2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Meyer07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/MurrayR07,
author = {Neil V. Murray and
Erik Rosenthal},
editor = {Nicola Olivetti},
title = {Updating Reduced Implicate Tries},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 16th
International Conference, {TABLEAUX} 2007, Aix en Provence, France,
July 3-6, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4548},
pages = {183--198},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73099-6\_15},
doi = {10.1007/978-3-540-73099-6\_15},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/MurrayR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Peltier07,
author = {Nicolas Peltier},
editor = {Nicola Olivetti},
title = {A Bottom-Up Approach to Clausal Tableaux},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 16th
International Conference, {TABLEAUX} 2007, Aix en Provence, France,
July 3-6, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4548},
pages = {199--215},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73099-6\_16},
doi = {10.1007/978-3-540-73099-6\_16},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Peltier07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Platzer07,
author = {Andr{\'{e}} Platzer},
editor = {Nicola Olivetti},
title = {Differential Dynamic Logic for Verifying Parametric Hybrid Systems},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 16th
International Conference, {TABLEAUX} 2007, Aix en Provence, France,
July 3-6, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4548},
pages = {216--232},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73099-6\_17},
doi = {10.1007/978-3-540-73099-6\_17},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Platzer07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Tinelli07,
author = {Cesare Tinelli},
editor = {Nicola Olivetti},
title = {An Abstract Framework for Satisfiability Modulo Theories},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 16th
International Conference, {TABLEAUX} 2007, Aix en Provence, France,
July 3-6, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4548},
pages = {10},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73099-6\_3},
doi = {10.1007/978-3-540-73099-6\_3},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Tinelli07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tableaux/2007,
editor = {Nicola Olivetti},
title = {Automated Reasoning with Analytic Tableaux and Related Methods, 16th
International Conference, {TABLEAUX} 2007, Aix en Provence, France,
July 3-6, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4548},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73099-6},
doi = {10.1007/978-3-540-73099-6},
isbn = {978-3-540-73098-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/2007.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-24 12:00 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:
