Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Uwe Egly
@inproceedings{DBLP:conf/gi/MandlE22,
author = {Alexander Mandl and
Uwe Egly},
editor = {Daniel Demmler and
Daniel Krupka and
Hannes Federrath},
title = {Implementations for Shor's algorithm for the {DLP}},
booktitle = {52. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, {INFORMATIK}
2022, Informatik in den Naturwissenschaften, 26. - 30. September 2022,
Hamburg},
series = {{LNI}},
volume = {{P-326}},
pages = {1133--1143},
publisher = {Gesellschaft f{\"{u}}r Informatik, Bonn},
year = {2022},
url = {https://doi.org/10.18420/inf2022\_96},
doi = {10.18420/INF2022\_96},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gi/MandlE22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BloemBHELS21,
author = {Roderick Bloem and
Nicolas Braud{-}Santoni and
Vedad Hadzic and
Uwe Egly and
Florian Lonsing and
Martina Seidl},
title = {Two {SAT} solvers for solving quantified Boolean formulas with an
arbitrary number of quantifier alternations},
journal = {Formal Methods Syst. Des.},
volume = {57},
number = {2},
pages = {157--177},
year = {2021},
url = {https://doi.org/10.1007/s10703-021-00371-7},
doi = {10.1007/S10703-021-00371-7},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/BloemBHELS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BeyersdorffEMN20,
author = {Olaf Beyersdorff and
Uwe Egly and
Meena Mahajan and
Cl{\'{a}}udia Nalon},
title = {{SAT} and Interactions (Dagstuhl Seminar 20061)},
journal = {Dagstuhl Reports},
volume = {10},
number = {2},
pages = {1--18},
year = {2020},
url = {https://doi.org/10.4230/DagRep.10.2.1},
doi = {10.4230/DAGREP.10.2.1},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BeyersdorffEMN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/LonsingE19,
author = {Florian Lonsing and
Uwe Egly},
editor = {Mikol{\'{a}}s Janota and
In{\^{e}}s Lynce},
title = {QRATPre+: Effective {QBF} Preprocessing via Strong Redundancy Properties},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2019 - 22nd
International Conference, {SAT} 2019, Lisbon, Portugal, July 9-12,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11628},
pages = {203--210},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-24258-9\_14},
doi = {10.1007/978-3-030-24258-9\_14},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/LonsingE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-12927,
author = {Florian Lonsing and
Uwe Egly},
title = {QRATPre+: Effective {QBF} Preprocessing via Strong Redundancy Properties},
journal = {CoRR},
volume = {abs/1904.12927},
year = {2019},
url = {http://arxiv.org/abs/1904.12927},
eprinttype = {arXiv},
eprint = {1904.12927},
timestamp = {Thu, 02 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-12927.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LonsingE18,
author = {Florian Lonsing and
Uwe Egly},
editor = {Didier Galmiche and
Stephan Schulz and
Roberto Sebastiani},
title = {{QRAT+:} Generalizing {QRAT} by a More Powerful {QBF} Redundancy Property},
booktitle = {Automated Reasoning - 9th International Joint Conference, {IJCAR}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10900},
pages = {161--177},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94205-6\_12},
doi = {10.1007/978-3-319-94205-6\_12},
timestamp = {Mon, 28 Aug 2023 21:17:45 +0200},
biburl = {https://dblp.org/rec/conf/cade/LonsingE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LonsingE18,
author = {Florian Lonsing and
Uwe Egly},
editor = {John N. Hooker},
title = {Evaluating {QBF} Solvers: Quantifier Alternations Matter},
booktitle = {Principles and Practice of Constraint Programming - 24th International
Conference, {CP} 2018, Lille, France, August 27-31, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11008},
pages = {276--294},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98334-9\_19},
doi = {10.1007/978-3-319-98334-9\_19},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/LonsingE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BloemBHELS18,
author = {Roderick Bloem and
Nicolas Braud{-}Santoni and
Vedad Hadzic and
Uwe Egly and
Florian Lonsing and
Martina Seidl},
editor = {Nikolaj S. Bj{\o}rner and
Arie Gurfinkel},
title = {Expansion-Based {QBF} Solving Without Recursion},
booktitle = {2018 Formal Methods in Computer Aided Design, {FMCAD} 2018, Austin,
TX, USA, October 30 - November 2, 2018},
pages = {1--10},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/FMCAD.2018.8603004},
doi = {10.23919/FMCAD.2018.8603004},
timestamp = {Thu, 14 Apr 2022 20:26:15 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BloemBHELS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-02908,
author = {Florian Lonsing and
Uwe Egly},
title = {{QRAT+:} Generalizing {QRAT} by a More Powerful {QBF} Redundancy Property},
journal = {CoRR},
volume = {abs/1804.02908},
year = {2018},
url = {http://arxiv.org/abs/1804.02908},
eprinttype = {arXiv},
eprint = {1804.02908},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-02908.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-08964,
author = {Roderick Bloem and
Nicolas Braud{-}Santoni and
Vedad Hadzic and
Uwe Egly and
Florian Lonsing and
Martina Seidl},
title = {Expansion-Based {QBF} Solving Without Recursion},
journal = {CoRR},
volume = {abs/1807.08964},
year = {2018},
url = {http://arxiv.org/abs/1807.08964},
eprinttype = {arXiv},
eprint = {1807.08964},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-08964.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/EglyKLP17,
author = {Uwe Egly and
Martin Kronegger and
Florian Lonsing and
Andreas Pfandler},
title = {Conformant planning as a case study of incremental {QBF} solving},
journal = {Ann. Math. Artif. Intell.},
volume = {80},
number = {1},
pages = {21--45},
year = {2017},
url = {https://doi.org/10.1007/s10472-016-9501-2},
doi = {10.1007/S10472-016-9501-2},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/EglyKLP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LonsingE17,
author = {Florian Lonsing and
Uwe Egly},
editor = {Leonardo de Moura},
title = {DepQBF 6.0: {A} Search-Based {QBF} Solver Beyond Traditional {QCDCL}},
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 = {371--384},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63046-5\_23},
doi = {10.1007/978-3-319-63046-5\_23},
timestamp = {Thu, 29 Sep 2022 08:36:56 +0200},
biburl = {https://dblp.org/rec/conf/cade/LonsingE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LonsingE17,
author = {Florian Lonsing and
Uwe Egly},
title = {Evaluating {QBF} Solvers: Quantifier Alternations Matter},
journal = {CoRR},
volume = {abs/1701.06612},
year = {2017},
url = {http://arxiv.org/abs/1701.06612},
eprinttype = {arXiv},
eprint = {1701.06612},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LonsingE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LonsingE17a,
author = {Florian Lonsing and
Uwe Egly},
title = {DepQBF 6.0: {A} Search-Based {QBF} Solver Beyond Traditional {QCDCL}},
journal = {CoRR},
volume = {abs/1702.08256},
year = {2017},
url = {http://arxiv.org/abs/1702.08256},
eprinttype = {arXiv},
eprint = {1702.08256},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LonsingE17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/Egly16,
author = {Uwe Egly},
editor = {Nadia Creignou and
Daniel Le Berre},
title = {On Stronger Calculi for QBFs},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2016 - 19th
International Conference, Bordeaux, France, July 5-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9710},
pages = {419--434},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40970-2\_26},
doi = {10.1007/978-3-319-40970-2\_26},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/Egly16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/LonsingES16,
author = {Florian Lonsing and
Uwe Egly and
Martina Seidl},
editor = {Nadia Creignou and
Daniel Le Berre},
title = {Q-Resolution with Generalized Axioms},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2016 - 19th
International Conference, Bordeaux, France, July 5-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9710},
pages = {435--452},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40970-2\_27},
doi = {10.1007/978-3-319-40970-2\_27},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/LonsingES16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LonsingES16,
author = {Florian Lonsing and
Uwe Egly and
Martina Seidl},
title = {Q-Resolution with Generalized Axioms},
journal = {CoRR},
volume = {abs/1604.05994},
year = {2016},
url = {http://arxiv.org/abs/1604.05994},
eprinttype = {arXiv},
eprint = {1604.05994},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LonsingES16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BloemEKKLS16,
author = {Roderick Bloem and
Uwe Egly and
Patrick Klampfl and
Robert K{\"{o}}nighofer and
Florian Lonsing and
Martina Seidl},
title = {Satisfiability-Based Methods for Reactive Synthesis from Safety Specifications},
journal = {CoRR},
volume = {abs/1604.06204},
year = {2016},
url = {http://arxiv.org/abs/1604.06204},
eprinttype = {arXiv},
eprint = {1604.06204},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BloemEKKLS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Egly16,
author = {Uwe Egly},
title = {On Stronger Calculi for QBFs},
journal = {CoRR},
volume = {abs/1604.06483},
year = {2016},
url = {http://arxiv.org/abs/1604.06483},
eprinttype = {arXiv},
eprint = {1604.06483},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Egly16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BeyersdorffCEV16,
author = {Olaf Beyersdorff and
Nadia Creignou and
Uwe Egly and
Heribert Vollmer},
title = {{SAT} and Interactions (Dagstuhl Seminar 16381)},
journal = {Dagstuhl Reports},
volume = {6},
number = {9},
pages = {74--93},
year = {2016},
url = {https://doi.org/10.4230/DagRep.6.9.74},
doi = {10.4230/DAGREP.6.9.74},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BeyersdorffCEV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/CreignouDER15,
author = {Nadia Creignou and
Herv{\'{e}} Daud{\'{e}} and
Uwe Egly and
Rapha{\"{e}}l Rossignol},
title = {Exact location of the phase transition for random (1, 2)-QSAT},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {49},
number = {1},
pages = {23--45},
year = {2015},
url = {https://doi.org/10.1051/ita/2014025},
doi = {10.1051/ITA/2014025},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/CreignouDER15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/EglyLO15,
author = {Uwe Egly and
Florian Lonsing and
Johannes Oetsch},
editor = {Martin Davis and
Ansgar Fehnker and
Annabelle McIver and
Andrei Voronkov},
title = {Automated Benchmarking of Incremental {SAT} and {QBF} Solvers},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9450},
pages = {178--186},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48899-7\_13},
doi = {10.1007/978-3-662-48899-7\_13},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/EglyLO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/LonsingBBES15,
author = {Florian Lonsing and
Fahiem Bacchus and
Armin Biere and
Uwe Egly and
Martina Seidl},
editor = {Martin Davis and
Ansgar Fehnker and
Annabelle McIver and
Andrei Voronkov},
title = {Enhancing Search-Based {QBF} Solving by Dynamic Blocked Clause Elimination},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9450},
pages = {418--433},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48899-7\_29},
doi = {10.1007/978-3-662-48899-7\_29},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/LonsingBBES15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/LonsingE15,
author = {Florian Lonsing and
Uwe Egly},
editor = {Marijn Heule and
Sean A. Weaver},
title = {Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a
Clause Group Solver {API}},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2015 - 18th
International Conference, Austin, TX, USA, September 24-27, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9340},
pages = {191--198},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24318-4\_14},
doi = {10.1007/978-3-319-24318-4\_14},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/LonsingE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LonsingE15,
author = {Florian Lonsing and
Uwe Egly},
title = {Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a
Clause Group Solver {API}},
journal = {CoRR},
volume = {abs/1502.02484},
year = {2015},
url = {http://arxiv.org/abs/1502.02484},
eprinttype = {arXiv},
eprint = {1502.02484},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LonsingE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EglyLO15,
author = {Uwe Egly and
Florian Lonsing and
Johannes Oetsch},
title = {Automated Benchmarking of Incremental {SAT} and {QBF} Solvers},
journal = {CoRR},
volume = {abs/1506.08563},
year = {2015},
url = {http://arxiv.org/abs/1506.08563},
eprinttype = {arXiv},
eprint = {1506.08563},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EglyLO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/CreignouE014,
author = {Nadia Creignou and
Uwe Egly and
Johannes Schmidt},
title = {Complexity Classifications for Logic-Based Argumentation},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {3},
pages = {19:1--19:20},
year = {2014},
url = {https://doi.org/10.1145/2629421},
doi = {10.1145/2629421},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/CreignouE014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/EglyKLP14,
author = {Uwe Egly and
Martin Kronegger and
Florian Lonsing and
Andreas Pfandler},
editor = {Gonzalo A. Aranda{-}Corral and
Jacques Calmet and
Francisco J. Mart{\'{\i}}n{-}Mateos},
title = {Conformant Planning as a Case Study of Incremental {QBF} Solving},
booktitle = {Artificial Intelligence and Symbolic Computation - 12th International
Conference, {AISC} 2014, Seville, Spain, December 11-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8884},
pages = {120--131},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13770-4\_11},
doi = {10.1007/978-3-319-13770-4\_11},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aisc/EglyKLP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LonsingE14,
author = {Florian Lonsing and
Uwe Egly},
editor = {Barry O'Sullivan},
title = {Incremental {QBF} Solving},
booktitle = {Principles and Practice of Constraint Programming - 20th International
Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8656},
pages = {514--530},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10428-7\_38},
doi = {10.1007/978-3-319-10428-7\_38},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/LonsingE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BloemEKKL14,
author = {Roderick Bloem and
Uwe Egly and
Patrick Klampfl and
Robert K{\"{o}}nighofer and
Florian Lonsing},
title = {SAT-based methods for circuit synthesis},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2014, Lausanne, Switzerland,
October 21-24, 2014},
pages = {31--34},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/FMCAD.2014.6987592},
doi = {10.1109/FMCAD.2014.6987592},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BloemEKKL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icms/LonsingE14,
author = {Florian Lonsing and
Uwe Egly},
editor = {Hoon Hong and
Chee Yap},
title = {Incremental {QBF} Solving by DepQBF},
booktitle = {Mathematical Software - {ICMS} 2014 - 4th International Congress,
Seoul, South Korea, August 5-9, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8592},
pages = {307--314},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44199-2\_48},
doi = {10.1007/978-3-662-44199-2\_48},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icms/LonsingE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sat/2014,
editor = {Carsten Sinz and
Uwe Egly},
title = {Theory and Applications of Satisfiability Testing - {SAT} 2014 - 17th
International Conference, Held as Part of the Vienna Summer of Logic,
{VSL} 2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8561},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09284-3},
doi = {10.1007/978-3-319-09284-3},
isbn = {978-3-319-09283-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LonsingE14,
author = {Florian Lonsing and
Uwe Egly},
title = {Incremental {QBF} Solving},
journal = {CoRR},
volume = {abs/1402.2410},
year = {2014},
url = {http://arxiv.org/abs/1402.2410},
eprinttype = {arXiv},
eprint = {1402.2410},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LonsingE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EglyKLP14,
author = {Uwe Egly and
Martin Kronegger and
Florian Lonsing and
Andreas Pfandler},
title = {Conformant Planning as a Case Study of Incremental {QBF} Solving},
journal = {CoRR},
volume = {abs/1405.7253},
year = {2014},
url = {http://arxiv.org/abs/1405.7253},
eprinttype = {arXiv},
eprint = {1405.7253},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EglyKLP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BloemEKKL14,
author = {Roderick Bloem and
Uwe Egly and
Patrick Klampfl and
Robert K{\"{o}}nighofer and
Florian Lonsing},
title = {SAT-Based Methods for Circuit Synthesis},
journal = {CoRR},
volume = {abs/1408.2333},
year = {2014},
url = {http://arxiv.org/abs/1408.2333},
eprinttype = {arXiv},
eprint = {1408.2333},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BloemEKKL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/EglyLW13,
author = {Uwe Egly and
Florian Lonsing and
Magdalena Widl},
editor = {Kenneth L. McMillan and
Aart Middeldorp and
Andrei Voronkov},
title = {Long-Distance Resolution: Proof Generation and Strategy Extraction
in Search-Based {QBF} Solving},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th
International Conference, LPAR-19, Stellenbosch, South Africa, December
14-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8312},
pages = {291--308},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45221-5\_21},
doi = {10.1007/978-3-642-45221-5\_21},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/EglyLW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/LonsingEG13,
author = {Florian Lonsing and
Uwe Egly and
Allen Van Gelder},
editor = {Matti J{\"{a}}rvisalo and
Allen Van Gelder},
title = {Efficient Clause Learning for Quantified Boolean Formulas via {QBF}
Pseudo Unit Propagation},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2013 - 16th
International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7962},
pages = {100--115},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39071-5\_9},
doi = {10.1007/978-3-642-39071-5\_9},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/LonsingEG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-5388,
author = {Nadia Creignou and
Uwe Egly and
Johannes Schmidt},
title = {Complexity Classifications for logic-based Argumentation},
journal = {CoRR},
volume = {abs/1304.5388},
year = {2013},
url = {http://arxiv.org/abs/1304.5388},
eprinttype = {arXiv},
eprint = {1304.5388},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-5388.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/CreignouES12,
author = {Nadia Creignou and
Uwe Egly and
Johannes Schmidt},
editor = {Bart Verheij and
Stefan Szeider and
Stefan Woltran},
title = {Complexity of logic-based argumentation in Schaefer's framework},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2012, Vienna,
Austria, September 10-12, 2012},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {245},
pages = {237--248},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-61499-111-3-237},
doi = {10.3233/978-1-61499-111-3-237},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/comma/CreignouES12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/Egly12,
author = {Uwe Egly},
editor = {Alessandro Cimatti and
Roberto Sebastiani},
title = {On Sequent Systems and Resolution for QBFs},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2012 - 15th
International Conference, Trento, Italy, June 17-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7317},
pages = {100--113},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31612-8\_9},
doi = {10.1007/978-3-642-31612-8\_9},
timestamp = {Sun, 02 Jun 2019 21:24:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/Egly12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/WidlBBEHKST12,
author = {Magdalena Widl and
Armin Biere and
Petra Brosch and
Uwe Egly and
Marijn Heule and
Gerti Kappel and
Martina Seidl and
Hans Tompits},
editor = {Krzysztof Czarnecki and
G{\"{o}}rel Hedin},
title = {Guided Merging of Sequence Diagrams},
booktitle = {Software Language Engineering, 5th International Conference, {SLE}
2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7745},
pages = {164--183},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-36089-3\_10},
doi = {10.1007/978-3-642-36089-3\_10},
timestamp = {Fri, 30 Dec 2022 23:08:55 +0100},
biburl = {https://dblp.org/rec/conf/sle/WidlBBEHKST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BroschEGKSTWW12,
author = {Petra Brosch and
Uwe Egly and
Sebastian Gabmeyer and
Gerti Kappel and
Martina Seidl and
Hans Tompits and
Magdalena Widl and
Manuel Wimmer},
editor = {Achim D. Brucker and
Jacques Julliand},
title = {Towards Scenario-Based Testing of {UML} Diagrams},
booktitle = {Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague,
Czech Republic, May 31 - June 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7305},
pages = {149--155},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30473-6\_12},
doi = {10.1007/978-3-642-30473-6\_12},
timestamp = {Tue, 23 Jun 2020 17:37:39 +0200},
biburl = {https://dblp.org/rec/conf/tap/BroschEGKSTWW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/CreignouES12,
author = {Nadia Creignou and
Uwe Egly and
Martina Seidl},
editor = {Achim D. Brucker and
Jacques Julliand},
title = {A Framework for the Specification of Random {SAT} and {QSAT} Formulas},
booktitle = {Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague,
Czech Republic, May 31 - June 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7305},
pages = {163--168},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30473-6\_14},
doi = {10.1007/978-3-642-30473-6\_14},
timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/CreignouES12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BroschEGKSTWW11,
author = {Petra Brosch and
Uwe Egly and
Sebastian Gabmeyer and
Gerti Kappel and
Martina Seidl and
Hans Tompits and
Magdalena Widl and
Manuel Wimmer},
editor = {J{\"{o}}rg Kienzle},
title = {Towards Semantics-Aware Merge Support in Optimistic Model Versioning},
booktitle = {Models in Software Engineering - Workshops and Symposia at {MODELS}
2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7167},
pages = {246--256},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29645-1\_24},
doi = {10.1007/978-3-642-29645-1\_24},
timestamp = {Wed, 23 Feb 2022 12:58:05 +0100},
biburl = {https://dblp.org/rec/conf/models/BroschEGKSTWW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-2739,
author = {Nadia Creignou and
Herv{\'{e}} Daud{\'{e}} and
Uwe Egly},
title = {Phase Transition for Random Quantified XOR-Formulas},
journal = {CoRR},
volume = {abs/1110.2739},
year = {2011},
url = {http://arxiv.org/abs/1110.2739},
eprinttype = {arXiv},
eprint = {1110.2739},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-2739.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/argcom/EglyGW10,
author = {Uwe Egly and
Sarah Alice Gaggl and
Stefan Woltran},
title = {Answer-set programming encodings for argumentation frameworks},
journal = {Argument Comput.},
volume = {1},
number = {2},
pages = {147--177},
year = {2010},
url = {https://doi.org/10.1080/19462166.2010.486479},
doi = {10.1080/19462166.2010.486479},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/argcom/EglyGW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/EglyH10,
author = {Uwe Egly and
Leopold Haller},
title = {A {SAT} Solver for Circuits Based on the Tableau Method},
journal = {K{\"{u}}nstliche Intell.},
volume = {24},
number = {1},
pages = {15--23},
year = {2010},
url = {https://doi.org/10.1007/s13218-010-0008-4},
doi = {10.1007/S13218-010-0008-4},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/EglyH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip12/VicovacREER10,
author = {Tanja Vicovac and
Alexander Reiterer and
Uwe Egly and
Thomas Eiter and
Dirk Rieke{-}Zapp},
editor = {Max Bramer},
title = {Knowledge-Based Geo-risk Assessment for an Intelligent Measurement
System},
booktitle = {Artificial Intelligence in Theory and Practice {III} - Third {IFIP}
{TC} 12 International Conference on Artificial Intelligence, {IFIP}
{AI} 2010, Held as Part of {WCC} 2010, Brisbane, Australia, September
20-23, 2010. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {331},
pages = {215--224},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15286-3\_21},
doi = {10.1007/978-3-642-15286-3\_21},
timestamp = {Thu, 05 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip12/VicovacREER10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/EglySW09,
author = {Uwe Egly and
Martina Seidl and
Stefan Woltran},
title = {A solver for QBFs in negation normal form},
journal = {Constraints An Int. J.},
volume = {14},
number = {1},
pages = {38--79},
year = {2009},
url = {https://doi.org/10.1007/s10601-008-9055-y},
doi = {10.1007/S10601-008-9055-Y},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/EglySW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/CreignouDER09,
author = {Nadia Creignou and
Herv{\'{e}} Daud{\'{e}} and
Uwe Egly and
Rapha{\"{e}}l Rossignol},
editor = {Oliver Kullmann},
title = {(1, 2)-QSAT: {A} Good Candidate for Understanding Phase Transitions
Mechanisms},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2009, 12th
International Conference, {SAT} 2009, Swansea, UK, June 30 - July
3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5584},
pages = {363--376},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02777-2\_34},
doi = {10.1007/978-3-642-02777-2\_34},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/CreignouDER09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0907-0937,
author = {Nadia Creignou and
Herv{\'{e}} Daud{\'{e}} and
Uwe Egly and
Rapha{\"{e}}l Rossignol},
title = {The threshold for random (1,2)-QSAT},
journal = {CoRR},
volume = {abs/0907.0937},
year = {2009},
url = {http://arxiv.org/abs/0907.0937},
eprinttype = {arXiv},
eprint = {0907.0937},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0907-0937.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aes/ReitererEEK08,
author = {Alexander Reiterer and
Uwe Egly and
Thomas Eiter and
Heribert Kahmen},
title = {A knowledge-based videotheodolite measurement system for object representation/monitoring},
journal = {Adv. Eng. Softw.},
volume = {39},
number = {10},
pages = {821--827},
year = {2008},
url = {https://doi.org/10.1016/j.advengsoft.2007.05.003},
doi = {10.1016/J.ADVENGSOFT.2007.05.003},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aes/ReitererEEK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/EglyGW08,
author = {Uwe Egly and
Sarah Alice Gaggl and
Stefan Woltran},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {{ASPARTIX:} Implementing Argumentation Frameworks Using Answer-Set
Programming},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {734--738},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_67},
doi = {10.1007/978-3-540-89982-2\_67},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/EglyGW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/CreignouDER08,
author = {Nadia Creignou and
Herv{\'{e}} Daud{\'{e}} and
Uwe Egly and
Rapha{\"{e}}l Rossignol},
editor = {Hans Kleine B{\"{u}}ning and
Xishun Zhao},
title = {New Results on the Phase Transition for Random Quantified Boolean
Formulas},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2008, 11th
International Conference, {SAT} 2008, Guangzhou, China, May 12-15,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4996},
pages = {34--47},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79719-7\_5},
doi = {10.1007/978-3-540-79719-7\_5},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/CreignouDER08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/CreignouDE07,
author = {Nadia Creignou and
Herv{\'{e}} Daud{\'{e}} and
Uwe Egly},
title = {Phase Transition for Random Quantified XOR-Formulas},
journal = {J. Artif. Intell. Res.},
volume = {29},
pages = {1--18},
year = {2007},
url = {https://doi.org/10.1613/jair.2120},
doi = {10.1613/JAIR.2120},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/CreignouDE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/EglyW06,
author = {Uwe Egly and
Stefan Woltran},
editor = {Paul E. Dunne and
Trevor J. M. Bench{-}Capon},
title = {Reasoning in Argumentation Frameworks Using Quantified Boolean Formulas},
booktitle = {Computational Models of Argument: Proceedings of {COMMA} 2006, September
11-12, 2006, Liverpool, {UK}},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {144},
pages = {133--144},
publisher = {{IOS} Press},
year = {2006},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=1934},
timestamp = {Wed, 18 Feb 2009 08:34:01 +0100},
biburl = {https://dblp.org/rec/conf/comma/EglyW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/EglySW06,
author = {Uwe Egly and
Martina Seidl and
Stefan Woltran},
editor = {Gerhard Brewka and
Silvia Coradeschi and
Anna Perini and
Paolo Traverso},
title = {A Solver for QBFs in Nonprenex Form},
booktitle = {{ECAI} 2006, 17th European Conference on Artificial Intelligence,
August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious
Applications of Intelligent Systems {(PAIS} 2006), Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {141},
pages = {477--481},
publisher = {{IOS} Press},
year = {2006},
timestamp = {Thu, 12 Feb 2009 12:51:20 +0100},
biburl = {https://dblp.org/rec/conf/ecai/EglySW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/EglyPW05,
author = {Uwe Egly and
Reinhard Pichler and
Stefan Woltran},
title = {On deciding subsumption problems},
journal = {Ann. Math. Artif. Intell.},
volume = {43},
number = {1},
pages = {255--294},
year = {2005},
url = {https://doi.org/10.1007/s10472-005-0434-4},
doi = {10.1007/S10472-005-0434-4},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/EglyPW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/EglyT03,
author = {Uwe Egly and
Hans Tompits},
title = {On Different Proof-Search Strategies for Orthologic},
journal = {Stud Logica},
volume = {73},
number = {1},
pages = {131--152},
year = {2003},
url = {https://doi.org/10.1023/A:1022993408070},
doi = {10.1023/A:1022993408070},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/EglyT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/EglySTWZ03,
author = {Uwe Egly and
Martina Seidl and
Hans Tompits and
Stefan Woltran and
Michael Zolda},
editor = {Enrico Giunchiglia and
Armando Tacchella},
title = {Comparing Different Prenexing Strategies for Quantified Boolean Formulas},
booktitle = {Theory and Applications of Satisfiability Testing, 6th International
Conference, {SAT} 2003. Santa Margherita Ligure, Italy, May 5-8, 2003
Selected Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2919},
pages = {214--228},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24605-3\_17},
doi = {10.1007/978-3-540-24605-3\_17},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/EglySTWZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Egly02,
author = {Uwe Egly},
editor = {Andrei Voronkov},
title = {Embedding Lax Logic into Intuitionistic Logic},
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 = {78--93},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45620-1\_6},
doi = {10.1007/3-540-45620-1\_6},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Egly02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tableaux/2002,
editor = {Uwe Egly and
Christian G. Ferm{\"{u}}ller},
title = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2002, Copenhagen, Denmark, July 30 - August
1, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2381},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45616-3},
doi = {10.1007/3-540-45616-3},
isbn = {3-540-43929-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Egly01,
author = {Uwe Egly},
title = {On Different Intuitionistic Calculi and Embeddings from Int to {S4}},
journal = {Stud Logica},
volume = {69},
number = {2},
pages = {249--277},
year = {2001},
url = {https://doi.org/10.1023/A:1013869924088},
doi = {10.1023/A:1013869924088},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Egly01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/EglyT01,
author = {Uwe Egly and
Hans Tompits},
title = {Proof-complexity results for nonmonotonic reasoning},
journal = {{ACM} Trans. Comput. Log.},
volume = {2},
number = {3},
pages = {340--387},
year = {2001},
url = {https://doi.org/10.1145/377978.377987},
doi = {10.1145/377978.377987},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/EglyT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/EglyEKTW01,
author = {Uwe Egly and
Thomas Eiter and
Volker Klotz and
Hans Tompits and
Stefan Woltran},
editor = {Alessandro Provetti and
Tran Cao Son},
title = {Computing Stable Models with Quantified Boolean Formulas: Some Experimental
Results},
booktitle = {Answer Set Programming, Towards Efficient and Scalable Knowledge Representation
and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford,
CA, USA, March 26-28, 2001},
year = {2001},
url = {http://www.cs.nmsu.edu/\%7Etson/ASP2001/28.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asp/EglyEKTW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/EglyS01,
author = {Uwe Egly and
Stephan Schmitt},
editor = {Rajeev Gor{\'{e}} and
Alexander Leitsch and
Tobias Nipkow},
title = {Deriving Modular Programs from Short Proofs},
booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR}
2001, Siena, Italy, June 18-23, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2083},
pages = {561--577},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45744-5\_47},
doi = {10.1007/3-540-45744-5\_47},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/EglyS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/RV01/BaazEL01,
author = {Matthias Baaz and
Uwe Egly and
Alexander Leitsch},
editor = {John Alan Robinson and
Andrei Voronkov},
title = {Normal Form Transformations},
booktitle = {Handbook of Automated Reasoning (in 2 volumes)},
pages = {273--333},
publisher = {Elsevier and {MIT} Press},
year = {2001},
url = {https://doi.org/10.1016/b978-044450813-3/50007-2},
doi = {10.1016/B978-044450813-3/50007-2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/RV01/BaazEL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/EglyR00,
author = {Uwe Egly and
Thomas Rath},
title = {Practically Useful Variants of Definitional Translations to Normal
Form},
journal = {Inf. Comput.},
volume = {162},
number = {1-2},
pages = {255--264},
year = {2000},
url = {https://doi.org/10.1006/inco.1999.2861},
doi = {10.1006/INCO.1999.2861},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/EglyR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/EglyETW00,
author = {Uwe Egly and
Thomas Eiter and
Hans Tompits and
Stefan Woltran},
editor = {Henry A. Kautz and
Bruce W. Porter},
title = {Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas},
booktitle = {Proceedings of the Seventeenth National Conference on Artificial Intelligence
and Twelfth Conference on on Innovative Applications of Artificial
Intelligence, July 30 - August 3, 2000, Austin, Texas, {USA}},
pages = {417--422},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2000},
url = {http://www.aaai.org/Library/AAAI/2000/aaai00-064.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/EglyETW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/EglyT00,
author = {Uwe Egly and
Hans Tompits},
editor = {Steffen H{\"{o}}lldobler},
title = {Some Strengths of Nonmonotonic Reasoning},
booktitle = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion
of his 60th birthday)},
series = {Applied Logic Series},
volume = {19},
pages = {125--141},
publisher = {Kluwer},
year = {2000},
timestamp = {Thu, 03 Jan 2002 11:54:05 +0100},
biburl = {https://dblp.org/rec/conf/birthday/EglyT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Egly00,
author = {Uwe Egly},
editor = {Roy Dyckhoff},
title = {Properties of Embeddings from Int to {S4}},
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 = {205--219},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722086\_18},
doi = {10.1007/10722086\_18},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Egly00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/EglyEKTW00,
author = {Uwe Egly and
Thomas Eiter and
Volker Klotz and
Hans Tompits and
Stefan Woltran},
editor = {Slim Abdennadher and
Ulrich Geske and
Dietmar Seipel},
title = {Experimental Evaluation of the Disjunctive Logic Programming Module
of the System {QUIP}},
booktitle = {{WLP} 2000, 15th Workshop on Logic Programming and Constraint Systems,
Collocated {ECAI} 2000 Workshop, Berlin, August 25-27, 2000},
series = {{GMD} Report},
volume = {110},
pages = {113--122},
year = {2000},
timestamp = {Tue, 20 Aug 2019 09:23:38 +0200},
biburl = {https://dblp.org/rec/conf/wlp/EglyEKTW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/EglyETW00,
author = {Uwe Egly and
Thomas Eiter and
Hans Tompits and
Stefan Woltran},
editor = {Fran{\c{c}}ois Bry and
Ulrich Geske and
Dietmar Seipel},
title = {Implementing Default Reasoning Using Quantified Boolean Formulae},
booktitle = {14. Workshop Logische Programmierung, W{\"{u}}rzburg, Deutschland,
26.-28. Januar 2000},
series = {{GMD} Report},
volume = {90},
pages = {223--228},
year = {2000},
timestamp = {Sat, 07 Sep 2019 11:59:25 +0200},
biburl = {https://dblp.org/rec/conf/wlp/EglyETW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0003037,
author = {Uwe Egly and
Thomas Eiter and
Hans Tompits and
Stefan Woltran},
title = {{QUIP} - {A} Tool for Computing Nonmonotonic Reasoning Tasks},
journal = {CoRR},
volume = {cs.AI/0003037},
year = {2000},
url = {https://arxiv.org/abs/cs/0003037},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0003037.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/EglyS99,
author = {Uwe Egly and
Stephan Schmitt},
title = {On Intuitionistic Proof Transformations, their Complexity, and Application
to Constructive Program Synthesis},
journal = {Fundam. Informaticae},
volume = {39},
number = {1-2},
pages = {59--83},
year = {1999},
url = {https://doi.org/10.3233/FI-1999-391204},
doi = {10.3233/FI-1999-391204},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/EglyS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webnet/EglyFPT99,
author = {Uwe Egly and
Michael Fink and
Axel Polleres and
Hans Tompits},
editor = {Paul De Bra and
John J. Leggett},
title = {A Web-based Tutoring Tool for Calculating Default Logic Extensions},
booktitle = {Proceedings of WebNet 99 - World Conference on the {WWW} and Internet,
Honolulu, Hawaii, USA, October 24-30, 1999},
pages = {1251--1252},
publisher = {{AACE}},
year = {1999},
timestamp = {Sat, 07 Sep 2019 11:59:24 +0200},
biburl = {https://dblp.org/rec/conf/webnet/EglyFPT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Egly98,
author = {Uwe Egly},
title = {An Answer to an Open Problem of Urquhart},
journal = {Theor. Comput. Sci.},
volume = {198},
number = {1-2},
pages = {201--209},
year = {1998},
url = {https://doi.org/10.1016/S0304-3975(97)00140-0},
doi = {10.1016/S0304-3975(97)00140-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Egly98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/EglyS98,
author = {Uwe Egly and
Stephan Schmitt},
editor = {Jacques Calmet and
Jan A. Plaza},
title = {Intuitionistic Proof Transformations and Their Application to Constructive
Program Synthesis},
booktitle = {Artificial Intelligence and Symbolic Computation, International Conference
AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1476},
pages = {132--144},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055908},
doi = {10.1007/BFB0055908},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aisc/EglyS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Egly98,
author = {Uwe Egly},
editor = {Georg Gottlob and
Etienne Grandjean and
Katrin Seyr},
title = {Quantifers and the System {KE:} Some Surprising Results},
booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1584},
pages = {90--104},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10703163\_7},
doi = {10.1007/10703163\_7},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Egly98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iweb/EglyK98,
author = {Uwe Egly and
Gernot Koller},
editor = {Manfred Sommer and
Werner Remmele and
Konrad Kl{\"{o}}ckner},
title = {JQuest: ein javabasiertes Designtool f{\"{u}}r elektronische
Fragebogen im Internet},
booktitle = {Interaktion im Web - Innovative Kommunikationsformen, Fachtagung und
Kongre{\ss} des German Chapter of the ACM, der Gesellschaft f{\"{u}}r
Informatik {(GI)} sowie Fachbereich Mathematik und Informatik der
Philipps-Universit{\"{a}}t Marburg/Lahn am 12. und 13. Mai 1998
in Marburn/Lahn},
series = {Berichte des German Chapter of the {ACM}},
volume = {50},
pages = {33--43},
publisher = {Teubner},
year = {1998},
timestamp = {Fri, 17 Nov 2017 13:08:35 +0100},
biburl = {https://dblp.org/rec/conf/iweb/EglyK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/EglyT98,
author = {Uwe Egly and
Hans Tompits},
editor = {Harrie C. M. de Swart},
title = {On Proof Complexity of Circumscription},
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 = {141--155},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_19},
doi = {10.1007/3-540-69778-0\_19},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/EglyT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EglyS98,
author = {Uwe Egly and
Stephan Schmitt},
editor = {Didier Galmiche},
title = {Intuitionistic Proof Transformations: Complexity and Applications},
booktitle = {Workshop on Proof Search in Type-Theoretic Languages (in conjunction
with {CADE-15} Conference), Lindau, Germany, July 5, 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {17},
pages = {1--12},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(05)01177-1},
doi = {10.1016/S1571-0661(05)01177-1},
timestamp = {Fri, 11 Nov 2022 14:36:19 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EglyS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Egly97,
author = {Uwe Egly},
title = {On Definitional Transformations to Normal Form for Institionistic
Logic},
journal = {Fundam. Informaticae},
volume = {29},
number = {1-2},
pages = {165--201},
year = {1997},
url = {https://doi.org/10.3233/FI-1997-291208},
doi = {10.3233/FI-1997-291208},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Egly97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Egly97,
author = {Uwe Egly},
editor = {William McCune},
title = {Some Pitfalls of LK-to-LJ Translations and How to Avoid Them},
booktitle = {Automated Deduction - CADE-14, 14th International Conference on Automated
Deduction, Townsville, North Queensland, Australia, July 13-17, 1997,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1249},
pages = {116--130},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63104-6\_14},
doi = {10.1007/3-540-63104-6\_14},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Egly97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/EglyT97,
author = {Uwe Egly and
Hans Tompits},
editor = {Dov M. Gabbay and
Rudolf Kruse and
Andreas Nonnengart and
Hans J{\"{u}}rgen Ohlbach},
title = {Non-elementary Speed-Ups in Default Reasoning},
booktitle = {Qualitative and Quantitative Practical Reasoning, First International
Joint Conference on Qualitative and Quantitative Practical Reasoning
ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1244},
pages = {237--251},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0035626},
doi = {10.1007/BFB0035626},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/EglyT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/EglyG97,
author = {Uwe Egly and
Karin Genther},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Structuring of Computer-Generated Proofs by Cut Introduction},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {140--152},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_39},
doi = {10.1007/3-540-63385-5\_39},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/kgc/EglyG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/EglyT97,
author = {Uwe Egly and
Hans Tompits},
editor = {J{\"{u}}rgen Dix and
Ulrich Furbach and
Anil Nerode},
title = {Is Non-Monotonic Reasoning Always Harder?},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 4th International Conference,
LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1265},
pages = {60--75},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63255-7\_5},
doi = {10.1007/3-540-63255-7\_5},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/EglyT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BaazEF97,
author = {Matthias Baaz and
Uwe Egly and
Christian G. Ferm{\"{u}}ller},
editor = {Didier Galmiche},
title = {Lean Induction Principles for Tableaux},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '97, Pont-{\`{a}}-Mousson, France, May 13-16,
1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1227},
pages = {62--75},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027405},
doi = {10.1007/BFB0027405},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BaazEF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Egly97,
author = {Uwe Egly},
editor = {Didier Galmiche},
title = {Non-elementary Speed-ups in Proof Length by Different Variants of
Classical Analytic Calculi},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '97, Pont-{\`{a}}-Mousson, France, May 13-16,
1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1227},
pages = {158--172},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027412},
doi = {10.1007/BFB0027412},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Egly97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/EglyT97,
author = {Uwe Egly and
Hans Tompits},
editor = {Fran{\c{c}}ois Bry and
Burkhard Freitag and
Dietmar Seipel},
title = {A Sequent Calculus for Intuitionistic Default Logic},
booktitle = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
publisher = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
year = {1997},
timestamp = {Wed, 07 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wlp/EglyT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Egly96,
author = {Uwe Egly},
title = {On Different Structure-Preserving Translations to Normal Form},
journal = {J. Symb. Comput.},
volume = {22},
number = {2},
pages = {121--142},
year = {1996},
url = {https://doi.org/10.1006/jsco.1996.0044},
doi = {10.1006/JSCO.1996.0044},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Egly96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/EglyR96,
author = {Uwe Egly and
Thomas Rath},
editor = {Michael A. McRobbie and
John K. Slaney},
title = {On the Practical Value of Different Definitional Translations to Normal
Form},
booktitle = {Automated Deduction - CADE-13, 13th International Conference on Automated
Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1104},
pages = {403--417},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61511-3\_103},
doi = {10.1007/3-540-61511-3\_103},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/EglyR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epia/Egly95,
author = {Uwe Egly},
editor = {Carlos A. Pinto{-}Ferreira and
Nuno J. Mamede},
title = {Super-Polynomial Speed-Ups in Proof Length by New Tautologies},
booktitle = {Progress in Artificial Intelligence, 7th Portuguese Conference on
Artificial Intelligence, {EPIA} '95, Funchal, Madeira Island, Portugal,
October 3-6, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {990},
pages = {29--40},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60428-6\_3},
doi = {10.1007/3-540-60428-6\_3},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/epia/Egly95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BibelBEKR95,
author = {Wolfgang Bibel and
Stefan Br{\"{u}}ning and
Uwe Egly and
Daniel S. Korn and
Thomas Rath},
editor = {Peter Baumgartner and
Reiner H{\"{a}}hnle and
Joachim Posegga},
title = {Issues in Theorem Proving Based on the Connection Method},
booktitle = {Theorem Proving with Analytic Tableaux and Related Methods, 4th International
Workshop, {TABLEAUX} '95, Schlo{\ss} Rheinfels, St. Goar, Germany,
May 7-10, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {918},
pages = {1--16},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59338-1\_24},
doi = {10.1007/3-540-59338-1\_24},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BibelBEKR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:books/daglib/0081602,
author = {Uwe Egly},
title = {On methods of function introduction and related concepts},
school = {Darmstadt University of Technology, Germany},
year = {1994},
url = {https://d-nb.info/945850298},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0081602.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BibelBER94,
author = {Wolfgang Bibel and
Stefan Br{\"{u}}ning and
Uwe Egly and
Thomas Rath},
editor = {Alan Bundy},
title = {KoMeT},
booktitle = {Automated Deduction - CADE-12, 12th International Conference on Automated
Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {814},
pages = {783--787},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58156-1\_60},
doi = {10.1007/3-540-58156-1\_60},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/BibelBER94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Egly94,
author = {Uwe Egly},
editor = {Frank Pfenning},
title = {On the Value of Antiprenexing},
booktitle = {Logic Programming and Automated Reasoning, 5th International Conference,
LPAR'94, Kiev, Ukraine, July 16-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {822},
pages = {69--83},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58216-9\_30},
doi = {10.1007/3-540-58216-9\_30},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Egly94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Egly93,
author = {Uwe Egly},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {On Different Concepts of Function Introduction},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {172--183},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022565},
doi = {10.1007/BFB0022565},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Egly93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Egly93,
author = {Uwe Egly},
editor = {Andrei Voronkov},
title = {A First Order Resolution Calculus with Symmetries},
booktitle = {Logic Programming and Automated Reasoning,4th International Conference,
LPAR'93, St. Petersburg, Russia, July 13-20, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {698},
pages = {110--121},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56944-8\_46},
doi = {10.1007/3-540-56944-8\_46},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Egly93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Egly92,
author = {Uwe Egly},
editor = {Bernd Neumann},
title = {A Simple Proof for the Pigeonhole Formulae},
booktitle = {10th European Conference on Artificial Intelligence, {ECAI} 92, Vienna,
Austria, August 3-7, 1992. Proceedings},
pages = {70--71},
publisher = {John Wiley and Sons},
year = {1992},
timestamp = {Wed, 31 Jul 2019 08:44:58 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Egly92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Egly92,
author = {Uwe Egly},
editor = {Andrei Voronkov},
title = {Shortening Proofs by Quantifier Introduction},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {148--159},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013057},
doi = {10.1007/BFB0013057},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Egly92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Egly91,
author = {Uwe Egly},
editor = {Hermann Kaindl},
title = {A Generalized Factorization Rule Based on the Introduction of Skolem
Terms},
booktitle = {Proc. 7th Austrian Conference on Artificial Intelligence, {\"{O}}GAI-91,
Wien, 24.-27. September 1991},
series = {Informatik-Fachberichte},
volume = {287},
pages = {116--125},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-3-642-46752-3\_13},
doi = {10.1007/978-3-642-46752-3\_13},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ogai/Egly91.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-21 16:55 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:
