Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ullrich Hustadt
@inproceedings{DBLP:conf/cade/NalonHPD23,
author = {Cl{\'{a}}udia Nalon and
Ullrich Hustadt and
Fabio Papacchini and
Clare Dixon},
editor = {Brigitte Pientka and
Cesare Tinelli},
title = {Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic},
booktitle = {Automated Deduction - {CADE} 29 - 29th International Conference on
Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14132},
pages = {382--400},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-38499-8\_22},
doi = {10.1007/978-3-031-38499-8\_22},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/NalonHPD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/PapacchiniNHD22,
author = {Fabio Papacchini and
Cl{\'{a}}udia Nalon and
Ullrich Hustadt and
Clare Dixon},
title = {Local is Best: Efficient Reductions to Modal Logic {K}},
journal = {J. Autom. Reason.},
volume = {66},
number = {4},
pages = {639--666},
year = {2022},
url = {https://doi.org/10.1007/s10817-022-09630-6},
doi = {10.1007/S10817-022-09630-6},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/PapacchiniNHD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/PapacchiniNHD22a,
author = {Fabio Papacchini and
Cl{\'{a}}udia Nalon and
Ullrich Hustadt and
Clare Dixon},
title = {Correction to: Local is Best: Efficient Reductions to Modal Logic
{K}},
journal = {J. Autom. Reason.},
volume = {66},
number = {4},
pages = {1099},
year = {2022},
url = {https://doi.org/10.1007/s10817-022-09633-3},
doi = {10.1007/S10817-022-09633-3},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/PapacchiniNHD22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/NalonHPD22,
author = {Cl{\'{a}}udia Nalon and
Ullrich Hustadt and
Fabio Papacchini and
Clare Dixon},
editor = {Jasmin Blanchette and
Laura Kov{\'{a}}cs and
Dirk Pattinson},
title = {Local Reductions for the Modal Cube},
booktitle = {Automated Reasoning - 11th International Joint Conference, {IJCAR}
2022, Haifa, Israel, August 8-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13385},
pages = {486--505},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-10769-6\_29},
doi = {10.1007/978-3-031-10769-6\_29},
timestamp = {Mon, 24 Oct 2022 16:36:35 +0200},
biburl = {https://dblp.org/rec/conf/cade/NalonHPD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/PapacchiniNHD21,
author = {Fabio Papacchini and
Cl{\'{a}}udia Nalon and
Ullrich Hustadt and
Clare Dixon},
editor = {Andr{\'{e}} Platzer and
Geoff Sutcliffe},
title = {Efficient Local Reductions to Basic Modal Logic},
booktitle = {Automated Deduction - {CADE} 28 - 28th International Conference on
Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12699},
pages = {76--92},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79876-5\_5},
doi = {10.1007/978-3-030-79876-5\_5},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/PapacchiniNHD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/GainerLDHF20,
author = {Paul Gainer and
Sven Linker and
Clare Dixon and
Ullrich Hustadt and
Michael Fisher},
title = {Multi-scale verification of distributed synchronisation},
journal = {Formal Methods Syst. Des.},
volume = {55},
number = {3},
pages = {171--221},
year = {2020},
url = {https://doi.org/10.1007/s10703-020-00347-z},
doi = {10.1007/S10703-020-00347-Z},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/GainerLDHF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/NalonHD20,
author = {Cl{\'{a}}udia Nalon and
Ullrich Hustadt and
Clare Dixon},
title = {sf K\({}_{\mbox{n}}\) : Architecture, Refinements, Strategies and
Experiments},
journal = {J. Autom. Reason.},
volume = {64},
number = {3},
pages = {461--484},
year = {2020},
url = {https://doi.org/10.1007/s10817-018-09503-x},
doi = {10.1007/S10817-018-09503-X},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/NalonHD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/HustadtOD20,
author = {Ullrich Hustadt and
Ana Ozaki and
Clare Dixon},
title = {Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals
via Translations},
journal = {J. Autom. Reason.},
volume = {64},
number = {8},
pages = {1553--1610},
year = {2020},
url = {https://doi.org/10.1007/s10817-020-09541-4},
doi = {10.1007/S10817-020-09541-4},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/HustadtOD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/NalonDH19,
author = {Cl{\'{a}}udia Nalon and
Clare Dixon and
Ullrich Hustadt},
title = {Modal Resolution: Proofs, Layers, and Refinements},
journal = {{ACM} Trans. Comput. Log.},
volume = {20},
number = {4},
pages = {23:1--23:38},
year = {2019},
url = {https://doi.org/10.1145/3331448},
doi = {10.1145/3331448},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/NalonDH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HustadtND18,
author = {Ullrich Hustadt and
Cl{\'{a}}udia Nalon and
Clare Dixon},
editor = {Boris Konev and
Josef Urban and
Philipp R{\"{u}}mmer},
title = {Evaluating Pre-Processing Techniques for the Separated Normal Form
for Temporal Logics},
booktitle = {Proceedings of the 6th Workshop on Practical Aspects of Automated
Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018),
Oxford, UK, July 19th, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2162},
pages = {34--48},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2162/paper-04.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/HustadtND18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/GainerLDH018,
author = {Paul Gainer and
Sven Linker and
Clare Dixon and
Ullrich Hustadt and
Michael Fisher},
editor = {Jing Sun and
Meng Sun},
title = {The Power of Synchronisation: Formal Analysis of Power Consumption
in Networks of Pulse-Coupled Oscillators},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {160--176},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_10},
doi = {10.1007/978-3-030-02450-5\_10},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/GainerLDH018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-10655,
author = {Paul Gainer and
Sven Linker and
Clare Dixon and
Ullrich Hustadt and
Michael Fisher},
title = {Multi-Scale Verification of Distributed Synchronisation},
journal = {CoRR},
volume = {abs/1809.10655},
year = {2018},
url = {http://arxiv.org/abs/1809.10655},
eprinttype = {arXiv},
eprint = {1809.10655},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-10655.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HustadtOD17,
author = {Ullrich Hustadt and
Ana Ozaki and
Clare Dixon},
editor = {Leonardo de Moura},
title = {Theorem Proving for Metric Temporal Logic over the Naturals},
booktitle = {Automated Deduction - {CADE} 26 - 26th International Conference on
Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10395},
pages = {326--343},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63046-5\_20},
doi = {10.1007/978-3-319-63046-5\_20},
timestamp = {Thu, 29 Sep 2022 08:36:56 +0200},
biburl = {https://dblp.org/rec/conf/cade/HustadtOD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/GainerDDFHSW17,
author = {Paul Gainer and
Clare Dixon and
Kerstin Dautenhahn and
Michael Fisher and
Ullrich Hustadt and
Joe Saunders and
Matt Webster},
editor = {Laure Petrucci and
Cristina Seceleanu and
Ana Cavalcanti},
title = {CRutoN: Automatic Verification of a Robotic Assistant's Behaviours},
booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint
22nd International Workshop on Formal Methods for Industrial Critical
Systems - and - 17th International Workshop on Automated Verification
of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10471},
pages = {119--133},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67113-0\_8},
doi = {10.1007/978-3-319-67113-0\_8},
timestamp = {Mon, 21 Feb 2022 14:40:51 +0100},
biburl = {https://dblp.org/rec/conf/fmics/GainerDDFHSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/NalonHD17,
author = {Cl{\'{a}}udia Nalon and
Ullrich Hustadt and
Clare Dixon},
editor = {Carles Sierra},
title = {{KSP:} {A} Resolution-based Prover for Multimodal K, Abridged Report},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {4919--4923},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/694},
doi = {10.24963/IJCAI.2017/694},
timestamp = {Tue, 20 Aug 2019 16:16:54 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/NalonHD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/GainerLDHF17,
author = {Paul Gainer and
Sven Linker and
Clare Dixon and
Ullrich Hustadt and
Michael Fisher},
editor = {Nathalie Bertrand and
Luca Bortolussi},
title = {Investigating Parametric Influence on Discrete Synchronisation Protocols
Using Quantitative Model Checking},
booktitle = {Quantitative Evaluation of Systems - 14th International Conference,
{QEST} 2017, Berlin, Germany, September 5-7, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10503},
pages = {224--239},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66335-7\_14},
doi = {10.1007/978-3-319-66335-7\_14},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/GainerLDHF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-04385,
author = {Paul Gainer and
Sven Linker and
Clare Dixon and
Ullrich Hustadt and
Michael Fisher},
title = {The Power of Synchronisation: Formal Analysis of Power Consumption
in Networks of Pulse-Coupled Oscillators},
journal = {CoRR},
volume = {abs/1709.04385},
year = {2017},
url = {http://arxiv.org/abs/1709.04385},
eprinttype = {arXiv},
eprint = {1709.04385},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-04385.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/NalonHD16,
author = {Cl{\'{a}}udia Nalon and
Ullrich Hustadt and
Clare Dixon},
editor = {Nicola Olivetti and
Ashish Tiwari},
title = {: {A} Resolution-Based Prover for Multimodal {K}},
booktitle = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9706},
pages = {406--415},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40229-1\_28},
doi = {10.1007/978-3-319-40229-1\_28},
timestamp = {Mon, 26 Jun 2023 20:45:22 +0200},
biburl = {https://dblp.org/rec/conf/cade/NalonHD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taros/GainerDH16,
author = {Paul Gainer and
Clare Dixon and
Ullrich Hustadt},
editor = {Lyuba Alboul and
Dana D. Damian and
Jonathan M. Aitken},
title = {Probabilistic Model Checking of Ant-Based Positionless Swarming},
booktitle = {Towards Autonomous Robotic Systems - 17th Annual Conference, {TAROS}
2016, Sheffield, UK, June 26 - July 1, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9716},
pages = {127--138},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40379-3\_13},
doi = {10.1007/978-3-319-40379-3\_13},
timestamp = {Mon, 03 Jan 2022 22:19:33 +0100},
biburl = {https://dblp.org/rec/conf/taros/GainerDH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/HustadtGDNZ15,
author = {Ullrich Hustadt and
Paul Gainer and
Clare Dixon and
Cl{\'{a}}udia Nalon and
Lan Zhang},
editor = {Hans de Nivelle},
title = {Ordered Resolution for Coalition Logic},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 24th
International Conference, {TABLEAUX} 2015, Wroc{\l}aw, Poland, September
21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9323},
pages = {169--184},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24312-2\_12},
doi = {10.1007/978-3-319-24312-2\_12},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/HustadtGDNZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/NalonHD15,
author = {Cl{\'{a}}udia Nalon and
Ullrich Hustadt and
Clare Dixon},
editor = {Hans de Nivelle},
title = {A Modal-Layered Resolution Calculus for {K}},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 24th
International Conference, {TABLEAUX} 2015, Wroc{\l}aw, Poland, September
21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9323},
pages = {185--200},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24312-2\_13},
doi = {10.1007/978-3-319-24312-2\_13},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/NalonHD15.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/tocl/ZhangHD14,
author = {Lan Zhang and
Ullrich Hustadt and
Clare Dixon},
title = {A resolution calculus for the branching-time temporal logic {CTL}},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {1},
pages = {10:1--10:38},
year = {2014},
url = {https://doi.org/10.1145/2529993},
doi = {10.1145/2529993},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/ZhangHD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/NalonZDH14,
author = {Cl{\'{a}}udia Nalon and
Lan Zhang and
Clare Dixon and
Ullrich Hustadt},
editor = {Fabio Mogavero and
Aniello Murano and
Moshe Y. Vardi},
title = {A Resolution Prover for Coalition Logic},
booktitle = {Proceedings 2nd International Workshop on Strategic Reasoning, {SR}
2014, Grenoble, France, April 5-6, 2014},
series = {{EPTCS}},
volume = {146},
pages = {65--73},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.146.9},
doi = {10.4204/EPTCS.146.9},
timestamp = {Sat, 30 Sep 2023 10:08:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NalonZDH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SchmidtH13,
author = {Renate A. Schmidt and
Ullrich Hustadt},
editor = {Andrei Voronkov and
Christoph Weidenbach},
title = {First-Order Resolution Methods for Modal Logics},
booktitle = {Programming Logics - Essays in Memory of Harald Ganzinger},
series = {Lecture Notes in Computer Science},
volume = {7797},
pages = {345--391},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37651-1\_15},
doi = {10.1007/978-3-642-37651-1\_15},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/SchmidtH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/LudwigH10,
author = {Michel Ludwig and
Ullrich Hustadt},
title = {Implementing a fair monodic temporal logic prover},
journal = {{AI} Commun.},
volume = {23},
number = {2-3},
pages = {69--96},
year = {2010},
url = {https://doi.org/10.3233/AIC-2010-0457},
doi = {10.3233/AIC-2010-0457},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/LudwigH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/ZhangHD10,
author = {Lan Zhang and
Ullrich Hustadt and
Clare Dixon},
title = {{CTL-RP:} {A} computation tree logic resolution prover},
journal = {{AI} Commun.},
volume = {23},
number = {2-3},
pages = {111--136},
year = {2010},
url = {https://doi.org/10.3233/AIC-2010-0463},
doi = {10.3233/AIC-2010-0463},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/ZhangHD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HustadtS10,
author = {Ullrich Hustadt and
Renate A. Schmidt},
editor = {Renate A. Schmidt and
Stephan Schulz and
Boris Konev},
title = {A Comparison of Solvers for Propositional Dynamic Logic},
booktitle = {Proceedings of the 2nd Workshop on Practical Aspects of Automated
Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010},
series = {EPiC Series in Computing},
volume = {9},
pages = {63--73},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/63hq},
doi = {10.29007/63HQ},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/HustadtS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/RaniseH09,
author = {Silvio Ranise and
Ullrich Hustadt},
title = {Preface},
journal = {Ann. Math. Artif. Intell.},
volume = {55},
number = {1-2},
pages = {1--2},
year = {2009},
url = {https://doi.org/10.1007/s10472-009-9149-2},
doi = {10.1007/S10472-009-9149-2},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/RaniseH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ZhangHD09,
author = {Lan Zhang and
Ullrich Hustadt and
Clare Dixon},
editor = {Renate A. Schmidt},
title = {A Refined Resolution Calculus for {CTL}},
booktitle = {Automated Deduction - CADE-22, 22nd International Conference on Automated
Deduction, Montreal, Canada, August 2-7, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5663},
pages = {245--260},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02959-2\_20},
doi = {10.1007/978-3-642-02959-2\_20},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/ZhangHD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LudwigH09,
author = {Michel Ludwig and
Ullrich Hustadt},
editor = {Renate A. Schmidt},
title = {Fair Derivations in Monodic Temporal Reasoning},
booktitle = {Automated Deduction - CADE-22, 22nd International Conference on Automated
Deduction, Montreal, Canada, August 2-7, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5663},
pages = {261--276},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02959-2\_21},
doi = {10.1007/978-3-642-02959-2\_21},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/LudwigH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftp/LudwigH09,
author = {Michel Ludwig and
Ullrich Hustadt},
editor = {Nicolas Peltier and
Viorica Sofronie{-}Stokkermans},
title = {Redundancy Elimination in Monodic Temporal Reasoning},
booktitle = {Proceedings of the 7th International Workshop on First-Order Theorem
Proving, {FTP} 2009, Oslo, Norway, July 6-7, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {556},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-556/paper05.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:18 +0100},
biburl = {https://dblp.org/rec/conf/ftp/LudwigH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/LudwigH09,
author = {Michel Ludwig and
Ullrich Hustadt},
editor = {Carsten Lutz and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Resolution-Based Model Construction for {PLTL}},
booktitle = {{TIME} 2009, 16th International Symposium on Temporal Representation
and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings},
pages = {73--80},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/TIME.2009.11},
doi = {10.1109/TIME.2009.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/LudwigH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HustadtMS08,
author = {Ullrich Hustadt and
Boris Motik and
Ulrike Sattler},
title = {Deciding expressive description logics in the framework of resolution},
journal = {Inf. Comput.},
volume = {206},
number = {5},
pages = {579--601},
year = {2008},
url = {https://doi.org/10.1016/j.ic.2007.11.006},
doi = {10.1016/J.IC.2007.11.006},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HustadtMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/HustadtMS07,
author = {Ullrich Hustadt and
Boris Motik and
Ulrike Sattler},
title = {Reasoning in Description Logics by a Reduction to Disjunctive Datalog},
journal = {J. Autom. Reason.},
volume = {39},
number = {3},
pages = {351--384},
year = {2007},
url = {https://doi.org/10.1007/s10817-007-9080-3},
doi = {10.1007/S10817-007-9080-3},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/HustadtMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/SchmidtH07,
author = {Renate A. Schmidt and
Ullrich Hustadt},
title = {The axiomatic translation principle for modal logic},
journal = {{ACM} Trans. Comput. Log.},
volume = {8},
number = {4},
pages = {19},
year = {2007},
url = {https://doi.org/10.1145/1276920.1276921},
doi = {10.1145/1276920.1276921},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/SchmidtH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/07/HorrocksHSS07,
author = {Ian Horrocks and
Ullrich Hustadt and
Ulrike Sattler and
Renate A. Schmidt},
editor = {Patrick Blackburn and
J. F. A. K. van Benthem and
Frank Wolter},
title = {Computational modal logic},
booktitle = {Handbook of Modal Logic},
series = {Studies in logic and practical reasoning},
volume = {3},
pages = {181--245},
publisher = {North-Holland},
year = {2007},
url = {https://doi.org/10.1016/s1570-2464(07)80007-3},
doi = {10.1016/S1570-2464(07)80007-3},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/07/HorrocksHSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/HustadtTWZ06,
author = {Ullrich Hustadt and
Dmitry Tishkovsky and
Frank Wolter and
Michael Zakharyaschev},
editor = {Michael Fisher and
Wiebe van der Hoek and
Boris Konev and
Alexei Lisitsa},
title = {Automated Reasoning About Metric and Topology},
booktitle = {Logics in Artificial Intelligence, 10th European Conference, {JELIA}
2006, Liverpool, UK, September 13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4160},
pages = {490--493},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11853886\_44},
doi = {10.1007/11853886\_44},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/HustadtTWZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KonevDDFH05,
author = {Boris Konev and
Anatoli Degtyarev and
Clare Dixon and
Michael Fisher and
Ullrich Hustadt},
title = {Mechanising first-order temporal resolution},
journal = {Inf. Comput.},
volume = {199},
number = {1-2},
pages = {55--86},
year = {2005},
url = {https://doi.org/10.1016/j.ic.2004.10.005},
doi = {10.1016/J.IC.2004.10.005},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KonevDDFH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Fernandez-GagoHDFK05,
author = {M. Carmen Fern{\'{a}}ndez Gago and
Ullrich Hustadt and
Clare Dixon and
Michael Fisher and
Boris Konev},
title = {First-Order Temporal Verification in Practice},
journal = {J. Autom. Reason.},
volume = {34},
number = {3},
pages = {295--321},
year = {2005},
url = {https://doi.org/10.1007/s10817-005-7354-1},
doi = {10.1007/S10817-005-7354-1},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/Fernandez-GagoHDFK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HustadtKS05,
author = {Ullrich Hustadt and
Boris Konev and
Renate A. Schmidt},
editor = {Robert Nieuwenhuis},
title = {Deciding Monodic Fragments by Temporal Resolution},
booktitle = {Automated Deduction - CADE-20, 20th International Conference on Automated
Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3632},
pages = {204--218},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11532231\_15},
doi = {10.1007/11532231\_15},
timestamp = {Sun, 02 Oct 2022 15:55:55 +0200},
biburl = {https://dblp.org/rec/conf/cade/HustadtKS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/HustadtM05,
author = {Ullrich Hustadt and
Boris Motik},
editor = {Ian Horrocks and
Ulrike Sattler and
Frank Wolter},
title = {Description Logics and Disjunctive Datalog - The Story so Far},
booktitle = {Proceedings of the 2005 International Workshop on Description Logics
(DL2005), Edinburgh, Scotland, UK, July 26-28, 2005},
series = {{CEUR} Workshop Proceedings},
volume = {147},
publisher = {CEUR-WS.org},
year = {2005},
url = {https://ceur-ws.org/Vol-147/31-MotikHustadt.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/HustadtM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HustadtMS05,
author = {Ullrich Hustadt and
Boris Motik and
Ulrike Sattler},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {Data Complexity of Reasoning in Very Expressive Description Logics},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {466--471},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/0326.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:29 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HustadtMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/SchmidtTH04,
author = {Renate A. Schmidt and
Dmitry Tishkovsky and
Ullrich Hustadt},
title = {Interactions between Knowledge, Action and Commitment within Agent
Dynamic Logic},
journal = {Stud Logica},
volume = {78},
number = {3},
pages = {381--415},
year = {2004},
url = {https://doi.org/10.1007/s11225-004-6042-1},
doi = {10.1007/S11225-004-6042-1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/SchmidtTH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HustadtKRV04,
author = {Ullrich Hustadt and
Boris Konev and
Alexandre Riazanov and
Andrei Voronkov},
editor = {David A. Basin and
Micha{\"{e}}l Rusinowitch},
title = {TeMP: {A} Temporal Monodic Prover},
booktitle = {Automated Reasoning - Second International Joint Conference, {IJCAR}
2004, Cork, Ireland, July 4-8, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3097},
pages = {326--330},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25984-8\_23},
doi = {10.1007/978-3-540-25984-8\_23},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/HustadtKRV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/HustadtMS04,
author = {Ullrich Hustadt and
Boris Motik and
Ulrike Sattler},
editor = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
Lorenza Saitta},
title = {Reasoning in Description Logics with a Concrete Domain in the Framework
of Resolution},
booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence,
ECAI'2004, including Prestigious Applicants of Intelligent Systems,
{PAIS} 2004, Valencia, Spain, August 22-27, 2004},
pages = {353--357},
publisher = {{IOS} Press},
year = {2004},
timestamp = {Fri, 11 May 2018 12:42:30 +0200},
biburl = {https://dblp.org/rec/conf/ecai/HustadtMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HustadtMS04,
author = {Ullrich Hustadt and
Boris Motik and
Ulrike Sattler},
editor = {Didier Dubois and
Christopher A. Welty and
Mary{-}Anne Williams},
title = {Reducing SHIQ-Description Logic to Disjunctive Datalog Programs},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Ninth International Conference (KR2004), Whistler, Canada,
June 2-5, 2004},
pages = {152--162},
publisher = {{AAAI} Press},
year = {2004},
url = {http://www.aaai.org/Library/KR/2004/kr04-018.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/HustadtMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HustadtMS04,
author = {Ullrich Hustadt and
Boris Motik and
Ulrike Sattler},
editor = {Franz Baader and
Andrei Voronkov},
title = {A Decomposition Rule for Decision Procedures by Resolution-Based Calculi},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
International Conference, {LPAR} 2004, Montevideo, Uruguay, March
14-18, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3452},
pages = {21--35},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-32275-7\_2},
doi = {10.1007/978-3-540-32275-7\_2},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HustadtMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GeorgievaHS03,
author = {Lilia Georgieva and
Ullrich Hustadt and
Renate A. Schmidt},
title = {Hyperresolution for guarded formulae},
journal = {J. Symb. Comput.},
volume = {36},
number = {1-2},
pages = {163--192},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00034-8},
doi = {10.1016/S0747-7171(03)00034-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/GeorgievaHS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/GorankoHSV03,
author = {Valentin Goranko and
Ullrich Hustadt and
Renate A. Schmidt and
Dimiter Vakarelov},
editor = {Rudolf Berghammer and
Bernhard M{\"{o}}ller and
Georg Struth},
title = {{SCAN} Is Complete for All Sahlqvist Formulae},
booktitle = {Relational and Kleene-Algebraic Methods in Computer Science: 7th International
Seminar on Relational Methods in Computer Science and 2nd International
Workshop on Applications of Kleene Algebra, Bad Malente, Germany,
May 12-17, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3051},
pages = {149--162},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24771-5\_13},
doi = {10.1007/978-3-540-24771-5\_13},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/GorankoHSV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/SchmidtOH03,
author = {Renate A. Schmidt and
Ewa Orlowska and
Ullrich Hustadt},
editor = {Rudolf Berghammer and
Bernhard M{\"{o}}ller and
Georg Struth},
title = {Two Proof Systems for Peirce Algebras},
booktitle = {Relational and Kleene-Algebraic Methods in Computer Science: 7th International
Seminar on Relational Methods in Computer Science and 2nd International
Workshop on Applications of Kleene Algebra, Bad Malente, Germany,
May 12-17, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3051},
pages = {238--251},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24771-5\_21},
doi = {10.1007/978-3-540-24771-5\_21},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/SchmidtOH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HustadtK03,
author = {Ullrich Hustadt and
Boris Konev},
editor = {Franz Baader},
title = {{TRP++2.0:} {A} Temporal Resolution Prover},
booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated
Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2741},
pages = {274--278},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45085-6\_21},
doi = {10.1007/978-3-540-45085-6\_21},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/HustadtK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SchmidtH03,
author = {Renate A. Schmidt and
Ullrich Hustadt},
editor = {Franz Baader},
title = {A Principle for Incorporating Axioms into the First-Order Translation
of Modal Formulae},
booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated
Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2741},
pages = {412--426},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45085-6\_36},
doi = {10.1007/978-3-540-45085-6\_36},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SchmidtH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/KonevDDFH03,
author = {Boris Konev and
Anatoli Degtyarev and
Clare Dixon and
Michael Fisher and
Ullrich Hustadt},
title = {Towards the Implementation of First-Order Temporal Resolution: the
Expanding Domain Case},
booktitle = {10th International Symposium on Temporal Representation and Reasoning
/ 4th International Conference on Temporal Logic {(TIME-ICTL} 2003),
8-10 July 2003, Cairns, Queensland, Australia},
pages = {72--82},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/TIME.2003.1214882},
doi = {10.1109/TIME.2003.1214882},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/KonevDDFH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/RelMiCS/SchmidtH03,
author = {Renate A. Schmidt and
Ullrich Hustadt},
editor = {Harrie C. M. de Swart and
Ewa Orlowska and
Gunther Schmidt and
Marc Roubens},
title = {Mechanised Reasoning and Model Generation for Extended Modal Logics},
booktitle = {Theory and Applications of Relational Structures as Knowledge Instruments,
{COST} Action 274, TARSKI, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2929},
pages = {38--67},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24615-2\_3},
doi = {10.1007/978-3-540-24615-2\_3},
timestamp = {Sun, 02 Oct 2022 15:53:27 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/SchmidtH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/air/BennettDFHFHR02,
author = {Brandon Bennett and
Clare Dixon and
Michael Fisher and
Ullrich Hustadt and
Enrico Franconi and
Ian Horrocks and
Maarten de Rijke},
title = {Combinations of Modal Logics},
journal = {Artif. Intell. Rev.},
volume = {17},
number = {1},
pages = {1--20},
year = {2002},
url = {https://doi.org/10.1023/A:1015057926707},
doi = {10.1023/A:1015057926707},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/air/BennettDFHFHR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/HustadtS02,
author = {Ullrich Hustadt and
Renate A. Schmidt},
title = {Using Resolution for Testing Modal Satisfiability and Building Models},
journal = {J. Autom. Reason.},
volume = {28},
number = {2},
pages = {205--232},
year = {2002},
url = {https://doi.org/10.1023/A:1015067300005},
doi = {10.1023/A:1015067300005},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/HustadtS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GeorgievaHS02,
author = {Lilia Georgieva and
Ullrich Hustadt and
Renate A. Schmidt},
editor = {Andrei Voronkov},
title = {A New Clausal Class Decidable by Hyperresolution},
booktitle = {Automated Deduction - CADE-18, 18th International Conference on Automated
Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2392},
pages = {260--274},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45620-1\_21},
doi = {10.1007/3-540-45620-1\_21},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/GeorgievaHS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GeorgievaHS02,
author = {Lilia Georgieva and
Ullrich Hustadt and
Renate A. Schmidt},
editor = {Ian Horrocks and
Sergio Tessaris},
title = {On the relationship between decidable fragments, non-classical logics,
and description logics},
booktitle = {Proceedings of the 2002 International Workshop on Description Logics
(DL2002), Toulouse, France, April 19-21, 2002},
series = {{CEUR} Workshop Proceedings},
volume = {53},
publisher = {CEUR-WS.org},
year = {2002},
url = {https://ceur-ws.org/Vol-53/GeorgievaHustadtSchmidt.ps},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/GeorgievaHS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HustadtS02,
author = {Ullrich Hustadt and
Renate A. Schmidt},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Scientific Benchmarking with Temporal Logic Decision Procedures},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {533--546},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 15:20:23 +0200},
biburl = {https://dblp.org/rec/conf/kr/HustadtS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Hustadt01,
author = {Ullrich Hustadt},
title = {Temporal Logic: Mathematical Foundations and Computational Aspects,
Volume 2, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger},
journal = {J. Log. Lang. Inf.},
volume = {10},
number = {3},
pages = {406--410},
year = {2001},
url = {https://doi.org/10.1023/A:1011212908144},
doi = {10.1023/A:1011212908144},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Hustadt01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GeorgievaHS01,
author = {Lilia Georgieva and
Ullrich Hustadt and
Renate A. Schmidt},
editor = {Robert Nieuwenhuis and
Andrei Voronkov},
title = {Computational Space Efficiency and Minimal Model Generation for Guarded
Formulae},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 8th
International Conference, {LPAR} 2001, Havana, Cuba, December 3-7,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2250},
pages = {85--99},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45653-8\_6},
doi = {10.1007/3-540-45653-8\_6},
timestamp = {Sun, 02 Oct 2022 16:11:18 +0200},
biburl = {https://dblp.org/rec/conf/lpar/GeorgievaHS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/HustadtDSFMH01,
author = {Ullrich Hustadt and
Clare Dixon and
Renate A. Schmidt and
Michael Fisher and
John{-}Jules Ch. Meyer and
Wiebe van der Hoek},
title = {Reasoning about agents in the {KARO} framework},
booktitle = {Eigth International Symposium on Temporal Representation and Reasoning,
TIME-01, Civdale del Friuli, Italy, June 14-16, 2001},
pages = {206--213},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/TIME.2001.930719},
doi = {10.1109/TIME.2001.930719},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/HustadtDSFMH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/RV01/FermullerLHT01,
author = {Christian G. Ferm{\"{u}}ller and
Alexander Leitsch and
Ullrich Hustadt and
Tanel Tammet},
editor = {John Alan Robinson and
Andrei Voronkov},
title = {Resolution Decision Procedures},
booktitle = {Handbook of Automated Reasoning (in 2 volumes)},
pages = {1791--1849},
publisher = {Elsevier and {MIT} Press},
year = {2001},
url = {https://doi.org/10.1016/b978-044450813-3/50027-8},
doi = {10.1016/B978-044450813-3/50027-8},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/RV01/FermullerLHT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/HustadtNS00,
author = {Ullrich Hustadt and
Hans de Nivelle and
Renate A. Schmidt},
title = {Resolution-Based Methods for Modal Logics},
journal = {Log. J. {IGPL}},
volume = {8},
number = {3},
pages = {265--292},
year = {2000},
url = {https://doi.org/10.1093/jigpal/8.3.265},
doi = {10.1093/JIGPAL/8.3.265},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/HustadtNS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arw/GeorgievaHS00,
author = {Lilia Georgieva and
Ullrich Hustadt and
Renate A. Schmidt},
editor = {Hans J{\"{u}}rgen Ohlbach and
Ulrich Endriss and
Odinaldo Rodrigues and
Stefan Schlobach},
title = {Hyperresolution for Guarded Formulae},
booktitle = {Proceedings of the Seventh Workshop on Automated Reasoning, Bridging
the Gap between Theory and Practice, King's College London, UK, 20-21
July 2000},
series = {{CEUR} Workshop Proceedings},
volume = {32},
publisher = {CEUR-WS.org},
year = {2000},
url = {https://ceur-ws.org/Vol-32/georgieva.ps.gz},
timestamp = {Fri, 10 Mar 2023 16:22:28 +0100},
biburl = {https://dblp.org/rec/conf/arw/GeorgievaHS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arw/Hustadt00,
author = {Ullrich Hustadt},
editor = {Hans J{\"{u}}rgen Ohlbach and
Ulrich Endriss and
Odinaldo Rodrigues and
Stefan Schlobach},
title = {Practical Proof Methods for Combined Modal and Temporal Logics},
booktitle = {Proceedings of the Seventh Workshop on Automated Reasoning, Bridging
the Gap between Theory and Practice, King's College London, UK, 20-21
July 2000},
series = {{CEUR} Workshop Proceedings},
volume = {32},
publisher = {CEUR-WS.org},
year = {2000},
url = {https://ceur-ws.org/Vol-32/hustadt.ps.gz},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/arw/Hustadt00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SchmidtH00,
author = {Renate A. Schmidt and
Ullrich Hustadt},
editor = {David A. McAllester},
title = {A Resolution Decision Procedure for Fluted Logic},
booktitle = {Automated Deduction - CADE-17, 17th International Conference on Automated
Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1831},
pages = {433--448},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10721959\_34},
doi = {10.1007/10721959\_34},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/SchmidtH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/HustadtDSFMH00,
author = {Ullrich Hustadt and
Clare Dixon and
Renate A. Schmidt and
Michael Fisher and
John{-}Jules Ch. Meyer and
Wiebe van der Hoek},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Verification within the {KARO} Agent Theory},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {33--47},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_3},
doi = {10.1007/3-540-45484-5\_3},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/faabs/HustadtDSFMH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/HustadtDSF00,
author = {Ullrich Hustadt and
Clare Dixon and
Renate A. Schmidt and
Michael Fisher},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Normal Forms and Proofs in Combined Modal and Temporal Logics},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {73--87},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_6},
doi = {10.1007/10720084\_6},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/frocos/HustadtDSF00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/HustadtS00,
author = {Ullrich Hustadt and
Renate A. Schmidt},
editor = {Roy Dyckhoff},
title = {{MSPASS:} Modal Reasoning by Translation and First-Order Resolution},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2000, St Andrews, Scotland, UK, July 3-7, 2000,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1847},
pages = {67--71},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722086\_7},
doi = {10.1007/10722086\_7},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/HustadtS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Hustadt99,
author = {Ullrich Hustadt},
title = {Resolution based decision procedures for subclasses of first-order
logic},
school = {Saarland University, Saarbr{\"{u}}cken, Germany},
year = {1999},
url = {http://scidok.sulb.uni-saarland.de/volltexte/2004/190/index.html},
urn = {urn:nbn:de:bsz:291-scidok-1907},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Hustadt99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/HustadtS99,
author = {Ullrich Hustadt and
Renate A. Schmidt},
title = {An empirical analysis of modal theorem provers},
journal = {J. Appl. Non Class. Logics},
volume = {9},
number = {4},
pages = {479--522},
year = {1999},
url = {https://doi.org/10.1080/11663081.1999.10510981},
doi = {10.1080/11663081.1999.10510981},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/HustadtS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HustadtS99,
author = {Ullrich Hustadt and
Renate A. Schmidt},
editor = {Harald Ganzinger},
title = {Maslov's Class {K} Revisited},
booktitle = {Automated Deduction - CADE-16, 16th International Conference on Automated
Deduction, Trento, Italy, July 7-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1632},
pages = {172--186},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48660-7\_12},
doi = {10.1007/3-540-48660-7\_12},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/HustadtS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/HustadtSW99,
author = {Ullrich Hustadt and
Renate A. Schmidt and
Christoph Weidenbach},
editor = {Patrick Lambrix and
Alexander Borgida and
Maurizio Lenzerini and
Ralf M{\"{o}}ller and
Peter F. Patel{-}Schneider},
title = {{MSPASS:} Subsumption Testing with {SPASS}},
booktitle = {Proceedings of the 1999 International Workshop on Description Logics
(DL'99), Link{\"{o}}ping, Sweden, July 30 - August 1, 1999},
series = {{CEUR} Workshop Proceedings},
volume = {22},
publisher = {CEUR-WS.org},
year = {1999},
url = {https://ceur-ws.org/Vol-22/schmidt.ps},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/HustadtSW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HustadtS99,
author = {Ullrich Hustadt and
Renate A. Schmidt},
editor = {Thomas Dean},
title = {On the Relation of Resolution and Tableaux Proof Systems for Description
Logics},
booktitle = {Proceedings of the Sixteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 99, Stockholm, Sweden, July 31 - August 6, 1999.
2 Volumes, 1450 pages},
pages = {110--117},
publisher = {Morgan Kaufmann},
year = {1999},
url = {http://ijcai.org/Proceedings/99-1/Papers/017.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:16 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HustadtS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/GanzingerHMS98,
author = {Harald Ganzinger and
Ullrich Hustadt and
Christoph Meyer and
Renate A. Schmidt},
editor = {Michael Zakharyaschev and
Krister Segerberg and
Maarten de Rijke and
Heinrich Wansing},
title = {A Resolution-Based Decision Procedure for Extensions of {K4}},
booktitle = {Advances in Modal Logic 2, papers from the second workshop on "Advances
in Modal logic," held in Uppsala, Sweden, 16-18 October 1998},
pages = {225--246},
publisher = {{CSLI} Publications},
year = {1998},
timestamp = {Wed, 17 Jan 2024 17:12:17 +0100},
biburl = {https://dblp.org/rec/conf/aiml/GanzingerHMS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftp/HustadtS98,
author = {Ullrich Hustadt and
Renate A. Schmidt},
editor = {Ricardo Caferra and
Gernot Salzer},
title = {Issues of Decidability for Description Logics in the Framework of
Resolution},
booktitle = {Automated Deduction in Classical and Non-Classical Logics, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1761},
pages = {191--205},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-46508-1\_13},
doi = {10.1007/3-540-46508-1\_13},
timestamp = {Mon, 05 Feb 2024 20:35:45 +0100},
biburl = {https://dblp.org/rec/conf/ftp/HustadtS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/HustadtS98,
author = {Ullrich Hustadt and
Renate A. Schmidt},
editor = {Harrie C. M. de Swart},
title = {Simplification and Backjumping in Modal Tableau},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {187--201},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_22},
doi = {10.1007/3-540-69778-0\_22},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/HustadtS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HustadtS97,
author = {Ullrich Hustadt and
Renate A. Schmidt},
title = {On Evaluating Decision Procedures for Modal Logic},
booktitle = {Proceedings of the Fifteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes},
pages = {202--209},
publisher = {Morgan Kaufmann},
year = {1997},
url = {http://ijcai.org/Proceedings/97-1/Papers/033.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:27 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HustadtS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/krdb/Hustadt94,
author = {Ullrich Hustadt},
editor = {Franz Baader and
Martin Buchheit and
Manfred A. Jeusfeld and
Werner Nutt},
title = {Do we need the closed world assumption in knowledge representation?},
booktitle = {Reasoning about Structured Objects: Knowledge Representation Meets
Databases, Proceedings of 1st Workshop KRDB'94, Saarbr{\"{u}}cken,
Germany, September 20-22, 1994},
series = {{CEUR} Workshop Proceedings},
volume = {1},
publisher = {CEUR-WS.org},
year = {1994},
url = {https://ceur-ws.org/Vol-1/hustadt-long.ps},
timestamp = {Fri, 10 Mar 2023 16:23:33 +0100},
biburl = {https://dblp.org/rec/conf/krdb/Hustadt94.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.
last updated on 2024-04-25 02:29 CEST 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:
